X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2Fmisc%2FHaskellHelper.java;h=e54444125227b5e29c6a189feddfff14415c7572;hp=d4f43a73cec6b83e9708ab22f6894f93d8303354;hb=16460a4ebf976fddbcb4dd79f1fa0b010d61602b;hpb=c042bb0dcce5d64f09b2788b2dfb722145162d2b

diff --git a/src/edu/berkeley/sbp/misc/HaskellHelper.java b/src/edu/berkeley/sbp/misc/HaskellHelper.java
index d4f43a7..e544441 100644
--- a/src/edu/berkeley/sbp/misc/HaskellHelper.java
+++ b/src/edu/berkeley/sbp/misc/HaskellHelper.java
@@ -6,24 +6,70 @@ import edu.berkeley.sbp.*;
 import edu.berkeley.sbp.misc.*;
 import edu.berkeley.sbp.meta.*;
 import edu.berkeley.sbp.chr.*;
+import edu.berkeley.sbp.tib.*;
 import java.io.*;
 
 public class HaskellHelper {
 
-    public static Tree main(String grammarFile, String targetFile) throws Throwable {
+    public static void main(String[] argv) throws Throwable {
+        help(argv[0], argv[1]);
+    }
+    public static boolean isNull(Object o) { return o==null; }
+    public static Tree help0(String grammarFile, String targetFile) throws Throwable {
+        try {
+            Tree<String> res = new CharParser(MetaGrammar.newInstance()).parse(new FileInputStream(grammarFile)).expand1();
+            Union meta = Grammar.create(res, "s" /*,
+                                        new Grammar.Bindings() {
+                                            public Sequence createSequence(Production p) {
+                                                Element[] els = p.elements;
+                                                if (p.tag != null)
+                                                    return Sequence.create(p.tag, p.elements, p.drops, false);
+                                                int idx = -1;
+                                                for(int i=0; i<els.length; i++)
+                                                    if (!p.drops[i])
+                                                        if (idx==-1) idx = i;
+                                                        else return Sequence.create(p.nonTerminal, p.elements, p.drops, false);
+                                                if (idx != -1) return Sequence.create(els, idx);
+                                                else           return Sequence.create(els, "");
+                                            }
+                                            
+                                            }*/);
+            System.out.println();
+            System.out.println();
+            CharInput input = new CharInput(new FileInputStream(targetFile), "", true);
+            //Input input = new Tib(new FileInputStream(targetFile));
+            Tree ret = new CharParser(meta).parse(input).expand1();
+            if (ret==null) throw new NullPointerException("CharParser returned null");
+            return ret;
+        } catch (Throwable e) {
+            e.printStackTrace();
+            throw e;
+        }
+    }
+    public static Tree help(String grammarFile, String targetFile) throws Throwable {
         try {
             Tree<String> res = new CharParser(MetaGrammar.newInstance()).parse(new FileInputStream(grammarFile)).expand1();
-            Union meta = Grammar.create(res, "s",
+            Union meta = Grammar.create(res, "s" /*,
                                         new Grammar.Bindings() {
-                                            /*
                                             public Sequence createSequence(Production p) {
-                                                Sequence ret = super.createSequence(p);
-                                                if (ret != null) return ret;
-                                                return Sequence.create(p.nonTerminal, p.elements, p.drops, false);
+                                                Element[] els = p.elements;
+                                                if (p.tag != null && !"".equals(p.tag))
+                                                    return Sequence.create(p.tag, p.elements, p.drops, false);
+                                                int idx = -1;
+                                                for(int i=0; i<els.length; i++)
+                                                    if (!p.drops[i])
+                                                        if (idx==-1) idx = i;
+                                                        else return Sequence.create(p.nonTerminal, p.elements, p.drops, false);
+                                                if (idx != -1) return Sequence.create(els, idx);
+                                                else           return Sequence.create(els, "");
                                             }
-                                            */
-                                        });
-            Tree ret = new CharParser(meta).parse(new FileInputStream(targetFile)).expand1();
+                                            
+                                            }*/);
+            System.out.println();
+            System.out.println();
+            //CharInput input = new CharInput(new FileInputStream(targetFile), "", true);
+            Input input = new Tib(new FileInputStream(targetFile));
+            Tree ret = new CharParser(meta).parse(input).expand1();
             if (ret==null) throw new NullPointerException("CharParser returned null");
             return ret;
         } catch (Throwable e) {