return new GrammarAST(resolver, "").buildGrammar(grammarAST, startingNonterminal);
}
+ /** This does not work yet */
+ public static void emitCode(PrintWriter pw, Tree grammarAST, String startingNonterminal, ImportResolver resolver) {
+ GrammarAST ga = new GrammarAST(resolver, "");
+ Object o = ga.walk(grammarAST);
+ GrammarAST.GrammarNode gn = (GrammarAST.GrammarNode)o;
+ EmitContext ecx = ga.new EmitContext(gn);
+ gn.emitCode(ecx, pw, "com.foo", "ClassName");
+ }
+
private static Object illegalTag = ""; // this is the tag that should never appear in the non-dropped output FIXME
// Instance //////////////////////////////////////////////////////////////////////////////
if (head.equals("Quoted")) return stringifyChildren(t);
if (head.equals("Literal")) return new LiteralNode(walkString(t.child(0)));
if (head.equals("->")) return walkSeq(t.child(0)).follow(walkElement(t.child(1)));
- if (head.equals("DropNT")) return new NonTerminalNode(walkString(t.child(0)), (Seq[][])walkChildren(t.child(1)), false, null, true);
+ if (head.equals("DropNT")) return new NonTerminalNode(walkString(t.child(0)), (Seq[][])walkChildren(t.child(1)), false, null, true, false);
if (head.equals("=")) return new NonTerminalNode(walkString(t.child(0)), (Seq[][])walk(t.child(2)),
- true, t.size()==2 ? null : walkString(t.child(1)), false);
+ true, t.size()==2 ? null : walkString(t.child(1)), false, false);
if (head.equals("&")) return walkSeq(t.child(0)).and(walkSeq(t.child(1)));
if (head.equals("&~")) return walkSeq(t.child(0)).andnot(walkSeq(t.child(1)));
if (head.equals("/")) return (walkSeq(t.child(0))).separate(walkElement(t.child(1)));
if (head.equals("SubGrammar")) return GrammarAST.buildFromAST(t.child(0), "s", resolver);
if (head.equals("NonTerminal"))
return new NonTerminalNode(walkString(t.child(0)),
- (Seq[][])walkChildren(t.child(1)), false, null, false);
+ (Seq[][])walkChildren(t.child(1)), false, null, false, false);
if (head.equals("Colons")) {
String tag = walkString(t.child(0));
Seq[][] seqs = (Seq[][])walk(t.child(1));
for(Seq[] seq : seqs)
for(int i=0; i<seq.length; i++)
seq[i] = seq[i].tag(tag);
- return new NonTerminalNode(tag, seqs, false, null, false);
+ return new NonTerminalNode(tag, seqs, false, null, false, true);
}
if (head.equals("#import")) {
if (resolver != null) {
return ret + " ]";
}
public Union build(String rootNonterminal) {
- Context cx = new Context(this);
+ BuildContext cx = new BuildContext(this);
Union u = null;
for(GrammarAST.NonTerminalNode nt : values())
if (nt.name.equals(rootNonterminal))
return (Union)cx.get(nt.name);
return null;
}
+ public void emitCode(EmitContext cx, PrintWriter pw, String packageName, String className) {
+ pw.println("package " + packageName + ";");
+ pw.println("public class " + className + " {");
+ // FIXME: root walking method
+ //pw.println(" public static XXX walk() root");
+ for(NonTerminalNode nt : values()) {
+ if (!(nt.name.charAt(0) >= 'A' && nt.name.charAt(0) <= 'Z')) continue;
+ StringBuffer fieldDeclarations = new StringBuffer();
+ StringBuffer walkCode = new StringBuffer();
+ nt.getUnionNode().emitCode(cx, fieldDeclarations, walkCode);
+ if (nt.tagged) {
+ pw.println(" public static class " + nt.name + "{");
+ pw.println(fieldDeclarations);
+ pw.println(" }");
+ pw.println(" public static " + nt.name + " walk"+nt.name+"(Tree t) {");
+ pw.println(" int i = 0;");
+ pw.println(walkCode);
+ pw.println(" }");
+ } else {
+ // FIXME; list who extends it
+ pw.println(" public static interface " + nt.name + "{ }");
+ // FIXME: what on earth is this going to be?
+ pw.println(" public static " + nt.name + " walk"+nt.name+"(Tree t) {");
+ pw.println(" throw new Error(\"FIXME\");");
+ pw.println(" }");
+ }
+ }
+ pw.println("}");
+ }
}
/** a NonTerminal is always a union at the top level */
public final String name;
public final ElementNode elementNode;
public final UnionNode unionNode;
- public NonTerminalNode(String name, Seq[][] sequences, boolean rep, String sep, boolean alwaysDrop) {
+ public final boolean tagged;
+ public NonTerminalNode(String name, Seq[][] sequences, boolean rep, String sep, boolean alwaysDrop, boolean tagged) {
this.name = prefix + name;
this.alwaysDrop = alwaysDrop;
+ this.tagged = tagged;
this.unionNode = new UnionNode(sequences, rep, sep==null?null:(prefix + sep));
this.elementNode = alwaysDrop ? new DropNode(unionNode) : unionNode;
}
public boolean isDropped(Context cx) { return alwaysDrop; }
- public Element build(Context cx, NonTerminalNode cnt, boolean dropall) { return cx.get(name); }
+ public Element build(BuildContext cx, NonTerminalNode cnt, boolean dropall) { return cx.get(name); }
public ElementNode getElementNode() { return elementNode; }
public UnionNode getUnionNode() { return unionNode; }
}
/** negative conjuncts */
HashSet<Seq> not = new HashSet<Seq>();
public boolean alwaysDrop = false;
+
+ public boolean isTagless() {
+ if (alwaysDrop) return true;
+ for(int i=0; i<elements.length; i++)
+ if ((elements[i] instanceof LiteralNode) && ((LiteralNode)elements[i]).caret)
+ return false;
+ if (tag==null) return true;
+ return false;
+ }
+
public boolean isDropped(Context cx) {
if (alwaysDrop) return true;
if (tag!=null) return false;
}
}
}
- public Atom toAtom(Context cx) {
+ public Atom toAtom(BuildContext cx) {
if (elements.length != 1)
throw new Error("you attempted to use ->, **, ++, or a similar character-class"+
" operator on a [potentially] multicharacter production");
this.elements = elements;
return this;
}
- public Sequence build(Context cx, Union u, NonTerminalNode cnt, boolean dropall) {
+ public Sequence build(BuildContext cx, Union u, NonTerminalNode cnt, boolean dropall) {
Sequence ret = build0(cx, cnt, dropall);
for(Seq s : and) ret = ret.and(s.build(cx, null, cnt, true));
for(Seq s : not) ret = ret.andnot(s.build(cx, null, cnt, true));
if (u!=null) u.add(ret);
return ret;
}
- public Sequence build0(Context cx, NonTerminalNode cnt, boolean dropall) {
+ public Sequence build0(BuildContext cx, NonTerminalNode cnt, boolean dropall) {
boolean[] drops = new boolean[elements.length];
Element[] els = new Element[elements.length];
dropall |= isDropped(cx);
public String getFieldName() { return null; }
public boolean isLifted() { return false; }
public boolean isDropped(Context cx) { return false; }
- public Atom toAtom(Context cx) { throw new Error("can't convert a " + this.getClass().getName() + " to an atom: " + this); }
- public abstract Element build(Context cx, NonTerminalNode cnt, boolean dropall);
+ //public abstract boolean isTagless();
+ public boolean isTagless() { return false; }
+ public void _emitCode(EmitContext cx,
+ StringBuffer fieldDeclarations,
+ StringBuffer walkCode) {
+ throw new RuntimeException("not implemented " + this.getClass().getName());
+ }
+ public final void emitCode(EmitContext cx,
+ StringBuffer fieldDeclarations,
+ StringBuffer walkCode) {
+ if (isDropped(cx)) return;
+ if (isTagless()) {
+ // parse just the literal text, create an int/float/char/string
+ // FIXME: how do we know which one?
+ walkCode.append(" stringify");
+ } else {
+ }
+ _emitCode(cx, fieldDeclarations, walkCode);
+ walkCode.append(" i++;");
+ }
+ public Atom toAtom(BuildContext cx) { throw new Error("can't convert a " + this.getClass().getName() + " to an atom: " + this); }
+ public abstract Element build(BuildContext cx, NonTerminalNode cnt, boolean dropall);
}
/** a union, produced by a ( .. | .. | .. ) construct */
this.rep = rep;
this.sep = sep;
}
+
+ public boolean isTagless() {
+ for (Seq[] ss : sequences)
+ for (Seq s : ss)
+ if (!s.isTagless()) return false;
+ return true;
+ }
+
+ public String[] getPossibleEmitClasses() {
+ HashSet<String> cl = new HashSet<String> ();
+ for(Seq[] ss : sequences)
+ for(Seq s : ss) {
+ /*
+ String cls = s.getEmitClass();
+ if (cls != null) cl.add(cls);
+ */
+ }
+ return (String[])cl.toArray(new String[0]);
+ }
+
+ public void _emitCode(EmitContext cx,
+ StringBuffer fieldDeclarations,
+ StringBuffer walkCode) {
+ throw new RuntimeException("not implemented " + this.getClass().getName());
+ }
+
public String getFieldName() { return null; }
public boolean isLifted() { return false; }
public boolean isDropped(Context cx) {
return false;
return true;
}
- public Atom toAtom(Context cx) {
+ public Atom toAtom(BuildContext cx) {
Atom ret = null;
for(Seq[] ss : sequences)
for(Seq s : ss)
return ret;
}
- public Element build(Context cx, NonTerminalNode cnt, boolean dropall) {
+ public Element build(BuildContext cx, NonTerminalNode cnt, boolean dropall) {
return buildIntoPreallocatedUnion(cx, cnt, dropall, new Union(null, false)); }
- public Element buildIntoPreallocatedUnion(Context cx, NonTerminalNode cnt, boolean dropall, Union u) {
+ public Element buildIntoPreallocatedUnion(BuildContext cx, NonTerminalNode cnt, boolean dropall, Union u) {
Union urep = null;
if (rep) {
urep = new Union(null, false);
if (ret==null) throw new RuntimeException("undefined nonterminal: " + nonTerminal);
return ret;
}
- public Atom toAtom(Context cx) {
+ public Atom toAtom(BuildContext cx) {
ElementNode ret = cx.grammar.get(nonTerminal).getElementNode();
if (ret == null) throw new RuntimeException("unknown nonterminal \""+nonTerminal+"\"");
return ret.toAtom(cx);
}
public boolean isDropped(Context cx) { return resolve(cx).isDropped(cx); }
- public Element build(Context cx, NonTerminalNode cnt, boolean dropall) {
+ public Element build(BuildContext cx, NonTerminalNode cnt, boolean dropall) {
Element ret = cx.get(nonTerminal);
if (ret == null) throw new RuntimeException("unknown nonterminal \""+nonTerminal+"\"");
return ret;
}
+ public String getFieldName() { return StringUtil.uncapitalize(nonTerminal); }
}
/** a literal string */
public String getLiteralTag() { return caret ? thePrefix+string : null; }
public String toString() { return "\""+string+"\""; }
public boolean isDropped(Context cx) { return true; }
- public Atom toAtom(Context cx) {
+ public Atom toAtom(BuildContext cx) {
if (string.length()!=1) return super.toAtom(cx);
Range.Set set = new Range.Set();
set.add(string.charAt(0), string.charAt(0));
return CharAtom.set(set);
}
- public Element build(Context cx, NonTerminalNode cnt, boolean dropall) { return CharAtom.string(string); }
+ public Element build(BuildContext cx, NonTerminalNode cnt, boolean dropall) { return CharAtom.string(string); }
}
/** an atom (usually a character class) */
public AtomNode() { this(new char[0][]); }
public AtomNode(char[][] ranges) { this.ranges = ranges; }
public AtomNode(char[] range) { this.ranges = new char[][] { range }; }
- public Element build(Context cx, NonTerminalNode cnt, boolean dropall) { return toAtom(cx); }
- public Atom toAtom(Context cx) {
+ public Element build(BuildContext cx, NonTerminalNode cnt, boolean dropall) { return toAtom(cx); }
+ public Atom toAtom(BuildContext cx) {
Range.Set set = new Range.Set();
for(char[] r : ranges) set.add(r[0], r[1]);
return CharAtom.set(set);
public RepeatNode(ElementNode e, ElementNode sep, boolean zero, boolean many, boolean max) {
this.e = e; this.sep = sep; this.zero = zero; this.many = many; this.max = max;
}
- public Atom toAtom(Context cx) { return sep==null ? e.toAtom(cx) : super.toAtom(cx); }
+ public Atom toAtom(BuildContext cx) { return sep==null ? e.toAtom(cx) : super.toAtom(cx); }
public boolean isDropped(Context cx) { return e.isDropped(cx); }
- public Element build(Context cx, NonTerminalNode cnt, boolean dropall) {
+ public Element build(BuildContext cx, NonTerminalNode cnt, boolean dropall) {
Element ret = build(cx, cnt, dropall, illegalTag);
String must = "must be tagged unless they appear within a dropped expression or their contents are dropped: ";
if (!dropall && !isDropped(cx) && !e.isDropped(cx))
else throw new RuntimeException("one-or-more repetitions (+) " + must + ret);
return ret;
}
- public Element build(Context cx, NonTerminalNode cnt, boolean dropall, Object repeatTag) {
+ public Element build(BuildContext cx, NonTerminalNode cnt, boolean dropall, Object repeatTag) {
return (!max)
? Repeat.repeat(e.build(cx, null, dropall), zero, many, sep==null ? null : sep.build(cx, null, dropall), repeatTag)
: sep==null
protected ElementNode _e;
public ElementNodeWrapper(ElementNode e) { this._e = e; }
public boolean isDropped(Context cx) { return _e.isDropped(cx); }
- public Atom toAtom(Context cx) { return _e.toAtom(cx); }
- public Element build(Context cx, NonTerminalNode cnt, boolean dropall) { return _e.build(cx, cnt, dropall); }
+ public Atom toAtom(BuildContext cx) { return _e.toAtom(cx); }
+ public Element build(BuildContext cx, NonTerminalNode cnt, boolean dropall) { return _e.build(cx, cnt, dropall); }
+ public String getFieldName() { return _e.getFieldName(); }
+ public void _emitCode(EmitContext cx, StringBuffer fieldDeclarations, StringBuffer walkCode) {
+ _e._emitCode(cx, fieldDeclarations, walkCode);
+ }
}
/** a backtick node indicating that, when building the AST, the node's children should be inserted here */
private class BacktickNode extends ElementNodeWrapper {
public BacktickNode(ElementNode e) { super(e); }
public boolean isLifted() { return true; }
+ public String getFieldName() { throw new Error("FIXME: backtick isn't a single field"); }
+ public void _emitCode(EmitContext cx, StringBuffer fieldDeclarations, StringBuffer walkCode) {
+ _e._emitCode(cx, fieldDeclarations, walkCode);
+ }
}
/** negation */
private class TildeNode extends ElementNodeWrapper {
public TildeNode(ElementNode e) { super(e); }
- public Atom toAtom(Context cx) { return (Atom)((Topology<Character>)_e.toAtom(cx).complement()); }
- public Element build(Context cx, NonTerminalNode cnt, boolean dropall) { return toAtom(cx); }
+ public Atom toAtom(BuildContext cx) { return (Atom)((Topology<Character>)_e.toAtom(cx).complement()); }
+ public Element build(BuildContext cx, NonTerminalNode cnt, boolean dropall) { return toAtom(cx); }
}
private class DropNode extends ElementNodeWrapper {
private class LabelNode extends ElementNodeWrapper {
public final String label;
public LabelNode(String label, ElementNode e) { super(e); this.label = label; }
+ public String getFieldName() { return label; }
}
//////////////////////////////////////////////////////////////////////////////
public class Context {
public HashMap<String,Union> map = new HashMap<String,Union>();
public GrammarNode grammar;
- public Context(Tree t) { }
+ public Context() { }
public Context(GrammarNode g) { this.grammar = g; }
+ }
+
+
+ public class EmitContext extends Context {
+ public EmitContext(GrammarNode g) { super(g); }
+ }
+
+ public class BuildContext extends Context {
+ public BuildContext(Tree t) { }
+ public BuildContext(GrammarNode g) { super(g); }
public Union build() {
Union ret = null;
for(NonTerminalNode nt : grammar.values()) {
projects / sbp.git / blobdiff