Exemple #1
0
        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);
        }
Exemple #2
0
        /// <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);
        }
Exemple #3
0
 /// <summary>
 /// Registers module data.
 /// </summary>
 protected void RegisterModuleData(UninstantiatedModuleInfo moduleInfo)
 {
     Contract.Requires(moduleInfo != null);
     FrontEndHost.ModuleRegistry.AddUninstantiatedModuleInfo(moduleInfo);
 }