-// Copyright 2006 all rights reserved; see LICENSE file for BSD-style license
+// Copyright 2006-2007 all rights reserved; see LICENSE file for BSD-style license
package edu.berkeley.sbp.misc;
import java.io.*;
import java.util.*;
import java.lang.reflect.*;
import edu.berkeley.sbp.*;
-import edu.berkeley.sbp.misc.*;
import edu.berkeley.sbp.meta.*;
-import edu.berkeley.sbp.tib.*;
import edu.berkeley.sbp.chr.*;
import edu.berkeley.sbp.util.*;
public static boolean yes = false;
public static boolean graph = false;
+ public static GrammarAST.ImportResolver resolver = new GrammarAST.ImportResolver() {
+ public InputStream getImportStream(String importname) {
+ try {
+ return new FileInputStream("tests/"+importname);
+ } catch (IOException e) {
+ throw new RuntimeException(e);
+ }
+ }
+ };
public static void main() throws Exception {
- main(new String[] { "tests/meta.g", "tests/testcase.g", "tests/regression.tc" });
+ main(new String[] { null, "tests/testcase.g", "tests/regression.tc" });
}
public static void main(String[] s) throws Exception {
s = s2;
}
- System.err.println("parsing " + s[0]);
- Tree<String> res = new CharParser(MetaGrammar.newInstance()).parse(new FileInputStream(s[0])).expand1();
- Union meta = Grammar.create(res, "s");
+ CharParser cp;
+ Tree<String> res;
+
+ InputStream metaGrammarStream =
+ s[0] == null
+ ? RegressionTests.class.getClassLoader().getResourceAsStream("edu/berkeley/sbp/meta/meta.g")
+ : new FileInputStream(s[0]);
+ res = new CharParser(GrammarAST.getMetaGrammar()).parse(metaGrammarStream).expand1();
+ Union meta = GrammarAST.buildFromAST(res, "s", resolver);
+ cp = new CharParser(meta);
+
+ System.err.println("serializing grammar to grammar.ser...");
+ ObjectOutputStream oos = new ObjectOutputStream(new FileOutputStream("grammar.ser"));
+ oos.writeObject(cp);
+ oos.close();
+
+ System.err.println("deserializing grammar from grammar.ser...");
+ ObjectInputStream ois = new ObjectInputStream(new FileInputStream("grammar.ser"));
+ cp = (CharParser)ois.readObject();
+ ois.close();
System.err.println("parsing " + s[1]);
res = new CharParser(meta).parse(new FileInputStream(s[1])).expand1();
- Union testcasegrammar = Grammar.create(res, "s");
+ Union testcasegrammar = GrammarAST.buildFromAST(res, "s", resolver);
if (testcasegrammar==null) return;
CharParser parser = new CharParser(testcasegrammar);
}
System.err.println("expanding...");
- TestCase[] expanded = (TestCase[])new GrammarBuilder("tests/", "").walkChildren(r2.expand1());
+ ArrayList<TestCase> cases = new ArrayList<TestCase>();
+ Tree tt = r2.expand1();
+ for(int i=0; i<tt.size(); i++) {
+ Tree t = tt.child(i);
+ String[] expect = !"ignore output;".equals(t.child(2).head()) ? new String[t.child(2).size()] : null;
+ if (expect != null)
+ for(int j=0; j<t.child(2).size(); j++)
+ expect[j] = stringifyChildren(t.child(2).child(j));
+ cases.add(new TestCase(stringifyChildren(t.child(0)),
+ stringifyChildren(t.child(1)),
+ expect,
+ GrammarAST.buildFromAST(t.child(3), "s", resolver),
+ false,
+ false));
+
+ }
+ TestCase[] expanded = new TestCase[cases.size()];
+ for(int i=0; i<expanded.length; i++)
+ expanded[i] = cases.get(i);
for(TestCase tc : expanded)
tc.execute();
}
}
+ private static String stringifyChildren(Tree t) {
+ StringBuffer sb = new StringBuffer();
+ for(int i=0; i<t.size(); i++) {
+ sb.append(t.child(i).head());
+ sb.append(stringifyChildren(t.child(i)));
+ }
+ return sb.toString();
+ }
+
public static class TestCase {
- private final boolean tib;
private final boolean jav;
public /*final*/ String input;
public final String[] output;
public TestCase(String name, String input, String[] output,
Union grammar, boolean tib, boolean jav) {
- this.tib = tib;
this.name = name;
this.jav = jav;
this.input = input;
- this.output = output==null ? new String[0] : output;
+ this.output = output;
this.grammar = grammar;
}
public String toString() {
String ret = "testcase {\n" + " input \""+input+"\";\n";
- for(String s : output) ret += " output \""+s+"\";\n";
+ if (output != null)
+ for(String s : output) ret += " output \""+s+"\";\n";
ret += grammar +"\n}\n";
return ret;
}
ParseFailed pfe = null;
CharParser parser = new CharParser(grammar);
System.out.print(" "+name+"\r");
- //parser.helpgc = false;
try {
- res = tib
- ? /*new CharParser(grammar).parse(new Tib(input))*/ null
- : parser.parse(new StringReader(input));
- } catch (ParseFailed pf) {
- pfe = pf;
- }
- //ystem.out.println("res=="+res);
+ res = parser.parse(new StringReader(input));
+ } catch (ParseFailed pf) { pfe = pf; }
if (graph) {
FileOutputStream fos = new FileOutputStream("out.dot");
System.out.println(parser);
}
- HashSet<Tree<String>> results = new HashSet<Tree<String>>();
- if (res != null) res.expand(results);
+ if (output==null) {
+ System.out.println("\r\033[32mDONE\033[0m "+name);
+ return true;
+ }
+ Iterable<Tree<String>> results =
+ res==null ? new HashSet<Tree<String>>() : res.expand();
System.out.print("\r");
- if (results == null || (results.size() == 0 && (output!=null && output.length > 0))) {
+ if (results == null || (!results.iterator().hasNext() && (output!=null && output.length > 0))) {
System.out.print("\033[31m");
System.out.print("FAIL ");
System.out.println("\033[0m "+name);
projects / sbp.git / blobdiff