1 package edu.berkeley.sbp.misc;
4 import java.lang.reflect.*;
5 import edu.berkeley.sbp.*;
6 import edu.berkeley.sbp.misc.*;
7 import edu.berkeley.sbp.meta.*;
8 import edu.berkeley.sbp.bind.*;
9 import edu.berkeley.sbp.tib.*;
10 import edu.berkeley.sbp.chr.*;
11 import edu.berkeley.sbp.util.*;
12 import static edu.berkeley.sbp.meta.MetaGrammar.*;
14 public class RegressionTests {
16 public static boolean yes = false;
17 public static boolean graph = false;
19 public static void main(String[] s) throws Exception {
21 boolean profile = false;
22 if (s[0].equals("-graph")) {
24 String[] s2 = new String[s.length-1];
25 System.arraycopy(s, 1, s2, 0, s2.length);
28 if (s[0].equals("-profile")) {
30 String[] s2 = new String[s.length-1];
31 System.arraycopy(s, 1, s2, 0, s2.length);
35 System.err.println("parsing " + s[0]);
36 Tree<String> res = new CharParser(MetaGrammar.make()).parse(new FileInputStream(s[0])).expand1();
37 Union meta = MetaGrammar.make(res, "s");
39 System.err.println("parsing " + s[1]);
40 SequenceInputStream sis = new SequenceInputStream(new FileInputStream(s[0]), new FileInputStream(s[1]));
41 res = new CharParser(meta).parse(sis).expand1();
43 Union testcasegrammar = MetaGrammar.make(res, "ts", new TestCaseMaker());
44 if (testcasegrammar==null) return;
45 CharParser parser = new CharParser(testcasegrammar);
48 System.out.println("\nready...");
52 long now = System.currentTimeMillis();
53 System.err.println("parsing " + s[2]);
54 Forest<String> r2 = parser.parse(new FileInputStream(s[2]));
56 System.out.println("elapsed = " + (System.currentTimeMillis()-now) + "ms");
58 System.out.println("\ndone");
62 System.err.println("expanding...");
64 Tree t = r2.expand1();
65 TestCase[] expanded = (TestCase[])((Functor)t.head()).invoke(t.children());
66 System.err.println("executing...");
67 for(TestCase tc : expanded) {
71 for(int i=0; i<12; i++) {
72 //System.out.println("length " + st.length());
74 long nowy = System.currentTimeMillis();
78 System.out.println("length " + st.length() + " => " + ((System.currentTimeMillis()-nowy)/1000.0) + " " + GSS.shifts + " " + GSS.reductions);
84 } catch (Throwable t) {
85 System.err.println("\n\nexception thrown, class == " + t.getClass().getName());
86 System.err.println(t);
93 public static class TestCaseMaker extends AnnotationGrammarBindingResolver {
94 public TestCaseMaker() {
95 super(TestCaseMakerHelper.class);
97 public static class TestCaseMakerHelper extends MetaGrammarBindings {
98 public static @bind.as("grammaro") @bind.raw Object grammaro(Iterable<Tree> t) {
99 System.out.println("working on " + t);
100 return MetaGrammar.make(t.iterator().next(), "s", new TaggingGrammarBindingResolver());
102 //public static @bind.as("tca") Object tca(Object[] o) throws IOException {
103 //return new TestCase((String)o[0], (String[])o[1], (Union)o[2], false, false); }
104 public static @bind.as("tca") Object tca(String input, String[] output, Union u) throws IOException {
105 return new TestCase(input, output, u, false, false); }
106 public static @bind.as("tcb") Object tca(String input, Union u) throws IOException {
107 return new TestCase(input, new String[0], u, false, false); }
108 public static @bind.as("ts") TestCase[] go(TestCase[] cases) { return cases; }
109 public static @bind.as("o") Object o(Object[] s) { return s; }
113 public static class TestCase {
114 private final boolean tib;
115 private final boolean jav;
116 public /*final*/ String input;
117 public final String[] output;
118 public final Union grammar;
120 public TestCase(String input, String[] output, Union grammar, boolean tib, boolean jav) throws IOException {
124 this.output = output==null ? new String[0] : output;
125 this.grammar = grammar;
127 public String toString() {
128 String ret = "testcase {\n" + " input \""+input+"\";\n";
129 for(String s : output) ret += " output \""+s+"\";\n";
130 ret += grammar +"\n}\n";
133 public boolean execute() throws Exception {
134 Forest<String> res = null;
135 ParseFailed pfe = null;
136 CharParser parser = new CharParser(grammar);
137 //parser.helpgc = false;
140 ? /*new CharParser(grammar).parse(new Tib(input))*/ null
141 : parser.parse(new StringReader(input));
142 } catch (ParseFailed pf) {
145 //ystem.out.println("res=="+res);
148 FileOutputStream fos = new FileOutputStream("out.dot");
149 PrintWriter p = new PrintWriter(new OutputStreamWriter(fos));
150 GraphViz gv = new GraphViz();
155 System.out.println(parser);
157 Collection<Tree<String>> results = res==null ? new HashSet<Tree<String>>() : res.expand(false);
158 System.out.print("\r");
159 if (results == null || (results.size() == 0 && (output!=null && output.length > 0))) {
160 System.out.print("\033[31m");
161 System.out.println("PARSE FAILED");
162 System.out.print("\033[0m");
163 if (pfe != null) pfe.printStackTrace();
165 System.out.print("\r \r");
167 HashSet<String> outs = new HashSet<String>();
168 if (output != null) for(String s : output) outs.add(s.trim());
170 for (Tree<String> r : results) {
171 String s = r.toString().trim();
172 if (outs.contains(s)) { outs.remove(s); continue; }
173 if (!bad) System.out.println(input);
174 System.out.print("\033[33m");
175 System.out.println(" GOT: " + s);
178 for(String s : outs) {
179 if (!bad) System.out.println(input);
180 System.out.print("\033[31m");
181 System.out.println("EXPECTED: " + s);
185 System.out.println("\033[0m");
188 System.out.println("\r\033[32mPASS\033[0m ");
194 public static class TestCaseBuilder extends StringWalker {
195 public Object walk(Tree<String> tree) {
197 if ("grammaro".equals(tree.head())) return MetaGrammar.make(tree, "s");
198 else if ("output".equals(tree.head())) return string(tree.children());
199 else if ("input".equals(tree.head())) return string(tree.children());
200 else if ("testcase".equals(tree.head())) {
201 String input = string(tree.child(0));
202 String[] output = tree.numChildren()>2 ? ((String[])walk(tree, 1)) : new String[0];
203 Union grammar = MetaGrammar.make(tree.child(tree.numChildren()-1), "s");
204 TestCase tc = new TestCase(input, output, grammar, false, false);
206 } else if ("ts".equals(tree.head())) return walk(tree, 0);
207 else if (tree.head() == null) {
208 Object[] ret = new Object[tree.numChildren()];
209 for(int i=0; i<ret.length; i++)
210 ret[i] = walk(tree.child(i));
211 return Reflection.lub(ret);
213 return super.walk(tree);
214 } catch (Exception e) {
219 private static String pad(int i,String s) { return s.length() >= i ? s : pad(i-1,s)+" "; }
220 public static String string(Tree<String> tree) {
222 if (tree.head()!=null) ret += tree.head();
223 ret += string(tree.children());
226 public static String string(Iterable<Tree<String>> children) {
228 for(Tree<String> t : children) ret += string(t);