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