}
public static class NonTerminal extends Un {
+ public boolean rep;
public String name = null;
- public @bind NonTerminal(@bind.arg String name,
- @bind.arg Seq[][] sequences) {
+ public @bind NonTerminal(@bind.arg String name, @bind.arg Seq[][] sequences) { this(name, sequences, false); }
+ public NonTerminal(String name, Seq[][] sequences, boolean rep) {
this.name = name;
this.sequences = sequences;
+ this.rep = rep;
}
public Element build(MetaGrammar.Context cx) { return cx.get(name); }
}
+ public static @bind.as("=") NonTerminal go(@bind.arg String name, @bind.arg Seq[][] sequences) { return new NonTerminal(name, sequences, true); }
public static class AnonUn extends Un {
public @bind.as("(") AnonUn(Seq[][] sequences) {
//public static @bind.as("(") El subexpression(Seq[][] rhs) { return new NonTerminal(rhs); }
- public static @bind.as("Word") String word(String s) { return s; }
- public static @bind.as("Quoted") String quoted(String s) { return s; }
- public static @bind.as("escaped") String c(char c) { return c+""; }
- public static @bind.as("EmptyString") String emptystring() { return ""; }
- public static @bind.as("\n") String retur() { return "\n"; }
- public static @bind.as("\r") String lf() { return "\r"; }
+ public static @bind.as("Word") String word(String s) { return s; }
+ public static @bind.as("Quoted") String quoted(String s) { return s; }
+ public static @bind.as("escaped") String c(char c) { return c+""; }
+ public static @bind.as("EmptyString") String emptystring() { return ""; }
+ public static @bind.as("\n") String retur() { return "\n"; }
+ 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)); }
+// use 'a'-'z' or 'a-z' instead of [a-z]?
+// EOF token?
+// #include (with renaming?)
+
s = ws! Grammar ws!
Grammar = NonTerminal +/ ws
-NonTerminal = Word "=" RHS /ws
-
-// use 'a'-'z' or 'a-z' instead of [a-z]?
-// EOF token?
-// #include (with renaming?)
-
+NonTerminal = Word "=" RHS /ws
+ | Word "*" ws! ^"=" ws! RHS
+
RHS = (Sequence +/ (ws! "|" ws!)) +/ (ws! ">" ws!)
Elements = e*/ws
Word = [a-zA-Z0-9_]++
Quoted = "\"" ((~[\"\\] | escaped)+) "\""
| EmptyString
-EmptyString = "\"\""
+ EmptyString = "\"\""
escaped = "\n":: "\\n"
| "\r":: "\\r"