public static @bind.as Seq psx(Seq s) { return s; }
public static @bind.as(":") ElementNode colon(String s, ElementNode e) { return new Label(s, e); }
public static @bind.as(")") void close(String foo) { throw new Error("not supported"); }
- public static @bind.as("()") ElementNode epsilon() { return new Constant(Union.epsilon); }
+ public static @bind.as("()") ElementNode epsilon() { return new Constant(epsilon); }
+
+ private static Union epsilon = new Union("()");
+ static { epsilon.add(Sequence.empty); }
public static class NonTerminalReferenceNode extends ElementNode {
public String nonTerminal;
}
public static class Literal extends Constant {
- public @bind Literal(@bind.arg String string) { super(CharRange.string(string)); }
+ public @bind Literal(@bind.arg String string) { super(CharAtom.string(string)); }
public boolean drop() { return true; }
}
edu.berkeley.sbp.util.Range.Set set = new edu.berkeley.sbp.util.Range.Set();
for(Range r : ranges)
set.add(r.first, r.last);
- return CharRange.set(set);
+ return CharAtom.set(set);
}
}
Sequence s = body.build(cx, u, false, null);
Union u2 = new Union();
u2.add(Sequence.singleton(new Element[] {
- CharRange.leftBrace,
+ CharAtom.leftBrace,
cx.get("ws"),
u,
cx.get("ws"),
- CharRange.rightBrace
+ CharAtom.rightBrace
}, 2));
return u2;
}
public static @bind.as("^") ElementNode caret(final String s) {
final String thePrefix = prefix;
- return new Constant(CharRange.string(s)) {
+ return new Constant(CharAtom.string(s)) {
public String getOwnerTag() { return thePrefix+s; }
public boolean drop() { return true; }
};
public static @bind.as("~") ElementNode tilde(final ElementNode e) {
return new PostProcess(e) {
public Element postProcess(Element e) {
- return infer((Topology<Character>)Atom.toAtom(e).complement().minus(CharRange.braces));
+ return infer((Topology<Character>)Atom.toAtom(e).complement().minus(CharAtom.braces));
} }; }
public static @bind.as("Word") String word(String s) { return s; }
public static @bind.as("\r") String lf() { return "\r"; }
static Atom infer(Element e) { return infer((Topology<Character>)Atom.toAtom(e)); }
- static Atom infer(Topology<Character> t) { return new CharRange(new CharTopology(t)); }
+ static Atom infer(Topology<Character> t) { return new CharAtom(new CharTopology(t)); }
public static class Context {
public HashMap<String,Union> map = new HashMap<String,Union>();