public static Environment For(GeneralOptions options, Dictionary <string, IMethodAnalysis> methodAnalyzers, Dictionary <string, IClassAnalysis> classAnalyzers, HostEnvironment host)
{
var codeProvider = CciILCodeProvider.CreateCodeProvider(host);
var codeWriter = CCI2Slicer.CreateSlicer(host);
var metadataDecoder = codeProvider.MetaDataDecoder;
var contractDecoder = codeProvider.ContractDecoder;
return(new Environment(options, codeWriter, metadataDecoder, contractDecoder, methodAnalyzers, classAnalyzers));
}
private Environment(GeneralOptions options, CCI2Slicer codeWriter, CciMetadataDecoder metadataDecoder, CciContractDecoder contractDecoder, Dictionary <string, IMethodAnalysis> methodAnalyzers, Dictionary <string, IClassAnalysis> classAnalyzers)
: base(options, metadataDecoder, contractDecoder, methodAnalyzers, classAnalyzers)
{
this.codeWriter = codeWriter;
}