+// Copyright 2006 all rights reserved; see LICENSE file for BSD-style license
+
package edu.berkeley.sbp.misc;
import java.io.*;
import java.util.*;
import edu.berkeley.sbp.*;
import edu.berkeley.sbp.misc.*;
import edu.berkeley.sbp.meta.*;
-import edu.berkeley.sbp.bind.*;
import edu.berkeley.sbp.tib.*;
import edu.berkeley.sbp.chr.*;
import edu.berkeley.sbp.util.*;
-import static edu.berkeley.sbp.meta.MetaGrammar.*;
public class RegressionTests {
public static boolean yes = false;
public static boolean graph = false;
+ public static void main() throws Exception {
+ main(new String[] { "tests/meta.g", "tests/testcase.g", "tests/regression.tc" });
+ }
+
public static void main(String[] s) throws Exception {
try {
boolean profile = false;
}
System.err.println("parsing " + s[0]);
- Tree<String> res = new CharParser(MetaGrammar.make()).parse(new FileInputStream(s[0])).expand1();
- Union meta = MetaGrammar.make(res, "s");
+ Tree<String> res = new CharParser(MetaGrammar.newInstance()).parse(new FileInputStream(s[0])).expand1();
+ Union meta = Grammar.create(res, "s");
System.err.println("parsing " + s[1]);
- //SequenceInputStream sis = new SequenceInputStream(new FileInputStream(s[0]), new FileInputStream(s[1]));
res = new CharParser(meta).parse(new FileInputStream(s[1])).expand1();
- Union testcasegrammar = MetaGrammar.make(res, "ts", new TestCaseMaker());
+ Union testcasegrammar = Grammar.create(res, "s");
if (testcasegrammar==null) return;
CharParser parser = new CharParser(testcasegrammar);
}
System.err.println("expanding...");
- Tree t = r2.expand1();
- TestCase[] expanded = (TestCase[])((Functor)t.head()).invoke(t);
- System.err.println("executing...");
- for(TestCase tc : expanded) {
+ TestCase[] expanded = (TestCase[])new GrammarBuilder("tests/", "").walkChildren(r2.expand1());
+ for(TestCase tc : expanded)
tc.execute();
- /*
- String st = "a";
- for(int i=0; i<12; i++) {
- //System.out.println("length " + st.length());
- tc.input = st;
- long nowy = System.currentTimeMillis();
- GSS.shifts = 0;
- GSS.reductions = 0;
- tc.execute();
- System.out.println("length " + st.length() + " => " + ((System.currentTimeMillis()-nowy)/1000.0) + " " + GSS.shifts + " " + GSS.reductions);
- st = st+st;
- }
- */
- }
} catch (Throwable t) {
System.err.println("\n\nexception thrown, class == " + t.getClass().getName());
}
}
- public static class TestCaseMaker extends AnnotationGrammarBindingResolver {
- public TestCaseMaker() {
- super(TestCaseMakerHelper.class);
- add(MetaGrammarBindings.class, "grammar");
- //add(MetaGrammarBindings.class, "");
- }
- public static class TestCaseMakerHelper {
- public static @bind.as("grammaro") @bind.raw Object grammaro(Iterable<Tree> t) {
- return MetaGrammar.make(t.iterator().next(), "s", new TaggingGrammarBindingResolver());
- }
- //public static @bind.as("tca") Object tca(Object[] o) throws IOException {
- //return new TestCase((String)o[0], (String[])o[1], (Union)o[2], false, false); }
- public static @bind.as("tca") Object tca(String input, String[] output, Union u) throws IOException {
- return new TestCase(input, output, u, false, false); }
- public static @bind.as("tcb") Object tca(String input, Union u) throws IOException {
- return new TestCase(input, new String[0], u, false, false); }
- public static @bind.as("ts") TestCase[] go(TestCase[] cases) { return cases; }
- public static @bind.as("o") Object o(Object[] s) { return s; }
- }
- }
-
public static class TestCase {
private final boolean tib;
private final boolean jav;
public /*final*/ String input;
public final String[] output;
public final Union grammar;
+ public final String name;
- public TestCase(String input, String[] output, Union grammar, boolean tib, boolean jav) throws IOException {
+ 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;
Forest<String> res = null;
ParseFailed pfe = null;
CharParser parser = new CharParser(grammar);
+ System.out.print(" "+name+"\r");
//parser.helpgc = false;
try {
res = tib
p.close();
System.out.println(parser);
}
- Collection<Tree<String>> results = res==null ? new HashSet<Tree<String>>() : res.expand(false);
+
+ HashSet<Tree<String>> results = new HashSet<Tree<String>>();
+ if (res != null) res.expand(results);
+
System.out.print("\r");
if (results == null || (results.size() == 0 && (output!=null && output.length > 0))) {
System.out.print("\033[31m");
- System.out.println("PARSE FAILED");
- System.out.print("\033[0m");
+ System.out.print("FAIL ");
+ System.out.println("\033[0m "+name);
if (pfe != null) pfe.printStackTrace();
} else {
System.out.print("\r \r");
System.out.println("\033[0m");
return true;
}
- System.out.println("\r\033[32mPASS\033[0m ");
+ System.out.println("\r\033[32mPASS\033[0m "+name);
return false;
}
}
- public static class TestCaseBuilder extends StringWalker {
- public Object walk(Tree<String> tree) {
- try {
- if ("grammaro".equals(tree.head())) return MetaGrammar.make(tree, "s");
- else if ("output".equals(tree.head())) return string(tree.children());
- else if ("input".equals(tree.head())) return string(tree.children());
- else if ("testcase".equals(tree.head())) {
- String input = string(tree.child(0));
- String[] output = tree.numChildren()>2 ? ((String[])walk(tree, 1)) : new String[0];
- Union grammar = MetaGrammar.make(tree.child(tree.numChildren()-1), "s");
- TestCase tc = new TestCase(input, output, grammar, false, false);
- return tc;
- } else if ("ts".equals(tree.head())) return walk(tree, 0);
- else if (tree.head() == null) {
- Object[] ret = new Object[tree.numChildren()];
- for(int i=0; i<ret.length; i++)
- ret[i] = walk(tree.child(i));
- return Reflection.lub(ret);
- }
- return super.walk(tree);
- } catch (Exception e) {
- throw new Error(e);
- }
- }
- }
private static String pad(int i,String s) { return s.length() >= i ? s : pad(i-1,s)+" "; }
public static String string(Tree<String> tree) {
String ret = "";
projects / sbp.git / blobdiff