DIRECTORYBcdDefs USING[SGIndex, SGNull, BcdBase],RCMap USING[Index, nullIndex, Limit],Rope USING[ROPE],SafeStorage USING[TypeIndex, Type, nullType],RTSymbolDefs USING[SymbolTableHandle, nullHandle, SymbolIndex, nullSymbolIndex],TimeStamp USING[Stamp],TypeStrings USING[TypeString];RTTypesBasicPrivate: DEFINITIONS = BEGIN OPEN SafeStorage, RTSymbolDefs;MapTiTd: TMapTiTd;  -- The Runtime Type Table: maps TypeIndex to TypeDescRMapTiTd: TYPE = RECORD[ptds: SEQUENCE length: NAT OF PTypeDesc];TMapTiTd: TYPE = LONG POINTER TO RMapTiTd;PTypeDesc: TYPE = LONG POINTER TO TypeDesc;TypeDesc: TYPE = MACHINE DEPENDENT RECORD [equivalentTypePad: [0..3] _ 0,equivalentType: Type _ nullType,  -- nullType means not "canonicalized"finalized: BOOL _ FALSE,  numberPackageRefs: NAT _ 0,   -- ucode does not depend on stuff belowrcmx: RCMap.Index _ RCMap.nullIndex,fill: [0..LAST[CARDINAL]/RCMap.Limit] _ 0,  utf: UniqueTypeFinger,symbolAccess: SymbolAccess,next: PTypeDesc _ NIL,  -- link in list of types with the same ts hashmyTypePad: [0..3] _ 0,myType: Type,        -- a back pointer(logically)typeStructure: TypeStructure,extension: PTypeExtension _ NIL  -- LOOPHOLE];SymbolAccess: TYPE = RECORD[sti: SymbolTableIndex _ 0,sei: SymbolIndex _ nullSymbolIndex];SymbolTableIndex: TYPE = NAT;  -- index into MapStiStdPTypeExtension: TYPE = LONG POINTER TO TypeExtension;  -- LOOPHOLERTypeExtension: TYPE = REF TypeExtension;TypeExtension: TYPE = RECORD [next: RTypeExtension,  -- link in the list of them; stay honestfinalizationSet: REF _ NIL,attachment: REF ANY _ NIL];MapStiStd: TMapStiStd; -- The map from SymbolTableIndex to STDesc. DELICATE intialization.TMapStiStd: TYPE = REF RMapStiStd;RMapStiStd: TYPE = RECORD[stiv: SEQUENCE length: SymbolTableIndex OF RSTDesc];LOOPHOLEDTMapStiStd: TYPE = LONG POINTER TO LOOPHOLEDRMapStiStd;LOOPHOLEDRMapStiStd: TYPE= RECORD[stiv: SEQUENCE length: SymbolTableIndex OF PSTDesc];InitialSTIRangeSize: CARDINAL = 1000B;RSTDesc: TYPE = REF STDesc;PSTDesc: TYPE = LONG POINTER TO STDesc;STDesc: TYPE = RECORD [symbolsStamp: TimeStamp.Stamp,bcd: BcdDefs.BcdBase _ NIL,sgi: BcdDefs.SGIndex _ BcdDefs.SGNull,sth: SymbolTableHandle _ nullHandle];TypeStructure: TYPE = TypeStrings.TypeString;UniqueTypeFinger: TYPE = RECORD[umid: TimeStamp.Stamp,	-- of original defining moduleseIndex: SymbolIndex];		-- type seIndex thereinuseCanonicalTypeMicroCode: BOOL;  -- exported variableGetLastTypeIndex: PROC RETURNS[TypeIndex];NumberPackageRefs: PROC[type: Type] RETURNS[NAT] = INLINE{RETURN[MapTiTd[type].numberPackageRefs]};MapTiRcmx: PROC[ti: TypeIndex] RETURNS[RCMap.Index] = INLINE{RETURN[MapTiTd[ti].rcmx]};PutForFinalization: PROC[type: Type, ref: REF ANY] RETURNS[done: BOOLEAN];AssignComposite: PROC[rhs, lhs: LONG POINTER, type: Type, nwords: CARDINAL];AssignCompositeNew: PROC[rhs, lhs: LONG POINTER, type: Type, nwords: CARDINAL];FreeCollectibleObject: PROC[refObj: REF ANY];  -- nilifies REFs withinMapRefs: PROC[ptr: LONG POINTER, rcmx: RCMap.Index, procLeaf: PROC[p: REF ANY]];MapRefOffsets: PROC[ref: REF ANY, procLeaf: PROC[offset: LONG CARDINAL]];DoFREEify: PROC[ptr: LONG POINTER, rcmx: RCMap.Index, procLeaf: PROC[p: REF ANY]];GetMapTiTd: PROC RETURNS[TMapTiTd];NotifyAtomRecType: PROC[type: Type];AcquireTypeForLoader: PROC[utf: UniqueTypeFinger,std: STDesc,sei: SymbolIndex,ts: TypeStructure,rcmi: RCMap.Index,canonicalize: BOOLEAN _ FALSE,initializing: BOOL _ FALSE  -- TRUE => create MapStiStd entry from uncounted storage]RETURNS[Type];MakeNewType: PROC[utf: UniqueTypeFinger,std: STDesc,sei: SymbolIndex,ts: TypeStructure,rcmx: RCMap.Index,canonicalize: BOOLEAN _ FALSE,initializing: BOOLEAN _ FALSE,type: Type _ nullType]RETURNS[Type];FindSTI: PROC[std: STDesc, initializing: BOOL _ FALSE] RETURNS[i: SymbolTableIndex];BlessMapStiStd: PROC;  -- copy initial (uncounted) MapStiStd to counted storageFindCanonicalPTD: PROC[ts: TypeStructure] RETURNS[ptd: PTypeDesc];FindPTD: PROC[utf: UniqueTypeFinger, ts: TypeStructure _ NIL] RETURNS[ptd: PTypeDesc];Enter: PROC[inner: PROC];NotImplemented: ERROR[msg: Rope.ROPE];END.   Ж  RTTypesBasicPrivate.Mesalast edited June 17, 1983 8:35 am by Paul RovnerTypesAccess to symbol table informationA STDesc describes options for finding the bits of a particular symbol table as follows:If bcd=NIL, the symbolsStamp identifies a compiler-created .bcd file with version=symbolsStamp, and sth is a valid SymbolTableHandle.else if sgi # SGNull, the symbolsStamp matches a (possibly composite) .bcd or .symbols file version stamp, and the sgi identifies the symbol table within bcd.else if sgi = SGNull, the symbolsStamp matches an entry in bcd's file table, which identifies a compiler-created .bcd file with version=symbolsStamp.support for NARROW and runtime type-equivalence determination: canonical types.Proceduresfor supporting RTTypesi.e., create MapStiStd entry from uncounted storageinitializing = TRUE =>  create MapStiStd entry from uncounted storageERRORs Э╩  Ш JЪЬЩJЪЬ0Щ0JШ Ъ╧k	Ш	JЪЬЭЬШ(JЪЬЭЬШ%JЪЬЭЬЭЬШJЪЬЭЬШ-JЪЬЭЬ>ШPJЪЬ
ЭЬШJЪЬЭЬШЧJШ JЪЬЭЬШ!JЪЬЭЬЭЬШ'JЩ JЪЬЩЩ JЪЬ╧c5ШIJЪЬ
ЭЬЭЬЭЬ	ЭЬЭЬШAJЪ	Ь
ЭЬЭЬЭЬЭЬ
Ш*JЪ	ЬЭЬЭЬЭЬЭЬ
Ш+JШ Ъ	Ь
ЭЬЭЬЭ	ЬЭЬШ+JЪЬШJЪЬ"Ю%ШGJЪЬЭЬЭЬШJЪЬЭЬЮ'ШEJЪЬ$Ш$JЪЬ
ЭЬЭЬШ,JЪЬШJЪЬШJЪЬЭЬЮ.ШFJЪЬШJЪЬЮШ1JЪЬШJЪЬЭЬЮШ,JЪЬШЧJШ ЪЬЭЬЭЬШJЪЬШJЪЬ"Ш"JЪЬШЧJЪЬЭЬЭЬЮШ6JШ JЪ
ЬЭЬЭЬЭЬЭЬЮШBJЪЬЭЬЭЬШ)ЪЬЭЬЭЬШJЪЬЮ(Ш?JЪЬЭЬЭЬШJЪЬЭЬЭЬЭШJЪЬШЧJЩ JЪЬ"Щ"JЪЬЮCШZJЪЬЭЬЭЬШ"JЪ	ЬЭЬЭЬЭЬЭЬ
ШNJШ JЪ	ЬЭЬЭЬЭЬЭЬШ@ЪЬЭШJЪЬЭЬЭЬЭЬ
Ш=ЧJЪЬЭЬ	Ш&Щ ЪЬXЩXJЪЬЕЩЕJЪЬЮЩЮJЪЬХЩХЧЧJЪЬ	ЭЬЭЬШJЪ	Ь	ЭЬЭЬЭЬЭЬШ'ЪЬЭЬЭЬШJЪЬШJЪЬЭЬШJЪЬ&Ш&JЪЬ#Ш#JЪЬШЧJШ JЪЬЭЬШ-JЪЬOЩOJШ ЪЬЭЬЭЬШ JЪЬЮШ5JЪЬЮШ/JШ ЧJЪЬЭЬЮШ6ЧJШ JШ JЪЬ
Щ
Ш JЪ╧nЬЭЬЭЬШ*JШ ЪЯЬЭЬЭЬЭЬШ3JЪЭЬЭЬ#Ш0ЧJШ ЪЯ	ЬЭЬЭЬШ6JЪЭЬЭЬШ!ЧJШ JЪЯЬЭЬЭЬЭЬЭЬЭЬШJJШ JЪ
ЯЬЭЬЭЬЭЬЭЬШLJШ JЪ
ЯЬЭЬЭЬЭЬЭЬШOJШ JЪ	ЯЬЭЬ	ЭЬЭЬЮШFJШ JЪЯЬЭЬЭЬЭЬЭЬЭЬЭЬШPJШ JЪЯЬЭЬЭЬЭЬЭЬ	ЭЬЭЬШIJШ JЪЯ	ЬЭЬЭЬЭЬЭЬЭЬЭЬШRJШ JЪЯ
ЬЭЬЭЬШ#JШ JЪЯЬЭЬШ$JШ ЪЯЬЭЬШJЪЬШJЪЬШJЪЬШJЪЬШJЪЬШJЪЬЭЬЭЬШJЪЬЭЬЭЬЮ8ШTJЪЬШJЪЭЬШЧJЩ JЪЬЩЪЯЬЭЬШJЪЬШJЪЬШJЪЬШJЪЬШJЪЬШJЪЬЭЬЭЬШJЪЬЭЬЭЬШJЪЬ3Щ3JЪЬШJЪЭЬШЧJШ Ъ
ЯЬЭЬЭЬЭЬЭЬШTJЪЬEЩEЧJШ JЪЯ╨bn	ЬЭЬЮ8ШOJШ JЪЯЬЭЬЭЬШBJШ JЪЯЬЭЬ,ЭЬЭЬШVJШ JЪЯЬЭЬЭЬШЧШ ЪЬЩJЪЬЭЬЭЬШ&IprocШ ЧЧJЪЭЬШJШ JШ Ч ЕЧ    d  i  