protected static IAssembly GenerateStrengthenedAssembly(Epa epa, CciAssembly assembly) { Contract.Requires(epa != null); Contract.Requires(assembly != null); System.Console.WriteLine("Generating strengthened output assembly"); var instrumenter = new Instrumenter.Instrumenter(); return(instrumenter.InstrumentType(assembly, epa)); }
protected void GenerateAssembly(FileInfo outputFile, Epa epa) { UpdateStatus("Generating strengthened output assembly {0}...", outputFile); try { var instrumenter = new Instrumenter.Instrumenter(); var strengthenedAssembly = instrumenter.InstrumentType(model.InputAssembly as CciAssembly, epa) as CciAssembly; new CciAssemblyPersister().Save(strengthenedAssembly, outputFile.FullName); } catch (Exception ex) { HandleException(ex); } UpdateStatus("Done!", outputFile); }