public class CharAtom extends Atom<Character> {
+ public StringBuffer toString(StringBuffer sb) { sb.append(this); return sb; }
+
public CharAtom() { this(new CharTopology()); }
public CharAtom(char a) { this(a,a); }
public CharAtom(char a, char b) { this(new CharTopology(a, b)); }
public static final Atom braces = new CharAtom(left,right) { public String toString() { return "[{}]"; } };
public static Atom set(Range.Set r) { return new CharAtom(new CharTopology(r)); }
-
public String toString() { return t.toString(); }
/** returns an element which exactly matches the string given */
public Topology<Atom<Character>> unwrap() { return this; }
public Topology<Atom<Character>> empty() { return new CharAtom(); }
- public Topology<Character> underlying() { return top(); }
+ public Topology<Character> getTokenTopology() { return top(); }
public boolean contains(Atom<Character> v) { return top().containsAll(((CharAtom)v).top()); }
public boolean disjoint(Topology<Atom<Character>> t) { return top().disjoint(((CharAtom)t).top()); }