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