X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FDemo.java;h=dbe62666eea7a2def2f2664eb76da1edcfc68bf1;hb=80a840adb5df31ba5edd20ecac23086ad09a5ca1;hp=92c9194e91821509ee592d8c591903886907a01b;hpb=3c03a0a1131b46a23ccfdeab2cb4fbd59ee05b7a;p=sbp.git diff --git a/src/edu/berkeley/sbp/misc/Demo.java b/src/edu/berkeley/sbp/misc/Demo.java index 92c9194..dbe6266 100644 --- a/src/edu/berkeley/sbp/misc/Demo.java +++ b/src/edu/berkeley/sbp/misc/Demo.java @@ -33,6 +33,15 @@ public class Demo { System.out.println(t.toPrettyString()); } + public static class ReflectiveMetaPlain extends ReflectiveMeta { + public Object repeatTag() { return null; } + public Sequence tryResolveTag(String tag, String nonTerminalName, Element[] els, Object[] labels, boolean[] drops) { + return null; } + public Sequence resolveTag(String tag, String nonTerminalName, Element[] els, Object[] labels, boolean[] drops) { + return Sequence.rewritingSequence(tag, els, labels, drops); + } + } + public static class ReflectiveMeta extends MetaGrammar.Meta { private final Class _cl; private final Class[] _inner; @@ -47,7 +56,7 @@ public class Demo { MG.Seq.class, MG.NonTerminalReference.class, MG.StringLiteral.class, - MG.Tree.class, + MG.XTree.class, MG.CharClass.class }); } @@ -80,24 +89,7 @@ public class Demo { return false; } public Object repeatTag() { - return new Reducer() { - public String toString() { return ""; } - public Object reduce(Tree t) { - Object[] ret = new Object[t.numChildren()]; - for(int i=0; i(); } public Sequence tryResolveTag(String tag, String nonTerminalName, Element[] els, Object[] labels, boolean[] drops) { Production p = new Production(tag, nonTerminalName, els, labels, drops); @@ -136,6 +128,8 @@ public class Demo { */ @Retention(RetentionPolicy.RUNTIME) public static @interface nonterminal { String value() default ""; } + @Retention(RetentionPolicy.RUNTIME) public static @interface raw { } + /** * Constructors, classes, and methods with this attribute will * match every tree tagged with "value()" that is arg-compatible. @@ -227,40 +221,40 @@ public class Demo { } } public Sequence makeSequence(Production p) { - return Sequence.rewritingSequence(new TargetReducer(p), p.elements, p.labels, p.drops); + return Sequence.rewritingSequence(new TargetReducer(p, buildSequence(p), "reducer-"+this), p.elements, p.labels, p.drops); } public abstract Object plant(Object[] fields, int[] map); - public class TargetReducer implements Reducer { + public boolean isRaw() { return false; } + public Object invokeRaw(Iterable t) { return null; } + public class TargetReducer implements Functor,Object> { private Production p; private int[] map; - public TargetReducer(Production p) { + private String name; + public TargetReducer(Production p, int[] map, String name) { this.p = p; - this.map = buildSequence(p); + this.map = map; + this.name = name; } - public String toString() { return "reducer-"+Target.this; } - public Object reduce(Tree t) { - Object[] objects = new Object[t.numChildren()]; - for(int i=0; i t) { + if (isRaw()) return invokeRaw(t); + ArrayList ret = new ArrayList(); + for(Tree tc : t) { + if (tc.head() != null && tc.head() instanceof Functor) + ret.add(((Functor,Object>)tc.head()).invoke(tc.children())); else if (tc.numChildren() == 0) - objects[i] = tc.head(); + ret.add(tc.head()); else { System.err.println("FIXME: don't know what to do about " + tc); - objects[i] = null; + ret.add(null); } } System.err.println("input tree: " + t); - return plant(objects, map); + return plant(ret.toArray(new Object[0]), map); } } } - public static interface Reducer { - public Object reduce(Tree t); - } - public static class TargetClass extends Target { public final Class _class; public TargetClass(Class _class) { this._class = _class; } @@ -379,6 +373,14 @@ public class Demo { int[] ret = buildSequence(p, names, argtags); return ret; } + public boolean isRaw() { return _method.isAnnotationPresent(raw.class); } + public Object invokeRaw(Iterable t) { + try { + return _method.invoke(null, new Object[] { t }); + } catch (Exception e) { + throw new RuntimeException(e); + } + } public Object plant(Object[] fields, int[] map) { try { Class[] argTypes = _method.getParameterTypes(); @@ -407,11 +409,28 @@ public class Demo { if (c == char.class) { return o.toString().charAt(0); } + + if (o.getClass().isArray() && + o.getClass().getComponentType().isArray() && + o.getClass().getComponentType().getComponentType() == String.class && + c.isArray() && + c.getComponentType() == String.class) { + String[] ret = new String[((Object[])o).length]; + for(int i=0; i res = new CharParser(MetaGrammar.make()).parse(new FileInputStream("tests/meta.g")).expand1(); + MetaGrammar.Meta.MetaGrammarFile mgf = m.new MetaGrammarFile(res); + MetaGrammar.BuildContext bc = new MetaGrammar.BuildContext(mgf); + Union meta = mgf.get("s").build(bc); + Tree t = new CharParser(meta).parse(new FileInputStream("tests/meta.g")).expand1(); + return cached = make(t, "s"); + } catch (Exception e) { + throw new RuntimeException(e); + } + } + public static Union make(Tree t, String s) { return make(t, s, new ReflectiveMeta()); } + public static Union make(Tree t, String s, ReflectiveMeta rm) { + Functor,Object> red = (Functor,Object>)t.head(); + MG.Grammar g = (MG.Grammar)red.invoke(t.children()); Context cx = new Context(g,rm); Union u = null; for(MG.NonTerminal nt : g.nonterminals) { + System.out.println(nt.name); Union el = (Union)cx.get(nt.name); StringBuffer st = new StringBuffer(); el.toString(st); @@ -624,10 +659,12 @@ public class Demo { return cx.get(nonTerminal); } } + public static class StringLiteral extends Constant { public @tag("literal") StringLiteral(String string) { super(CharRange.string(string)); } public boolean drop() { return true; } } + public static class CharClass extends El { Range[] ranges; public @tag("[") CharClass(Range[] ranges) { this.ranges = ranges; } @@ -639,7 +676,7 @@ public class Demo { } } - public static @tag("{") class Tree extends El { + public static @tag("{") class XTree extends El { public @arg Seq body; public Element build(Context cx) { throw new Error(); @@ -728,8 +765,8 @@ public class Demo { } public Context(Tree t, ReflectiveMeta rm) { this.rm = rm; - Reducer red = (Reducer)t.head(); - this.grammar = (MG.Grammar)red.reduce(t); + Functor,Object> red = (Functor,Object>)t.head(); + this.grammar = (MG.Grammar)red.invoke(t.children()); } public Union peek(String name) { return map.get(name); } public void put(String name, Union u) { map.put(name, u); }