public void Setup() { prog = new Program(); prog.Architecture = new FakeArchitecture(); prog.Platform = new DefaultPlatform(null, prog.Architecture); factory = prog.TypeFactory; store = prog.TypeStore; handler = new TestTraitHandler(store); eqb = new EquivalenceClassBuilder(factory, store); store.EnsureExpressionTypeVariable(factory, prog.Globals); atrco = new AddressTraitCollector(factory, store, handler, prog); m = new ProcedureBuilder(); }
private TraitCollector CreateCollector(Program prog) { en = new ExpressionNormalizer(prog.Architecture.PointerType); eqb = new EquivalenceClassBuilder(prog.TypeFactory, prog.TypeStore); handler = new TestTraitHandler(prog.TypeStore); return new TraitCollector(prog.TypeFactory, prog.TypeStore, handler, prog); }