- public Forest<String> shiftToken(Character ct, Location loc) {
- return Forest.create(loc, ct.toString(), null, null, false, 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); }