+++ /dev/null
-package edu.berkeley.sbp.misc;
-import java.io.*;
-import java.util.*;
-import java.lang.reflect.*;
-import java.lang.ref.*;
-import edu.berkeley.sbp.*;
-import edu.berkeley.sbp.Token.Location;
-import edu.berkeley.sbp.util.*;
-
-/** an implementation of Token for streams of Java <tt>char</tt> values */
-public class CharToken {
-
- public static final Functor<Character,Integer> c2i = new Functor<Character,Integer>() {
- public Integer invoke(Character c) { return (int)c.charValue(); }
- };
-
- public static final Atom leftBrace = new CharRange(new IntegerTopology<Character>(c2i, 9998)) { public String toString() { return "{"; } };
- public static final Atom rightBrace = new CharRange(new IntegerTopology<Character>(c2i, 9999)) { public String toString() { return "}"; } };
- public static final Character left = new Character((char)9998);
- public static final Character right = new Character((char)9999);
-
-}