From 27dacaabd74e7b6972b1c64d77991180a4959b6c Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 19 Apr 2011 00:27:43 +0000
Subject: [PATCH] add enw file

---
 Robust/src/IR/Tree/JavaBuilder.java | 68 +++++++++++++++++++++++++++++
 1 file changed, 68 insertions(+)
 create mode 100644 Robust/src/IR/Tree/JavaBuilder.java

diff --git a/Robust/src/IR/Tree/JavaBuilder.java b/Robust/src/IR/Tree/JavaBuilder.java
new file mode 100644
index 00000000..e11a677e
--- /dev/null
+++ b/Robust/src/IR/Tree/JavaBuilder.java
@@ -0,0 +1,68 @@
+package IR.Tree;
+
+import IR.*;
+
+public class JavaBuilder {
+  State state;
+
+  public JavaBuilder(State state) {
+    this.state=state;
+  }
+
+
+  public void build(Vector<String> sourcefiles) {
+    BuildIR bir=new BuildIR(state);
+    TypeUtil tu=new TypeUtil(state, bir);
+
+    for(int i=0;i<sourcefiles.size();i++)
+      loadClass(bir, sourcefiles.get(i));
+
+    
+
+    BuildFlat bf=new BuildFlat(state,tu);
+    bf.buildFlat();
+
+  }
+
+  public static ParseNode readSourceFile(State state, String sourcefile) {
+    try {
+      Reader fr= new BufferedReader(new FileReader(sourcefile));
+      Lex.Lexer l = new Lex.Lexer(fr);
+      java_cup.runtime.lr_parser g;
+      g = new Parse.Parser(l);
+      ParseNode p=null;
+      try {
+	p=(ParseNode) g./*debug_*/parse().value;
+      } catch (Exception e) {
+	System.err.println("Error parsing file:"+sourcefile);
+	e.printStackTrace();
+	System.exit(-1);
+      }
+      state.addParseNode(p);
+      if (l.numErrors()!=0) {
+	System.out.println("Error parsing "+sourcefile);
+	System.exit(l.numErrors());
+      }
+      state.lines+=l.line_num;
+      return p;
+
+    } catch (Exception e) {
+      throw new Error(e);
+    }
+  }
+
+  public static void loadClass(BuildIR bir, String sourcefile) {
+    try {
+      ParseNode pn=readSourceFile(state, sourcefile);
+      bir.buildtree(pn, null,sourcefile);
+    } catch (Exception e) {
+      System.out.println("Error in sourcefile:"+sourcefile);
+      e.printStackTrace();
+      System.exit(-1);
+    } catch (Error e) {
+      System.out.println("Error in sourcefile:"+sourcefile);
+      e.printStackTrace();
+      System.exit(-1);
+    }
+  }
+}
\ No newline at end of file
-- 
2.34.1