/// <nodoc/> public RuntimeModelFactory( IFrontEndStatistics statistics, AstConversionConfiguration conversionConfiguration, DiagnosticAnalyzer linter, Workspace workspace) { Contract.Requires(statistics != null); Contract.Requires(conversionConfiguration != null); m_statistics = statistics; m_conversionConfiguration = conversionConfiguration; m_linter = linter; m_workspace = workspace; }
/// <nodoc/> public RuntimeModelFactory( Logger logger, LoggingContext loggingContext, IFrontEndStatistics statistics, AstConversionConfiguration conversionConfiguration, [CanBeNull] Workspace workspace) : this( statistics, conversionConfiguration, DiagnosticAnalyzer.Create( logger, loggingContext, new HashSet <string>(conversionConfiguration.PolicyRules), conversionConfiguration.DisableLanguagePolicies), workspace) { }
private IAstConverter CreateAstConverter(ISourceFile sourceFile, RuntimeModelContext runtimeModelContext, AbsolutePath path, AstConversionConfiguration conversionConfiguration, Workspace workspace) { var module = ModuleLiteral.CreateFileModule(path, runtimeModelContext.FrontEndHost.ModuleRegistry, runtimeModelContext.Package, sourceFile.LineMap); return(CreateAstConverter(sourceFile, module, runtimeModelContext, path, conversionConfiguration, workspace)); }
private static IAstConverter CreateAstConverter(ISourceFile sourceFile, FileModuleLiteral module, RuntimeModelContext runtimeModelContext, AbsolutePath specPath, AstConversionConfiguration conversionConfiguration, Workspace workspace) { var conversionContext = new AstConversionContext(runtimeModelContext, specPath, sourceFile, module); return(AstConverter.Create(runtimeModelContext.QualifierTable, conversionContext, conversionConfiguration, workspace)); }