X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FStringToken.java;h=bab4eff6ab2d46383dfd74ad25a68bbaac0286fe;hp=fac11ab80c5d655d6df55f55761d15c8675fcb66;hb=242a8711e98cbd3ed6d05271bf910fde38e9be9a;hpb=4c5cadfb5604449d04e2cdaaae7b9a61795c9044

diff --git a/src/edu/berkeley/sbp/misc/StringToken.java b/src/edu/berkeley/sbp/misc/StringToken.java
index fac11ab..bab4eff 100644
--- a/src/edu/berkeley/sbp/misc/StringToken.java
+++ b/src/edu/berkeley/sbp/misc/StringToken.java
@@ -14,13 +14,16 @@ public class StringToken implements Token {
     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 Atom(new DiscreteTopology<StringToken>(left)) { public String toString() { return "{"; } };
-    public static final Atom rightBrace = new Atom(new DiscreteTopology<StringToken>(right)) { public String toString() { return "}"; } };
+    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;
-        public StringAtom(String s) { super(new DiscreteTopology<StringToken>(new StringToken(s, null))); this.s = 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 */