checkpoint

[sbp.git] / src / edu / berkeley / sbp / misc / StringToken.java

diff --git a/src/edu/berkeley/sbp/misc/StringToken.java b/src/edu/berkeley/sbp/misc/StringToken.java
deleted file mode 100644 (file)
index b21e458..0000000
--- a/src/edu/berkeley/sbp/misc/StringToken.java
+++ /dev/null
@@ -1,45 +0,0 @@
-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.*;
-import edu.berkeley.sbp.util.*;
-import edu.berkeley.sbp.*;
-
-/** an implementation of Input for streams of Java <tt>char</tt> values */
-public class StringToken implements Input {
-
-    public static final StringToken left = new StringToken(null, null) { public boolean equals(Object o) { return this==o; } };
-    public static final StringToken right = new StringToken(null, null) { public boolean equals(Object o) { return this==o; } };
-
-    public static final Atom leftBrace  = new StringAtom(new DiscreteTopology<StringToken>(left)) { public String toString() { return "{"; } };
-    public static final Atom rightBrace = new StringAtom(new DiscreteTopology<StringToken>(right)) { public String toString() { return "}"; } };
-
-    private static class StringAtom extends Atom {
-        private String s;
-        private Topology t;
-        public StringAtom(String s) { this.t = new DiscreteTopology<StringToken>(new StringToken(s, null)); this.s = s; }
-        public StringAtom(Topology<StringToken> t) { this.t = t; }
-        public String toString() { return "[atom \""+s+"\"]"; }
-        public Topology top() { return t; }
-    }
-
-    /** returns an element which exactly matches the string given */
-    public static Element string(String s) {
-        return new StringAtom(s);
-    }
-
-    public static Topology<StringToken> top() { return new DiscreteTopology<StringToken>(); }
-
-    public final String s;
-    public final Location location;
-    private StringToken(String s, Location loc)    { this.s = s; this.location = loc; }
-    public String result()                         { return s; }
-    public Location getLocation()                  { return location; }
-    public String  toString()                      { return "\'"+StringUtil.escapify(s)+"\'"; }
-
-    public boolean equals(Object o) { return o!=null && o instanceof StringToken && s.equals(((StringToken)o).s); }
-    public int     hashCode()       { return s==null ? 0 : s.hashCode(); }
-}