public CharParser(Union u) { super(u, new CharTopology()); }
- public Forest<String> shiftToken(Character ct, Location loc) {
- return Forest.create(loc, ct.toString(), null, false, false, null);
+ public Forest<String> shiftToken(Location oldloc, Character ct, Location newloc) {
+ return Forest.create(new Input.Region(oldloc, newloc), ct.toString(), null, false);
}
}