public TraitCollector(TypeFactory factory, ITypeStore store, ITraitHandler handler, Program program) { this.factory = factory; this.store = store; this.handler = handler; this.program = program; this.aem = new ArrayExpressionMatcher(program.Platform.PointerType); this.atrco = new AddressTraitCollector(factory, store, handler, program); }
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(); }