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); }
/// <nodoc /> public virtual void Visit(SourceFile sourceFile) { }