X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FJava15.java;fp=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FJava15.java;h=085f26eb80a7ebf5594b9478d30a8bce6f8f0847;hp=0000000000000000000000000000000000000000;hb=2c1c0293545f3d12c23220fd05c663e6aa3f3de1;hpb=111166986ad83b54d0cae5c03c2304d23e332f29

diff --git a/src/edu/berkeley/sbp/misc/Java15.java b/src/edu/berkeley/sbp/misc/Java15.java
new file mode 100644
index 0000000..085f26e
--- /dev/null
+++ b/src/edu/berkeley/sbp/misc/Java15.java
@@ -0,0 +1,47 @@
+// Copyright 2006 the Contributors, as shown in the revision logs.
+// Licensed under the Apache Public Source License 2.0 ("the License").
+// You may not use this file except in compliance with the License.
+
+package edu.berkeley.sbp.misc;
+import edu.berkeley.sbp.*;
+import edu.berkeley.sbp.misc.*;
+import edu.berkeley.sbp.meta.*;
+import edu.berkeley.sbp.util.*;
+import edu.berkeley.sbp.chr.*;
+import edu.berkeley.sbp.bind.*;
+import java.util.*;
+import java.io.*;
+
+public class Java15 {
+
+    public static void main(String[] s) throws Exception {
+
+        try {
+            Tree<String> res = new CharParser(MetaGrammar.newInstance()).parse(new FileInputStream(s[0])).expand1();
+            
+            //AnnotationGrammarBindings resolver = new AnnotationGrammarBindings(Java15.class);
+            Grammar.Bindings resolver = new Grammar.Bindings();
+            Union javaGrammar = Grammar.create(res, "s", resolver);
+
+            System.err.println("parsing " + s[1]);
+            Tree t = new CharParser(javaGrammar).parse(new FileInputStream(s[1])).expand1();
+
+            System.out.println("tree:\n" + t.toPrettyString());
+
+        } catch (Ambiguous a) {
+            FileOutputStream fos = new FileOutputStream("/Users/megacz/Desktop/out.dot");
+            PrintWriter p = new PrintWriter(new OutputStreamWriter(fos));
+            GraphViz gv = new GraphViz();
+            a.getAmbiguity().toGraphViz(gv);
+            gv.dump(p);
+            p.flush();
+            p.close();
+            a.printStackTrace();
+            
+        } catch (Exception e) {
+            e.printStackTrace();
+        }
+
+    }
+
+}