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