adding support for consistency checking
[IRC.git] / Robust / src / Main / Main.java
1 package Main;
2
3 import java.io.Reader;
4 import java.io.BufferedReader;
5 import java.io.FileReader;
6 import IR.Tree.ParseNode;
7 import IR.Tree.BuildIR;
8 import IR.Tree.SemanticCheck;
9 import IR.Flat.BuildFlat;
10 import IR.Flat.BuildCode;
11 import IR.State;
12 import IR.TypeUtil;
13
14 public class Main {
15
16   public static void main(String args[]) throws Exception {
17       String ClassLibraryPrefix="./ClassLibrary/";
18       State state=new State();
19       
20       for(int i=0;i<args.length;i++) {
21           String option=args[i];
22           if (option.equals("-precise"))
23               IR.Flat.BuildCode.GENERATEPRECISEGC=true;
24           else if (option.equals("-dir"))
25               IR.Flat.BuildCode.PREFIX=args[++i]+"/";
26           else if (option.equals("-classlibrary"))
27               ClassLibraryPrefix=args[++i]+"/";
28           else if (option.equals("-mainclass"))
29               state.main=args[++i];
30           else if (option.equals("-struct"))
31               state.structfile=args[++i];
32           else if (option.equals("-task"))
33               state.TASK=true;
34           else if (option.equals("-help")) {
35               System.out.println("-classlibrary classlibrarydirectory -- directory where classlibrary is located");
36               System.out.println("-dir outputdirectory -- output code in outputdirectory");
37               System.out.println("-struct structfile -- output structure declarations for repair tool");
38               System.out.println("-mainclass -- main function to call");
39               System.out.println("-precise -- use precise garbage collection");
40
41               System.out.println("-help -- print out help");
42               System.exit(0);
43           } else {
44               readSourceFile(state, args[i]);
45           }
46       }
47       
48       readSourceFile(state, ClassLibraryPrefix+"Object.java");
49       readSourceFile(state, ClassLibraryPrefix+"System.java");
50       readSourceFile(state, ClassLibraryPrefix+"String.java");
51       if (state.TASK)      
52           readSourceFile(state, ClassLibraryPrefix+"StartupObject.java");
53
54       BuildIR bir=new BuildIR(state);
55       bir.buildtree();
56       
57       TypeUtil tu=new TypeUtil(state);
58       
59       SemanticCheck sc=new SemanticCheck(state,tu);
60       sc.semanticCheck();
61       tu.createFullTable();
62
63       BuildFlat bf=new BuildFlat(state);
64       bf.buildFlat();
65       
66       BuildCode bc=new BuildCode(state, bf.getMap(), tu);
67       bc.buildCode();
68       System.exit(0);
69   }
70     
71     private static void readSourceFile(State state, String sourcefile) throws Exception {
72         Reader fr = new BufferedReader(new FileReader(sourcefile));
73         Lex.Lexer l = new Lex.Lexer(fr);
74         java_cup.runtime.lr_parser g;
75         g = new Parse.Parser(l);
76         ParseNode p=(ParseNode) g./*debug_*/parse().value;
77         state.addParseNode(p);
78         if (l.numErrors()!=0) {
79             System.out.println("Error parsing Object.java");
80             System.exit(l.numErrors());
81         }
82     }
83 }