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 String toString() { return escapified; } };
Element[] refs = new Element[s.length()];
for(int i=0; i<refs.length; i++) refs[i] = new CharAtom(s.charAt(i));
- ret2.add(Sequence.constant(refs, s));
+ ret2.add(Sequence.newConstantSequence(refs, s));
ret = ret2;
}
return ret;
}
private static Union epsilon = new Union("()");
- static { epsilon.add(Sequence.empty); }
+ static { epsilon.add(Sequence.newEmptySequence()); }
public Topology<Atom<Character>> unwrap() { return this; }
public Topology<Atom<Character>> empty() { return new CharAtom(); }