}
public CharToStringParser(Union u) {
- super(u, new IntegerTopology<Character>(CharToken.c2i));
- pt.optimize(CharToken.c2i);
+ super(u, new CharTopology());
+ pt.optimize(new CharTopology());
}
public Forest<String> shiftToken(Character ct, Location loc) {
return Forest.create(loc, ct.toString(), null, false, false);