protected void RegisterSuccessfullyParsedModule(SourceFile sourceFile, FileModuleLiteral moduleLiteral, Package package)
{
Contract.Requires(moduleLiteral != null);
Contract.Requires(package != null);
var moduleData = new UninstantiatedModuleInfo(
sourceFile,
moduleLiteral,
Context.QualifierTable.EmptyQualifierSpaceId);
RegisterModuleData(moduleData);
}
/// <summary>
/// Registers parsed module.
/// </summary>
protected void RegisterSuccessfullyParsedModule <T>(SourceFile sourceFile, T parseResult, Package package) where T : SourceFileParseResult
{
Contract.Requires(parseResult != null);
Contract.Requires(parseResult.Success);
Contract.Requires(package != null);
var moduleData = new UninstantiatedModuleInfo(
sourceFile,
parseResult.Module,
parseResult.QualifierSpaceId.IsValid ? parseResult.QualifierSpaceId : Context.QualifierTable.EmptyQualifierSpaceId);
RegisterModuleData(moduleData);
}
/// <summary>
/// Registers module data.
/// </summary>
protected void RegisterModuleData(UninstantiatedModuleInfo moduleInfo)
{
Contract.Requires(moduleInfo != null);
FrontEndHost.ModuleRegistry.AddUninstantiatedModuleInfo(moduleInfo);
}
