internal TypeRefReference GetPredefinedTypeRefReferenceAtRowWorker( uint typeRefRowId, ModuleSignatureTypeCode signatureTypeCode ) { Debug.Assert(typeRefRowId > 0 && typeRefRowId <= this.PEFileReader.TypeRefTable.NumberOfRows); Debug.Assert( this.ModuleTypeRefReferenceLoadState[typeRefRowId] == LoadState.Uninitialized && this.ModuleTypeRefReferenceArray[typeRefRowId] == null ); this.ModuleTypeRefReferenceLoadState[typeRefRowId] = LoadState.Loading; TypeRefRow typeRefRow = this.PEFileReader.TypeRefTable[typeRefRowId]; uint resolutionScopeKind = (typeRefRow.ResolutionScope & TokenTypeIds.TokenTypeMask); uint resolutionScopeRowId = (typeRefRow.ResolutionScope & TokenTypeIds.RIDMask); Debug.Assert(resolutionScopeKind == TokenTypeIds.AssemblyRef); // TODO: MD Error this.ModuleTypeRefReferenceArray[typeRefRowId] = this.CreateTypeRefReference(typeRefRowId, typeRefRow, null, this.AssemblyReferenceArray[resolutionScopeRowId], signatureTypeCode); this.ModuleTypeRefReferenceLoadState[typeRefRowId] = LoadState.Loaded; return this.ModuleTypeRefReferenceArray[typeRefRowId]; }
internal TypeBase GetPredefinedTypeDefinitionAtRowWorker( uint typeDefRowId, ModuleSignatureTypeCode signatureTypeCode ) { if (this.ModuleTypeDefLoadState[typeDefRowId] == LoadState.Uninitialized) { Debug.Assert(this.ModuleTypeDefArray[typeDefRowId] == null); TypeDefRow typeDefRow = this.PEFileReader.TypeDefTable[typeDefRowId]; Debug.Assert(!typeDefRow.IsNested); // TODO: MD Error if this happens Namespace parentNamespace = this.GetNamespaceForNameOffset(typeDefRow.Namespace); this.ModuleTypeDefArray[typeDefRowId] = this.CreateModuleNamespaceType(typeDefRowId, typeDefRow, parentNamespace, signatureTypeCode); this.ModuleTypeDefLoadState[typeDefRowId] = LoadState.Loaded; } TypeBase /*?*/ mt = this.ModuleTypeDefArray[typeDefRowId]; //^ assert mt != null; return mt; }
//^ invariant this.PEFileReader.TypeSpecTable.NumberOfRows >= 1 ==> this.ModuleTypeSpecHashtable != null; TypeRefReference CreateTypeRefReference( uint typeRefRowId, TypeRefRow typeRefRow, TypeRefReference/*?*/ parentModuleTypeReference, IModuleModuleReference moduleReference, ModuleSignatureTypeCode signatureTypeCode ) { IName mangledTypeName = this.GetNameFromOffset(typeRefRow.Name); ushort genericParamCount; string typeName; TypeCache.SplitMangledTypeName(mangledTypeName.Value, out typeName, out genericParamCount); TypeRefReference moduleTypeRefReference; if (parentModuleTypeReference == null) { IName namespaceFullName = this.GetNameFromOffset(typeRefRow.Namespace); NamespaceReference namespaceReference = this.GetNamespaceReferenceForString(moduleReference, namespaceFullName); if (genericParamCount == 0) { if (signatureTypeCode == ModuleSignatureTypeCode.NotModulePrimitive) { moduleTypeRefReference = new NamespaceTypeRefReferenceWithoutPrimitiveTypeCode( this, mangledTypeName, typeRefRowId, moduleReference, namespaceReference, signatureTypeCode == ModuleSignatureTypeCode.ValueType ); } else { moduleTypeRefReference = new NamespaceTypeRefReferenceWithPrimitiveTypeCode( this, mangledTypeName, typeRefRowId, moduleReference, namespaceReference, signatureTypeCode ); } } else { IName iTypeName = this.NameTable.GetNameFor(typeName); moduleTypeRefReference = new GenericNamespaceTypeRefReference( this, iTypeName, typeRefRowId, moduleReference, namespaceReference, mangledTypeName, genericParamCount, signatureTypeCode == ModuleSignatureTypeCode.ValueType ); } } else { if (genericParamCount == 0) { moduleTypeRefReference = new NonGenericNestedTypeRefReference( this, mangledTypeName, typeRefRowId, moduleReference, parentModuleTypeReference, signatureTypeCode == ModuleSignatureTypeCode.ValueType ); } else { IName iTypeName = this.NameTable.GetNameFor(typeName); moduleTypeRefReference = new GenericNestedTypeRefReference( this, iTypeName, typeRefRowId, moduleReference, parentModuleTypeReference, mangledTypeName, genericParamCount, signatureTypeCode == ModuleSignatureTypeCode.ValueType ); } } return moduleTypeRefReference; }
NamespaceType CreateModuleNamespaceType( uint typeDefRowId, TypeDefRow typeDefRow, Namespace moduleNamespace, ModuleSignatureTypeCode signatureTypeCode ) { IName typeName = this.GetNameFromOffset(typeDefRow.Name); uint genericParamRowIdStart; uint genericParamRowIdEnd; this.GetGenericParamInfoForType(typeDefRowId, out genericParamRowIdStart, out genericParamRowIdEnd); NamespaceType type; if (genericParamRowIdStart == 0) { if (signatureTypeCode == ModuleSignatureTypeCode.NotModulePrimitive) type = new NonGenericNamespaceTypeWithoutPrimitiveType(this, typeName, typeDefRowId, typeDefRow.Flags, moduleNamespace); else type = new NonGenericNamespaceTypeWithPrimitiveType(this, typeName, typeDefRowId, typeDefRow.Flags, moduleNamespace, signatureTypeCode); } else { IName unmangledTypeName = this.GetUnmangledNameFromOffset(typeDefRow.Name); type = new GenericNamespaceType(this, unmangledTypeName, typeDefRowId, typeDefRow.Flags, moduleNamespace, typeName, genericParamRowIdStart, genericParamRowIdEnd); } moduleNamespace.AddMember(type); return type; }