start of new file
[IRC.git] / Robust / src / IR / Tree / BuildIR.java
index 68bc9acc46031d7737b4342eca7a37091b44a8c0..3c9847d0729cf0c575e26ec9d75df633876ff636 100644 (file)
@@ -1,6 +1,7 @@
 package IR.Tree;
 import IR.*;
-import java.util.Vector;
+import java.util.*;
+
 
 public class BuildIR {
     State state;
@@ -8,14 +9,34 @@ public class BuildIR {
        this.state=state;
     }
     public void buildtree() {
-       ParseNode pn=state.parsetree;
-       FileNode fn=parseFile(pn);
-       System.out.println(fn.printNode(0));
+       for(Iterator it=state.parsetrees.iterator();it.hasNext();) {
+           ParseNode pn=(ParseNode)it.next();
+           parseFile(pn);
+       }
     }
 
     /** Parse the classes in this file */
-    public FileNode parseFile(ParseNode pn) {
-       FileNode fn=new FileNode();
+    public void parseFile(ParseNode pn) {
+       NameDescriptor packages;
+       Vector singleimports=new Vector();
+       Vector multiimports=new Vector();
+
+       ParseNode ipn=pn.getChild("imports").getChild("import_decls_list");
+       if (ipn!=null) {
+           ParseNodeVector pnv=ipn.getChildren();
+           for(int i=0;i<pnv.size();i++) {
+               ParseNode pnimport=pnv.elementAt(i);
+               NameDescriptor nd=parseName(pnimport.getChild("name"));
+               if (isNode(pnimport,"import_single"))
+                   singleimports.add(nd);
+               else
+                   multiimports.add(nd);
+           }
+       }
+       ParseNode ppn=pn.getChild("packages").getChild("package");
+       if (ppn!=null) {
+           packages=parseName(pn.getChild("name"));
+       }
        ParseNode tpn=pn.getChild("type_declaration_list");
        if (tpn!=null) {
            ParseNodeVector pnv=tpn.getChildren();
@@ -23,27 +44,196 @@ public class BuildIR {
                ParseNode type_pn=pnv.elementAt(i);
                if (isEmpty(type_pn)) /* Skip the semicolon */
                    continue;
-               ClassNode cn=parseTypeDecl(type_pn);
-               fn.addClass(cn);
+               if (isNode(type_pn,"class_declaration")) {
+                   ClassDescriptor cn=parseTypeDecl(type_pn);
+                   state.addClass(cn);
+               } else if (isNode(type_pn,"task_declaration")) {
+                   TaskDescriptor td=parseTaskDecl(type_pn);
+                   state.addTask(td);
+               } else {
+                   throw new Error(type_pn.getLabel());
+               }
+           }
+       }
+    }
+
+    public TaskDescriptor parseTaskDecl(ParseNode pn) {
+       TaskDescriptor td=new TaskDescriptor(pn.getChild("name").getTerminal());
+       ParseNode bodyn=pn.getChild("body");
+       BlockNode bn=parseBlock(bodyn);
+       parseParameterList(td, pn);
+       state.addTreeCode(td,bn);
+       if (pn.getChild("flag_effects_list")!=null)
+           td.addFlagEffects(parseFlags(pn.getChild("flag_effects_list")));
+       return td;
+    }
+
+    public Vector parseFlags(ParseNode pn) {
+       Vector vfe=new Vector();
+       ParseNodeVector pnv=pn.getChildren();
+       for(int i=0;i<pnv.size();i++) {
+           ParseNode fn=pnv.elementAt(i);
+           FlagEffects fe=parseFlagEffects(fn);
+           vfe.add(fe);
+       }
+       return vfe;
+    }
+
+    public FlagEffects parseFlagEffects(ParseNode pn) {
+       if (isNode(pn,"flag_effect")) {
+           String flagname=pn.getChild("name").getTerminal();
+           FlagEffects fe=new FlagEffects(flagname);
+           if (pn.getChild("flag_list")!=null)
+               parseFlagEffect(fe, pn.getChild("flag_list"));
+           if (pn.getChild("tag_list")!=null)
+               parseTagEffect(fe, pn.getChild("tag_list"));
+           return fe;
+       } else throw new Error();
+    }
+    
+    public void parseTagEffect(FlagEffects fes, ParseNode pn) {
+       ParseNodeVector pnv=pn.getChildren();
+       for(int i=0;i<pnv.size();i++) {
+           ParseNode pn2=pnv.elementAt(i);
+           boolean status=true;
+           if (isNode(pn2,"not")) {
+               status=false;
+               pn2=pn2.getChild("name");
            }
+           String name=pn2.getTerminal();
+           fes.addTagEffect(new TagEffect(name,status));
        }
-       return fn;
     }
 
-    public ClassNode parseTypeDecl(ParseNode pn) {
-       if (isNode(pn, "class_declaration")) {
-           ClassNode cn=new ClassNode();
-           cn.setName(pn.getChild("name").getTerminal());
-           if (!isEmpty(pn.getChild("super").getTerminal())) {
-               /* parse superclass name */
+    public void parseFlagEffect(FlagEffects fes, ParseNode pn) {
+       ParseNodeVector pnv=pn.getChildren();
+       for(int i=0;i<pnv.size();i++) {
+           ParseNode pn2=pnv.elementAt(i);
+           boolean status=true;
+           if (isNode(pn2,"not")) {
+               status=false;
+               pn2=pn2.getChild("name");
            }
-           cn.setModifiers(parseModifiersList(pn.getChild("modifiers")));
-           parseClassBody(cn, pn.getChild("classbody"));
-           return cn;
+           String name=pn2.getTerminal();
+           fes.addEffect(new FlagEffect(name,status));
+       }
+    }
+
+    public FlagExpressionNode parseFlagExpression(ParseNode pn) {
+       if (isNode(pn,"or")) {
+           ParseNodeVector pnv=pn.getChildren();
+           ParseNode left=pnv.elementAt(0);
+           ParseNode right=pnv.elementAt(1);
+           return new FlagOpNode(parseFlagExpression(left), parseFlagExpression(right), new Operation(Operation.LOGIC_OR));
+       } else if (isNode(pn,"and")) {
+           ParseNodeVector pnv=pn.getChildren();
+           ParseNode left=pnv.elementAt(0);
+           ParseNode right=pnv.elementAt(1);
+           return new FlagOpNode(parseFlagExpression(left), parseFlagExpression(right), new Operation(Operation.LOGIC_AND));
+       } else if (isNode(pn, "not")) {
+           ParseNodeVector pnv=pn.getChildren();
+           ParseNode left=pnv.elementAt(0);
+           return new FlagOpNode(parseFlagExpression(left), new Operation(Operation.LOGIC_NOT));           
+
+       } else if (isNode(pn,"name")) {
+           return new FlagNode(pn.getTerminal());
+       } else {
+           throw new Error();
+       }
+    }
+
+    public Vector parseChecks(ParseNode pn) {
+       Vector ccs=new Vector();
+       ParseNodeVector pnv=pn.getChildren();
+       for(int i=0;i<pnv.size();i++) {
+           ParseNode fn=pnv.elementAt(i);
+           ConstraintCheck cc=parseConstraintCheck(fn);
+           ccs.add(cc);
+       }
+       return ccs;
+    }
+
+    public ConstraintCheck parseConstraintCheck(ParseNode pn) {
+       if (isNode(pn,"cons_check")) {
+           String specname=pn.getChild("name").getChild("identifier").getTerminal();
+           Vector[] args=parseConsArgumentList(pn);
+           ConstraintCheck cc=new ConstraintCheck(specname);
+           for(int i=0;i<args[0].size();i++) {
+               cc.addVariable((String)args[0].get(i));
+               cc.addArgument((ExpressionNode)args[1].get(i));
+           }
+           return cc;
        } else throw new Error();
     }
 
-    private void parseClassBody(ClassNode cn, ParseNode pn) {
+    public void parseParameterList(TaskDescriptor td, ParseNode pn) {
+       
+       boolean optional;
+       ParseNode paramlist=pn.getChild("task_parameter_list");
+       if (paramlist==null)
+           return;
+       ParseNodeVector pnv=paramlist.getChildren();
+       for(int i=0;i<pnv.size();i++) {
+           ParseNode paramn=pnv.elementAt(i);
+           if(paramn.getChild("optional")!=null){
+               optional = true;
+               paramn = paramn.getChild("optional").getFirstChild();
+               System.out.println("OPTIONAL FOUND!!!!!!!");
+           }
+           else { optional = false;
+           System.out.println("NOT OPTIONAL");
+           }
+
+           TypeDescriptor type=parseTypeDescriptor(paramn);
+           
+           String paramname=paramn.getChild("single").getTerminal();
+           FlagExpressionNode fen=null;
+           if (paramn.getChild("flag")!=null)
+               fen=parseFlagExpression(paramn.getChild("flag").getFirstChild());
+           
+           ParseNode tagnode=paramn.getChild("tag");
+           
+           TagExpressionList tel=null;
+           if (tagnode!=null) {
+               tel=parseTagExpressionList(tagnode);
+           }
+           
+           td.addParameter(type,paramname,fen, tel, optional);
+       }
+    }
+    
+    public TagExpressionList parseTagExpressionList(ParseNode pn) {
+       //BUG FIX: change pn.getChildren() to pn.getChild("tag_expression_list").getChildren()
+       //To test, feed in any input program that uses tags
+       ParseNodeVector pnv=pn.getChild("tag_expression_list").getChildren();
+       TagExpressionList tel=new TagExpressionList();
+       for(int i=0;i<pnv.size();i++) {
+           ParseNode tn=pnv.elementAt(i);
+           String type=tn.getChild("type").getTerminal();
+           String name=tn.getChild("single").getTerminal();
+           tel.addTag(type, name);
+       }
+       return tel;
+    }
+
+    public ClassDescriptor parseTypeDecl(ParseNode pn) {
+       ClassDescriptor cn=new ClassDescriptor(pn.getChild("name").getTerminal());
+       if (!isEmpty(pn.getChild("super").getTerminal())) {
+           /* parse superclass name */
+           ParseNode snn=pn.getChild("super").getChild("type").getChild("class").getChild("name");
+           NameDescriptor nd=parseName(snn);
+           cn.setSuper(nd.toString());
+       } else {
+           if (!(cn.getSymbol().equals(TypeUtil.ObjectClass)||
+                 cn.getSymbol().equals(TypeUtil.TagClass)))
+               cn.setSuper(TypeUtil.ObjectClass);
+       }
+       cn.setModifiers(parseModifiersList(pn.getChild("modifiers")));
+       parseClassBody(cn, pn.getChild("classbody"));
+       return cn;
+    }
+
+    private void parseClassBody(ClassDescriptor cn, ParseNode pn) {
        ParseNode decls=pn.getChild("class_body_declaration_list");
        if (decls!=null) {
            ParseNodeVector pnv=decls.getChildren();
@@ -52,13 +242,14 @@ public class BuildIR {
                if (isNode(decl,"member")) {
                    parseClassMember(cn,decl);
                } else if (isNode(decl,"constructor")) {
+                   parseConstructorDecl(cn,decl.getChild("constructor_declaration"));
                } else if (isNode(decl,"block")) {
                } else throw new Error();
            }
        }
     }
 
-    private void parseClassMember(ClassNode cn, ParseNode pn) {
+    private void parseClassMember(ClassDescriptor cn, ParseNode pn) {
        ParseNode fieldnode=pn.getChild("field");
 
        if (fieldnode!=null) {
@@ -70,11 +261,17 @@ public class BuildIR {
            parseMethodDecl(cn,methodnode.getChild("method_declaration"));
            return;
        }
+       ParseNode flagnode=pn.getChild("flag");
+       if (flagnode!=null) {
+           parseFlagDecl(cn, flagnode.getChild("flag_declaration"));
+           return;
+       }
        throw new Error();
     }
 
     private TypeDescriptor parseTypeDescriptor(ParseNode pn) {
        ParseNode tn=pn.getChild("type");
+
        String type_st=tn.getTerminal();
        if(type_st.equals("byte")) {
            return state.getTypeDescriptor(TypeDescriptor.BYTE);
@@ -95,6 +292,13 @@ public class BuildIR {
        } else if(type_st.equals("class")) {
            ParseNode nn=tn.getChild("class");
            return state.getTypeDescriptor(parseName(nn.getChild("name")));
+       } else if(type_st.equals("array")) {
+           ParseNode nn=tn.getChild("array");
+           TypeDescriptor td=parseTypeDescriptor(nn.getChild("basetype"));
+           Integer numdims=(Integer)nn.getChild("dims").getLiteral();
+           for(int i=0;i<numdims.intValue();i++)
+               td=td.makeArray(state);
+           return td;
        } else {
            throw new Error();
        }
@@ -109,7 +313,15 @@ public class BuildIR {
        
     }
 
-    private void parseFieldDecl(ClassNode cn,ParseNode pn) {
+    private void parseFlagDecl(ClassDescriptor cn,ParseNode pn) {
+       String name=pn.getChild("name").getTerminal();
+       FlagDescriptor flag=new FlagDescriptor(name);
+       if (pn.getChild("external")!=null)
+           flag.makeExternal();
+       cn.addFlag(flag);
+    }
+
+    private void parseFieldDecl(ClassDescriptor cn,ParseNode pn) {
        ParseNode mn=pn.getChild("modifier");
        Modifiers m=parseModifiersList(mn);
 
@@ -117,18 +329,25 @@ public class BuildIR {
        TypeDescriptor t=parseTypeDescriptor(tn);
        ParseNode vn=pn.getChild("variables").getChild("variable_declarators_list");
        ParseNodeVector pnv=vn.getChildren();
+       boolean isglobal=pn.getChild("global")!=null;
+
        for(int i=0;i<pnv.size();i++) {
            ParseNode vardecl=pnv.elementAt(i);
-           String identifier=vardecl.getChild("single").getTerminal();
+           ParseNode tmp=vardecl;
+           TypeDescriptor arrayt=t;
+           while (tmp.getChild("single")==null) {
+               arrayt=arrayt.makeArray(state);
+               tmp=tmp.getChild("array");
+           }
+           String identifier=tmp.getChild("single").getTerminal();
            ParseNode epn=vardecl.getChild("initializer");
-           
+
            ExpressionNode en=null;
            if (epn!=null)
                en=parseExpression(epn.getFirstChild());
   
-           cn.addField(new FieldDescriptor(m,t,identifier, en));
+           cn.addField(new FieldDescriptor(m, arrayt, identifier, en, isglobal));
        }
-       
     }
 
     private ExpressionNode parseExpression(ParseNode pn) {
@@ -141,6 +360,7 @@ public class BuildIR {
                 isNode(pn,"comp_lte")||isNode(pn,"comp_gt")||
                 isNode(pn,"comp_gte")||isNode(pn,"leftshift")||
                 isNode(pn,"rightshift")||isNode(pn,"sub")||
+                isNode(pn,"urightshift")||isNode(pn,"sub")||
                 isNode(pn,"add")||isNode(pn,"mult")||
                 isNode(pn,"div")||isNode(pn,"mod")) {
            ParseNodeVector pnv=pn.getChildren();
@@ -150,13 +370,23 @@ public class BuildIR {
            return new OpNode(parseExpression(left),parseExpression(right),op);
        } else if (isNode(pn,"unaryplus")||
                   isNode(pn,"unaryminus")||
-                  isNode(pn,"postinc")||
-                  isNode(pn,"postdec")||
-                  isNode(pn,"preinc")||
-                  isNode(pn,"predec")) {
+                  isNode(pn,"not")||
+                  isNode(pn,"comp")) {
            ParseNode left=pn.getFirstChild();
            Operation op=new Operation(pn.getLabel());
            return new OpNode(parseExpression(left),op);
+       } else if (isNode(pn,"postinc")||
+                  isNode(pn,"postdec")) {
+           ParseNode left=pn.getFirstChild();
+           AssignOperation op=new AssignOperation(pn.getLabel());
+           return new AssignmentNode(parseExpression(left),null,op);
+
+       } else if (isNode(pn,"preinc")||
+                  isNode(pn,"predec")) {
+           ParseNode left=pn.getFirstChild();
+           AssignOperation op=isNode(pn,"preinc")?new AssignOperation(AssignOperation.PLUSEQ):new AssignOperation(AssignOperation.MINUSEQ);
+           return new AssignmentNode(parseExpression(left),
+                                     new LiteralNode("integer",new Integer(1)),op);
        } else if (isNode(pn,"literal")) {
            String literaltype=pn.getTerminal();
            ParseNode literalnode=pn.getChild(literaltype);
@@ -165,7 +395,34 @@ public class BuildIR {
        } else if (isNode(pn,"createobject")) {
            TypeDescriptor td=parseTypeDescriptor(pn);
            Vector args=parseArgumentList(pn);
-           CreateObjectNode con=new CreateObjectNode(td);
+           boolean isglobal=pn.getChild("global")!=null;
+           CreateObjectNode con=new CreateObjectNode(td, isglobal);
+           for(int i=0;i<args.size();i++) {
+               con.addArgument((ExpressionNode)args.get(i));
+           }
+           /* Could have flag set or tag added here */
+           if (pn.getChild("flag_list")!=null||pn.getChild("tag_list")!=null) {
+               FlagEffects fe=new FlagEffects(null);
+               if (pn.getChild("flag_list")!=null)
+                   parseFlagEffect(fe, pn.getChild("flag_list"));
+
+               if (pn.getChild("tag_list")!=null)
+                   parseTagEffect(fe, pn.getChild("tag_list"));
+               con.addFlagEffects(fe);
+           }
+           
+           return con;
+       } else if (isNode(pn,"createarray")) {
+           //System.out.println(pn.PPrint(3,true));
+           boolean isglobal=pn.getChild("global")!=null;
+           TypeDescriptor td=parseTypeDescriptor(pn);
+           Vector args=parseDimExprs(pn);
+           int num=0;
+           if (pn.getChild("dims_opt").getLiteral()!=null)
+               num=((Integer)pn.getChild("dims_opt").getLiteral()).intValue();
+           for(int i=0;i<(args.size()+num);i++)
+               td=td.makeArray(state);
+           CreateObjectNode con=new CreateObjectNode(td, isglobal);
            for(int i=0;i<args.size();i++) {
                con.addArgument((ExpressionNode)args.get(i));
            }
@@ -176,6 +433,9 @@ public class BuildIR {
        } else if (isNode(pn,"this")) {
            NameDescriptor nd=new NameDescriptor("this");
            return new NameNode(nd);
+       } else if (isNode(pn,"isavailable")) {
+           NameDescriptor nd=new NameDescriptor(pn.getTerminal());
+           return new OpNode(new NameNode(nd),null,new Operation(Operation.ISAVAILABLE));
        } else if (isNode(pn,"methodinvoke1")) {
            NameDescriptor nd=parseName(pn.getChild("name"));
            Vector args=parseArgumentList(pn);
@@ -194,9 +454,12 @@ public class BuildIR {
            }
            return min;
        } else if (isNode(pn,"fieldaccess")) { 
-           ExpressionNode en=parseExpression(pn.getChild("base").getFirstChild());
-           String fieldname=pn.getChild("field").getTerminal();
+           ExpressionNode en=parseExpression(pn.getChild("base").getFirstChild());         String fieldname=pn.getChild("field").getTerminal();
            return new FieldAccessNode(en,fieldname);
+       } else if (isNode(pn,"arrayaccess")) { 
+           ExpressionNode en=parseExpression(pn.getChild("base").getFirstChild());
+           ExpressionNode index=parseExpression(pn.getChild("index").getFirstChild());
+           return new ArrayAccessNode(en,index);
        } else if (isNode(pn,"cast1")) { 
            return new CastNode(parseTypeDescriptor(pn.getChild("type")),parseExpression(pn.getChild("exp").getFirstChild()));
        } else if (isNode(pn,"cast2")) { 
@@ -208,6 +471,18 @@ public class BuildIR {
        }
     }
 
+    private Vector parseDimExprs(ParseNode pn) {
+       Vector arglist=new Vector();
+       ParseNode an=pn.getChild("dim_exprs");
+       if (an==null)   /* No argument list */
+           return arglist;
+       ParseNodeVector anv=an.getChildren();
+       for(int i=0;i<anv.size();i++) {
+           arglist.add(parseExpression(anv.elementAt(i)));
+       }
+       return arglist;
+    }
+
     private Vector parseArgumentList(ParseNode pn) {
        Vector arglist=new Vector();
        ParseNode an=pn.getChild("argument_list");
@@ -220,6 +495,23 @@ public class BuildIR {
        return arglist;
     }
 
+    private Vector[] parseConsArgumentList(ParseNode pn) {
+       Vector arglist=new Vector();
+       Vector varlist=new Vector();
+       ParseNode an=pn.getChild("cons_argument_list");
+       if (an==null)   /* No argument list */
+           return new Vector[] {varlist, arglist};
+       ParseNodeVector anv=an.getChildren();
+       for(int i=0;i<anv.size();i++) {
+           ParseNode cpn=anv.elementAt(i);
+           ParseNode var=cpn.getChild("var");
+           ParseNode exp=cpn.getChild("exp").getFirstChild();
+           varlist.add(var.getTerminal());
+           arglist.add(parseExpression(exp));
+       }
+       return new Vector[] {varlist, arglist};
+    }
+
     private ExpressionNode parseAssignmentExpression(ParseNode pn) {
        AssignOperation ao=new AssignOperation(pn.getChild("op").getTerminal());
        ParseNodeVector pnv=pn.getChild("args").getChildren();
@@ -229,16 +521,48 @@ public class BuildIR {
     }
 
 
-    private void parseMethodDecl(ClassNode cn, ParseNode pn) {
+    private void parseMethodDecl(ClassDescriptor cn, ParseNode pn) {
        ParseNode headern=pn.getChild("method_header");
        ParseNode bodyn=pn.getChild("body");
        MethodDescriptor md=parseMethodHeader(headern);
        BlockNode bn=parseBlock(bodyn);
-       cn.addMethod(md,bn);
+       cn.addMethod(md);
+       state.addTreeCode(md,bn);
+    }
+
+    private void parseConstructorDecl(ClassDescriptor cn, ParseNode pn) {
+       ParseNode mn=pn.getChild("modifiers");
+       Modifiers m=parseModifiersList(mn);
+       ParseNode cdecl=pn.getChild("constructor_declarator");
+       boolean isglobal=cdecl.getChild("global")!=null;
+       String name=cdecl.getChild("name").getChild("identifier").getTerminal();
+       MethodDescriptor md=new MethodDescriptor(m, name, isglobal);
+       ParseNode paramnode=cdecl.getChild("parameters");
+       parseParameterList(md,paramnode);
+       ParseNode bodyn0=pn.getChild("body");
+       ParseNode bodyn=bodyn0.getChild("constructor_body");
+       cn.addMethod(md);
+       BlockNode bn=null;
+       if (bodyn!=null&&bodyn.getChild("block_statement_list")!=null)
+           bn=parseBlock(bodyn);
+       else
+           bn=new BlockNode();
+       if (bodyn!=null&&bodyn.getChild("superinvoke")!=null) {
+           ParseNode sin=bodyn.getChild("superinvoke");
+           NameDescriptor nd=new NameDescriptor("super");
+           Vector args=parseArgumentList(sin);
+           MethodInvokeNode min=new MethodInvokeNode(nd);
+           for(int i=0;i<args.size();i++) {
+               min.addArgument((ExpressionNode)args.get(i));
+           }
+           BlockExpressionNode ben=new BlockExpressionNode(min);
+           bn.addFirstBlockStatement(ben);
+       }
+       state.addTreeCode(md,bn);
     }
 
     public BlockNode parseBlock(ParseNode pn) {
-       if (isEmpty(pn.getTerminal()))
+       if (pn==null||isEmpty(pn.getTerminal()))
            return new BlockNode();
        ParseNode bsn=pn.getChild("block_statement_list");
        return parseBlockHelper(bsn);
@@ -268,20 +592,35 @@ public class BuildIR {
 
     public Vector parseBlockStatement(ParseNode pn) {
        Vector blockstatements=new Vector();
-       if (isNode(pn,"local_variable_declaration")) {
+       if (isNode(pn,"tag_declaration")) {
+           String name=pn.getChild("single").getTerminal();
+           String type=pn.getChild("type").getTerminal();
+           
+           blockstatements.add(new TagDeclarationNode(name, type));
+       } else if (isNode(pn,"local_variable_declaration")) {
            TypeDescriptor t=parseTypeDescriptor(pn);
            ParseNode vn=pn.getChild("variable_declarators_list");
            ParseNodeVector pnv=vn.getChildren();
            for(int i=0;i<pnv.size();i++) {
                ParseNode vardecl=pnv.elementAt(i);
-               String identifier=vardecl.getChild("single").getTerminal();
-               ParseNode epn=vardecl.getChild("initializer");
+
+           
+               ParseNode tmp=vardecl;
+               TypeDescriptor arrayt=t;
+               while (tmp.getChild("single")==null) {
+                   arrayt=arrayt.makeArray(state);
+                   tmp=tmp.getChild("array");
+               }
+               String identifier=tmp.getChild("single").getTerminal();
                
+               ParseNode epn=vardecl.getChild("initializer");
+           
+
                ExpressionNode en=null;
                if (epn!=null)
                    en=parseExpression(epn.getFirstChild());
                
-               blockstatements.add(new DeclarationNode(new VarDescriptor(t,identifier, en)));
+               blockstatements.add(new DeclarationNode(new VarDescriptor(arrayt, identifier),en));
            }
        } else if (isNode(pn,"nop")) {
            /* Do Nothing */
@@ -291,6 +630,18 @@ public class BuildIR {
            blockstatements.add(new IfStatementNode(parseExpression(pn.getChild("condition").getFirstChild()),
                                       parseSingleBlock(pn.getChild("statement").getFirstChild()),
                                       pn.getChild("else_statement")!=null?parseSingleBlock(pn.getChild("else_statement").getFirstChild()):null));
+       } else if (isNode(pn,"taskexit")) {
+           Vector vfe=null;
+           if (pn.getChild("flag_effects_list")!=null)
+               vfe=parseFlags(pn.getChild("flag_effects_list"));
+           Vector ccs=null;
+           if (pn.getChild("cons_checks")!=null)
+               ccs=parseChecks(pn.getChild("cons_checks"));
+           
+           blockstatements.add(new TaskExitNode(vfe, ccs));
+       } else if (isNode(pn,"atomic")) {
+           BlockNode bn=parseBlockHelper(pn);
+           blockstatements.add(new AtomicNode(bn));
        } else if (isNode(pn,"return")) {
            if (isEmpty(pn.getTerminal()))
                blockstatements.add(new ReturnNode());
@@ -317,7 +668,15 @@ public class BuildIR {
            ExpressionNode condition=parseExpression(pn.getChild("condition").getFirstChild());
            BlockNode body=parseSingleBlock(pn.getChild("statement").getFirstChild());
            blockstatements.add(new LoopNode(init,condition,update,body));
-       } else {
+       } else if (isNode(pn,"whilestatement")) {
+           ExpressionNode condition=parseExpression(pn.getChild("condition").getFirstChild());
+           BlockNode body=parseSingleBlock(pn.getChild("statement").getFirstChild());
+           blockstatements.add(new LoopNode(condition,body,LoopNode.WHILELOOP));
+       } else if (isNode(pn,"dowhilestatement")) {
+           ExpressionNode condition=parseExpression(pn.getChild("condition").getFirstChild());
+           BlockNode body=parseSingleBlock(pn.getChild("statement").getFirstChild());
+           blockstatements.add(new LoopNode(condition,body,LoopNode.DOWHILELOOP));
+       } else {
            System.out.println("---------------");
            System.out.println(pn.PPrint(3,true));
            throw new Error();
@@ -352,9 +711,23 @@ public class BuildIR {
         ParseNodeVector pnv=paramlist.getChildren();
         for(int i=0;i<pnv.size();i++) {
             ParseNode paramn=pnv.elementAt(i);
-            TypeDescriptor type=parseTypeDescriptor(paramn);
-            String paramname=paramn.getChild("single").getTerminal();
-            md.addParameter(type,paramname);
+
+            if (isNode(paramn, "tag_parameter")) {
+                String paramname=paramn.getChild("single").getTerminal();
+                TypeDescriptor type=new TypeDescriptor(TypeDescriptor.TAG);
+                md.addTagParameter(type, paramname);
+            } else {
+                TypeDescriptor type=parseTypeDescriptor(paramn);
+                
+                ParseNode tmp=paramn;
+                while (tmp.getChild("single")==null) {
+                    type=type.makeArray(state);
+                    tmp=tmp.getChild("array");
+                }
+                String paramname=tmp.getChild("single").getTerminal();
+                
+                md.addParameter(type, paramname);
+            }
         }
     }
 
@@ -367,16 +740,21 @@ public class BuildIR {
                ParseNode modn=pnv.elementAt(i);
                if (isNode(modn,"public"))
                    m.addModifier(Modifiers.PUBLIC);
-               if (isNode(modn,"protected"))
+               else if (isNode(modn,"protected"))
                    m.addModifier(Modifiers.PROTECTED);
-               if (isNode(modn,"private"))
+               else if (isNode(modn,"private"))
                    m.addModifier(Modifiers.PRIVATE);
-               if (isNode(modn,"static"))
+               else if (isNode(modn,"static"))
                    m.addModifier(Modifiers.STATIC);
-               if (isNode(modn,"final"))
+               else if (isNode(modn,"final"))
                    m.addModifier(Modifiers.FINAL);
-               if (isNode(modn,"native"))
+               else if (isNode(modn,"native"))
                    m.addModifier(Modifiers.NATIVE);
+               else if (isNode(modn,"synchronized"))
+                   m.addModifier(Modifiers.SYNCHRONIZED);
+               else if (isNode(modn,"atomic"))
+                   m.addModifier(Modifiers.ATOMIC);
+               else throw new Error("Unrecognized Modifier");
            }
        }
        return m;