// Public //////////////////////////////////////////////////////////////////////////////
public static class CharToStringParser extends Parser<CharToken,String> {
- public CharToStringParser(Union u) { super(u); }
- public Topology<CharToken> top() { return new IntegerTopology<CharToken>(); }
+ public CharToStringParser(Union u) { super(u, new IntegerTopology<CharToken>()); }
public Forest<String> shiftedToken(CharToken ct, Token.Location loc) {
return Forest.create(loc, ct.result(), null, false, false);
}