private void RunTest(Expression e, DataType dt, string outputFileName) { var listener = new FakeDecompilerEventListener(); var eq = new EquivalenceClassBuilder(factory, store, listener); e.Accept(eq); e.Accept(exa); exd.MeetDataType(e, dt); e.Accept(exd, e.TypeVariable); Verify(outputFileName); }
private void RunTest(Expression e, DataType dt) { var eq = new EquivalenceClassBuilder(factory, store); e.Accept(eq); e.Accept(exa); exd.MeetDataType(e, dt); e.Accept(exd, e.TypeVariable); var outputFileName = string.Format("Typing/{0}.txt", new StackTrace().GetFrame(1).GetMethod().Name); Verify(outputFileName); }