X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FRegressionTests.java;h=eae22d132ffe40f87c62242b34550d391818865c;hp=b186b43f3ae7d3c3df1a80dda61d536ab1b204a2;hb=ffb2106e9497f12c4edb173ef561f9333da6f02c;hpb=ac0f7d32be59d02b1f8d48d2b23232adf8871b46

diff --git a/src/edu/berkeley/sbp/misc/RegressionTests.java b/src/edu/berkeley/sbp/misc/RegressionTests.java
index b186b43..eae22d1 100644
--- a/src/edu/berkeley/sbp/misc/RegressionTests.java
+++ b/src/edu/berkeley/sbp/misc/RegressionTests.java
@@ -1,18 +1,31 @@
+// 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.tib.*;
+import edu.berkeley.sbp.meta.*;
 import edu.berkeley.sbp.chr.*;
 import edu.berkeley.sbp.util.*;
-import static edu.berkeley.sbp.misc.Demo.*;
 
 public class RegressionTests {
 
     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[] { null, "tests/testcase.g", "tests/regression.tc" });
+    }
 
     public static void main(String[] s) throws Exception {
         try {
@@ -30,14 +43,27 @@ public class RegressionTests {
                 s = s2;
             }
 
-            System.err.println("parsing " + s[0]);
-            Tree<String> res = new CharParser(Demo.make()).parse(new FileInputStream(s[0])).expand1();
-            Union meta = Demo.make(res, "s");
+            InputStream metaGrammarStream =
+                s[0] == null
+                ? RegressionTests.class.getClassLoader().getResourceAsStream("edu/berkeley/sbp/meta/meta.g")
+                : new FileInputStream(s[0]);
+            Tree<String> res = new CharParser(GrammarAST.getMetaGrammar()).parse(metaGrammarStream).expand1();
+            Union meta = GrammarAST.buildFromAST(res, "s", resolver);
+            CharParser 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]);
-            SequenceInputStream sis = new SequenceInputStream(new FileInputStream(s[0]), new FileInputStream(s[1]));
-            res = new CharParser(meta).parse(sis).expand1();
+            res = new CharParser(meta).parse(new FileInputStream(s[1])).expand1();
 
-            Union testcasegrammar = Demo.make(res, "ts", new TestCaseMaker());
+            Union testcasegrammar = GrammarAST.buildFromAST(res, "s", resolver);
             if (testcasegrammar==null) return;
             CharParser parser = new CharParser(testcasegrammar);
 
@@ -58,25 +84,26 @@ public class RegressionTests {
             }
             System.err.println("expanding...");
 
-            Tree t = r2.expand1();
-            TestCase[] expanded = (TestCase[])((Demo.Reducer)t.head()).reduce(t);
-            System.err.println("executing...");
-            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;
-                }
-                */
+            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 = new String[t.child(2).size()];
+                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();
 
         } catch (Throwable t) {
             System.err.println("\n\nexception thrown, class == " + t.getClass().getName());
@@ -87,46 +114,25 @@ public class RegressionTests {
         }
     }
 
-    public static class TestCaseMaker extends ReflectiveMeta {
-        public TestCaseMaker() {
-            super(TestCaseMakerHelper.class, new Class[] {
-                     MG.Grammar.class,
-                     MG.NonTerminal.class,
-                     MG.AnonUn.class,
-                     MG.Range.class,
-                     MG.El.class,
-                     MG.Seq.class,
-                     MG.NonTerminalReference.class,
-                     MG.StringLiteral.class,
-                     MG.XTree.class,
-                     MG.CharClass.class
-            });
-        }
-        public static class TestCaseMakerHelper extends MG {
-            public static @tag("grammaro") @raw Object grammaro(Tree t) {
-                System.out.println("working on " + t);
-                return Demo.make(t.child(0), "s", new ReflectiveMetaPlain());
-            }
-            //public static @tag("tca")           Object tca(Object[] o) throws IOException {
-            //return new TestCase((String)o[0], (String[])o[1], (Union)o[2], false, false); }
-            public static @tag("tca")           Object tca(String input, String[] output, Union u) throws IOException {
-                return new TestCase(input, output, u, false, false); }
-            public static @tag("tcb")           Object tca(String input, Union u) throws IOException {
-                return new TestCase(input, new String[0], u, false, false); }
-            public static @tag("ts") TestCase[] go(TestCase[] cases) { return cases; }
-            public static @tag("o") Object o(Object[] s) { return s; }
+    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 final Union grammar;
+        public final String name;
 
-        public TestCase(String input, String[] output, Union grammar, boolean tib, boolean jav) throws IOException {
-            this.tib = tib;
+        public TestCase(String name, String input, String[] output,
+                        Union grammar, boolean tib, boolean jav) {
+            this.name = name;
             this.jav = jav;
             this.input = input;
             this.output = output==null ? new String[0] : output;
@@ -142,15 +148,10 @@ public class RegressionTests {
             Forest<String> res = null;
             ParseFailed pfe = null;
             CharParser parser = new CharParser(grammar);
-            //parser.helpgc = false;
+            System.out.print("     "+name+"\r");
             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");
@@ -162,12 +163,15 @@ public class RegressionTests {
                 p.close();
                 System.out.println(parser);
             }
-            Collection<Tree<String>> results = res==null ? new HashSet<Tree<String>>() : res.expand(false);
+
+            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.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");
@@ -193,37 +197,22 @@ public class RegressionTests {
                 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 Demo.make(tree, "s");
-                else if ("output".equals(tree.head())) return MetaGrammar.string(tree.children());
-                else if ("input".equals(tree.head())) return MetaGrammar.string(tree.children());
-                else if ("testcase".equals(tree.head())) {
-                    String input = MetaGrammar.string(tree.child(0));
-                    String[] output = tree.numChildren()>2 ? ((String[])walk(tree, 1)) : new String[0];
-                    Union grammar = Demo.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 = "";
+        if (tree.head()!=null) ret += tree.head();
+        ret += string(tree.children());
+        return ret;
+    }
+    public static String string(Iterable<Tree<String>> children) {
+        String ret = "";
+        for(Tree<String> t : children) ret += string(t);
+        return ret;
+    }
 }
-