X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FCharToken.java;fp=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FCharToken.java;h=a8ebafc8c79b90ed80603818a5a09eefb06dc1c6;hp=5d897dec2a93e678ae057ad45d891a0bfe27b544;hb=d1504e1e7993703832063cf6bff6ead434b2fd17;hpb=1177435c53540af2247a2fbd7b6fbcf059accbb8

diff --git a/src/edu/berkeley/sbp/misc/CharToken.java b/src/edu/berkeley/sbp/misc/CharToken.java
index 5d897de..a8ebafc 100644
--- a/src/edu/berkeley/sbp/misc/CharToken.java
+++ b/src/edu/berkeley/sbp/misc/CharToken.java
@@ -10,13 +10,6 @@ import edu.berkeley.sbp.util.*;
 /** an implementation of Token for streams of Java <tt>char</tt> values */
 public class CharToken implements IntegerMappable {
 
-    public static class CharToStringParser extends Parser<CharToken,String> {
-        public CharToStringParser(Union u) { super(u, new IntegerTopology<CharToken>()); }
-        public Forest<String> shiftToken(CharToken ct, Location loc) {
-            return Forest.create(loc, ct.result(), null, false, false);
-        }
-    }
-
     public static class CharRange extends Atom<CharToken> {
         private String esc(char c) { return StringUtil.escapify(c+"", "[]-~\\\"\'"); }
         private Topology<CharToken> t;