// MetaGrammar //////////////////////////////////////////////////////////////////////////////
public Object _star_(Element r) { return new Rep(r, null, false, true); }
- public Union _colon__colon__equals_(String s, PreSequence[][] p) { return nonTerminalZ(s, p); }
- public Union _bang__colon__colon__equals_(String s, PreSequence[][] p) { return nonTerminalZ(s, p, true); }
- public Union _colon__colon__equals_(boolean q, String s, PreSequence[][] p) { return nonTerminalZ(s, p, q); }
public Element epsilon(Object o, Object b) { return epsilon; }
public Element _rightparen_(Object e) { return SELF; }
public PreSequence _amp_(PreSequence p, Object[] o) { return p.and(new PreSequence(o, null, true).buildSequence(null, true, false)); }
- public PreSequence _amp__tilde_(PreSequence p, Object[] o) { return p.not(new PreSequence(o, null, true).buildSequence(null, true, false)); }
+ public PreSequence _amp__tilde_(PreSequence p, Object[] o) { return p.not(new PreSequence(o, null, true).buildSequence(null, true, false)); }
public Element _bang_(Element r) { return r; }
public Object care(String s) { return new MyLift(s); }
public Object _caret_(String s) { return new MyLift(s); }
public Object _leftparen__rightparen_() { return epsilon; }
- public Object _leftparen_(PreSequence[][] p) { return nonTerminalZ(p); }
- public Union nonTerminal(String s) { return nonTerminalX(s, false, false); }
- public Union nonTerminalX(String s, boolean synthetic, boolean dropAll) {
- Union n = s.equals(startSymbol) ? g : nt.get(s);
- if (n == null) nt.put(s, n = new Union(s, synthetic));
+ public Union nonTerminal(String s) { return nonTerminal(s, null, false, false); }
+ public Union _colon__colon__equals_(String s, PreSequence[][] p) { return nonTerminal(s, p, false, false); }
+ public Union _bang__colon__colon__equals_(String s, PreSequence[][] p) { return nonTerminal(s, p, false, true); }
+ public Union _colon__colon__equals_(boolean q, String s, PreSequence[][] p) { return nonTerminal(s, p, false, q); }
+ public Object _leftparen_(PreSequence[][] p) { return nonTerminal("anon"+(anon++), p, false, false); }
+ public Union nonTerminal(String str, PreSequence[][] s, boolean synthetic, boolean dropAll) {
+ Union n = str.equals(startSymbol) ? g : nt.get(str);
+ if (n == null) nt.put(str, n = new Union(str, synthetic));
if (dropAll) this.dropAll.add(n);
+ if (s==null) return n;
+ HashSet<Sequence> seqs = new HashSet<Sequence>();
+ for(int i=0; i<s.length; i++) {
+ if (s[i]==null) continue;
+ HashSet<Sequence> temp = new HashSet<Sequence>();
+ for(PreSequence pre : s[i]) {
+ pre.not.addAll(seqs);
+ Sequence seq = pre.buildSequence(n, false, dropAll);
+ temp.add(seq);
+ n.add(seq);
+ }
+ seqs.addAll(temp);
+ }
return n;
}
- public Union nonTerminalZ(PreSequence[][] p) { return nonTerminalX("anon"+(anon++), p, false, false); }
- public Union nonTerminalZ(String s, PreSequence[][] p) { return nonTerminalX(s, p, false, false); }
- public Union nonTerminalZ(String s, PreSequence[][] p, boolean q) { return nonTerminalX(s, p, false, q); }
- public Object _backslash__leftbrace_(String s) { return SELF; }
- public Object _leftbrace_(String s) { return SELF; }
- public Object _plus_(final Element r) { return new Rep(r, null, false, false); }
+
+
+ public Object _backslash__leftbrace_(String s) { return SELF; }
+ public Object _leftbrace_(String s) { return SELF; }
+ public Object _plus_(final Element r) { return new Rep(r, null, false, false); }
public Object[] _slash_(Object[] o, Object sep) {
if (o.length <= 1) return o;
Object[] ret = new Object[o.length * 2 - 1];
return ret;
}
- public Union nonTerminalX(String str, PreSequence[][] s, boolean synthetic, boolean dropAll) {
- Union n = nonTerminalX(str, synthetic, dropAll);
- if (s == null || s.length==0) { n.add(Sequence.empty); return n; }
- HashSet<Sequence> seqs = new HashSet<Sequence>();
- for(int i=0; i<s.length; i++) {
- if (s[i]==null) continue;
- HashSet<Sequence> temp = new HashSet<Sequence>();
- for(PreSequence pre : s[i]) {
- pre.not.addAll(seqs);
- Sequence seq = pre.buildSequence(n, false, dropAll);
- temp.add(seq);
- n.add(seq);
- }
- seqs.addAll(temp);
- }
- return n;
- }
-
public String stringify(String s) { return StringUtil.unescapify(s); }
public char unescape(char x, char c) { return unescape(c); }
public char unescape(char c) { return StringUtil.unescapify("\\"+c).charAt(0); }
for(int i=0; i<o.length; i++) {
Object oi = o[i];
if (oi instanceof MyDrop) { oi = ((MyDrop)oi).o; drops[j] = true; }
- if (oi instanceof PreSequence) o2[j] = ((PreSequence)oi).buildUnion();
- else if (oi==SELF) o2[j] = u.new Subset("(("+u+"))", set);
+ //if (oi instanceof PreSequence) o2[j] = ((PreSequence)oi).buildUnion();
+ /*else*/ if (oi==SELF) o2[j] = u.new Subset("(("+u+"))", set);
else if (oi instanceof MyLift) { o2[j] = CharToken.string(tag = ((MyLift)oi).s); drops[j] = true; }
else if (oi instanceof Rep) o2[j] = ((Rep)oi).build();
else o2[j] = (Element)oi;