- // Private //////////////////////////////////////////////////////////////////////////////
-
- public final char c;
- public CharToken(char c) { this.c = c; }
- public String result() { return c+""; }
- public String toString() { return "\'"+StringUtil.escapify(c+"")+"\'"; }
-
- //////////////////////////////////////////////////////////////////////////////////////////
-
- public int toInt() { return (int)c; }
-