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();
}