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=eba6cbebe4a69cf31ebab85af43a9cc77950bad1;hp=143c708a1441e2436d4057efc2acd5283f9201f4;hb=96a2822a729e563a64173f22dc184bc972a200ef;hpb=6b53048f4413f3c618acc3581d0b4f60a236a9bc

diff --git a/src/edu/berkeley/sbp/misc/CharToken.java b/src/edu/berkeley/sbp/misc/CharToken.java
index 143c708..eba6cbe 100644
--- a/src/edu/berkeley/sbp/misc/CharToken.java
+++ b/src/edu/berkeley/sbp/misc/CharToken.java
@@ -13,6 +13,14 @@ public class CharToken implements Token, IntegerTopology.IntegerMappable {
 
     // Public //////////////////////////////////////////////////////////////////////////////
 
+    public static class CharToStringParser extends Parser<CharToken,String> {
+        public CharToStringParser(Union u) { super(u); }
+        public Topology<CharToken> top() { return new IntegerTopology<CharToken>(); }
+        public Forest<String> shiftedToken(CharToken ct) {
+            return Forest.create(ct.getLocation(), ct.result(), null, null, false, false);
+        }
+    }
+
     public static class CharRange extends Atom<CharToken> {
         private String esc(char c) { return StringUtil.escapify(c+"", "[]-~\\\"\'"); }
         private Topology<CharToken> t;