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