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