protected void setUp() { // d.on (); // Create a time manager to synchronize back tracking BTTimeManager timeMan = new BTTimeManager(); // Create the symbol table rt_symtab = new RT_Symbol_Table(timeMan); // Create a virtual machine state . vms = new VMState( timeMan, boStatic, toStatic, boHeap, toHeap, boStack, toStack, boScratch, toScratch, rt_symtab); Cpp_StatementManager sm = new Cpp_StatementManager(); if (dm == null) dm = new Cpp_DeclarationManager(cem, sm, vms); // Prepare the VMState vms.setProperty("ASTUtilities", new Cpp_ASTUtilities()); vms.setProperty("DatumUtilities", new DatumUtilities()); // create the expression for 5 five = new ConstInt(ctyInt, "5", 5); // create the expression for 1 one = new ConstInt(ctyInt, "1", 1); // create the expression for x String xid = "x"; x_sn = new Cpp_ScopedName(xid); x = new ExpId(new TyRef(tyInt), xid, x_sn); // create the expression for 5.0 ffive = new ConstFloat(ctyFloat, "5.0", 5.0); // create the expression for 1.0 fone = new ConstFloat(ctyFloat, "1.0", 1.0); // create the expression for y String yid = "y"; y_sn = new Cpp_ScopedName(yid); y = new ExpId(new TyRef(tyFloat), yid, y_sn); tyPointer = new TyPointer(); tyPointer.addToEnd(tyInt); // create the expression for p String pid = "p"; p = new ExpId(new TyRef(tyPointer), pid, new Cpp_ScopedName(pid)); tyArray = new TyArray(); tyArray.addToEnd(tyInt); // create the expression for a String aid = "a"; a = new ExpId(new TyRef(tyArray), aid, new Cpp_ScopedName(aid)); String idC = "C"; sn_C = new Cpp_ScopedName(idC); tyClass = new TyClass(idC, sn_C, null); // create the expression for c String cid = "c"; c_sn = new Cpp_ScopedName(cid); c = new ExpId(new TyRef(tyClass), cid, c_sn); String bid = "b"; b = new ExpId(new TyRef(tyBool), bid, new Cpp_ScopedName(bid)); _true = new ConstInt(tyBool, "true", 1); // create a string constant str_const = (ConstStr) Literals.make_string_const("\"blah\"", vms); // array of char tyArrayChar = new TyArray(); tyArrayChar.addToEnd(tyChar); // create the expression for a String acid = "ac"; ac = new ExpId(new TyRef(tyArrayChar), acid, new Cpp_ScopedName(acid)); // reference to int tyRefInt = new TyRef(tyInt); // create the id expression for rint String riid = "ri"; r_sn = new Cpp_ScopedName(riid); rint = new ExpId(new TyRef(tyRefInt), riid, r_sn); // constant reference to int ctyRefInt = new TyRef(ctyInt); ctyRefInt.setAttributes(Cpp_Specifiers.CVQ_CONST); // create the id expression for rint String criid = "cri"; crint = new ExpId(new TyRef(ctyRefInt), criid, new Cpp_ScopedName(criid)); // function taking no parameters and returning int tyFun = new TyFun(new Vector(), false); tyFun.addToEnd(tyInt); // create the following scope and declaration space // int x; // int &r; // int foo (); // class C { // float y; // int bar (); // }; // C c; // C *pc; Cpp_SpecifierSet sps = new Cpp_SpecifierSet(); NodeList nl = new NodeList(); Declaration decl; // int x decl = new Declaration(VARIABLE_LF, x_sn, null, sps, tyInt); decl.setDefinition(decl); decl.getCategory().set(dm.type_extractor.categorizeType(tyInt)); st.addDeclaration(decl); // int &r decl = new Declaration(VARIABLE_LF, r_sn, null, sps, tyRefInt); decl.setDefinition(decl); decl.getCategory().set(dm.type_extractor.categorizeType(tyRefInt)); st.addDeclaration(decl); // int foo () foo_sn = new Cpp_ScopedName("foo"); st.addDefiningDeclaration(foo_sn, REG_FN_LF, tyFun); // class C ClassHead chc = new ClassHead(ClassHead.CLASS, sn_C, new Vector()); Declaration c_decl = st.addDefiningDeclaration(chc); st.enterScope(c_decl); // float y decl = new Declaration(VARIABLE_LF, y_sn, null, sps, tyFloat); decl.setDefinition(decl); decl.getCategory().set(dm.type_extractor.categorizeType(tyFloat)); st.addDeclaration(decl); // int bar () bar_sn = new Cpp_ScopedName("bar"); st.addDefiningDeclaration(bar_sn, MEM_FN_LF, tyFun); st.exitScope(); // C c decl = new Declaration(VARIABLE_LF, c_sn, null, sps, tyClass); decl.setDefinition(c_decl); decl.getCategory().set(dm.type_extractor.categorizeClass(decl)); st.addDeclaration(decl); tyPointerClass = new TyPointer(); tyPointerClass.addToEnd(tyClass); // C *pc String pcid = "pc"; pc_sn = new Cpp_ScopedName(pcid); pc = new ExpId(new TyRef(tyPointer), pcid, pc_sn); decl = new Declaration(VARIABLE_LF, pc_sn, null, sps, tyPointerClass); decl.setDefinition(decl); decl.getCategory().set(dm.type_extractor.categorizeType(tyPointerClass)); st.addDeclaration(decl); }
static { st.enterFileScope(); }