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