- public Forest<String> shiftToken(Location oldloc, Character ct, Location newloc) {
- return Forest.create(new Input.Region(oldloc, newloc), ct.toString(), null, false, null);
- }
+ public Topology<Character> emptyTopology() { return new CharTopology(); }
+ public Forest<String> shiftToken(Character ct, Input.Region region) {
+ return Forest.create(region, ct.toString(), null); }