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