DIRECTORY BcdDefs USING [VersionStamp], PrincOps USING [EPRange, MaxFrameSize, MaxNGfi], Table USING [Base, Selector, Limit]; Symbols: DEFINITIONS = { Base: TYPE = Table.Base; Limit: NAT = Table.Limit; ByteLength: NAT = 8; WordLength: NAT = 16; Name: TYPE = [0..Limit/2); nullName: Name = Name.FIRST; HTIndex: TYPE = Name; HTNull: Name = nullName; HTRecord: TYPE = RECORD [ anyInternal, anyPublic: BOOL, link: HTIndex, ssIndex: CARDINAL]; HVIndex: TYPE = [0..71); HashVector: TYPE = ARRAY HVIndex OF HTIndex; TypeClass: TYPE = { mode, basic, enumerated, record, ref, array, arraydesc, transfer, definition, union, sequence, relative, subrange, long, real, opaque, zone, any, nil}; TransferMode: TYPE = {proc, port, signal, error, process, program, none}; SERecord: TYPE = RECORD [ mark3, mark4: BOOL, body: SELECT seTag: * FROM id => [ extended: BOOL, public: BOOL, idCtx: CTXIndex, immutable, constant: BOOL, idType: Type, idInfo: UNSPECIFIED, idValue: UNSPECIFIED, hash: Name, linkSpace: BOOL, ctxLink: SELECT linkTag: * FROM terminal => [], sequential => [], linked => [link: ISEIndex] ENDCASE], cons => [ typeInfo: SELECT typeTag: TypeClass FROM mode => [], basic => [ ordered: BOOL, code: [0..16), length: CARDINAL], enumerated => [ ordered, machineDep: BOOL, unpainted: BOOL, -- un- for backward compatiblity empty: BOOL, sparse: BOOL, valueCtx: CTXIndex, nValues: CARDINAL], -- should be range: CARDINAL record => [ hints: RECORD [ comparable, assignable: BOOL, unifield, variant, privateFields: BOOL, refField, default, voidable: BOOL], length: CARDINAL, argument, monitored, machineDep: BOOL, painted: BOOL, fieldCtx: CTXIndex, linkPart: SELECT linkTag: * FROM notLinked => [], linked => [linkType: Type] ENDCASE], ref => [ counted, ordered, readOnly, list, var, basing: BOOL, refType: Type], array => [ packed: BOOL, indexType: Type, componentType: Type], arraydesc => [ var, readOnly: BOOL, describedType: Type], transfer => [ safe: BOOL, mode: TransferMode, typeIn, typeOut: CSEIndex], definition => [ nGfi: [1 .. PrincOps.MaxNGfi], named: BOOL, defCtx: CTXIndex], union => [ hints: RECORD [ equalLengths: BOOL, refField, default, voidable: BOOL], overlaid, controlled, machineDep: BOOL, caseCtx: CTXIndex, tagSei: ISEIndex], sequence => [ packed: BOOL, controlled, machineDep: BOOL, tagSei: ISEIndex, componentType: Type], relative => [ baseType: Type, offsetType: Type, resultType: Type], subrange => [ filled, empty: BOOL, rangeType: Type, origin: INTEGER, range: CARDINAL], long, real => [rangeType: Type], opaque => [ lengthKnown: BOOL, length: CARDINAL, id: ISEIndex], zone => [counted, mds: BOOL], any => [], nil => [] ENDCASE], ENDCASE]; SEIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO SERecord; Type: TYPE = SEIndex; ISEIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO SERecord.id; CSEIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO SERecord.cons; RecordSEIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO SERecord.cons.record; RefSEIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO SERecord.cons.ref; ArraySEIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO SERecord.cons.array; SENull: SEIndex = SEIndex.FIRST; nullType: Type = SENull; ISENull: ISEIndex = LOOPHOLE[SENull]; CSENull: CSEIndex = LOOPHOLE[SENull]; RecordSENull: RecordSEIndex = LOOPHOLE[SENull]; RefSENull: RefSEIndex = LOOPHOLE[SENull]; ArraySENull: ArraySEIndex = LOOPHOLE[SENull]; typeTYPE: CSEIndex = CSEIndex.FIRST + SERecord.cons.nil.SIZE; typeANY: CSEIndex = typeTYPE + SERecord.cons.mode.SIZE; codeANY: NAT = 0; codeINT: NAT = 1; codeCHAR: NAT = 2; WordCount: TYPE = LONG CARDINAL; -- sizes in words BitCount: TYPE = LONG CARDINAL; -- sizes in bits FieldBitCount: TYPE = CARDINAL; PackedBitCount: TYPE = [1..ByteLength]; BitAddress: TYPE = RECORD[ wd: [0..CARDINAL.LAST/WordLength], -- word displacement bd: [0..WordLength)]; -- bit displacement ExtensionType: TYPE = {value, form, default, none}; Linkage: TYPE = {val, ref, type, manifest, none}; -- for import/export RefClass: TYPE = {none, simple, composite}; ContextLevel: TYPE = [0..7]; lZ: ContextLevel = 0; -- context level of non-frame records lG: ContextLevel = 1; -- context level of global frame lL: ContextLevel = lG.SUCC; -- context level of outer procedures Closure: TYPE = {none, unit, rc, full}; -- completeness of copied contexts CTXRecord: TYPE = RECORD [ rePainted, varUpdated: BOOL, seList: ISEIndex, level: ContextLevel, extension: SELECT ctxType: * FROM simple => [ctxNew: CTXIndex], -- for DeSoto included => [ chain: IncludedCTXIndex, copied: Closure _ $none, module: MDIndex, map: CTXIndex, closed, complete, restricted: BOOL, reset: BOOL], imported => [includeLink: IncludedCTXIndex], nil => [] ENDCASE]; CTXIndex: TYPE = Base RELATIVE ORDERED POINTER [0..7FFh] TO CTXRecord; IncludedCTXIndex: TYPE = Base RELATIVE ORDERED POINTER [0..7FFh] TO CTXRecord.included; CTXNull: CTXIndex = CTXIndex.FIRST; IncludedCTXNull: IncludedCTXIndex = LOOPHOLE[CTXNull]; StandardContext: TYPE = CTXIndex[CTXNull+CTXRecord.simple.SIZE .. CTXNull+6*CTXRecord.simple.SIZE]; FileIndex: TYPE = NAT; -- internal file handle nullFileIndex: FileIndex = FileIndex.LAST; MDRecord: TYPE = RECORD [ stamp: BcdDefs.VersionStamp, moduleId: Name, -- hash entry for module name fileId: HTIndex, -- hash entry for file name shared: BOOL, -- overrides PRIVATE, etc. exported: BOOL, ctx: IncludedCTXIndex, -- context of copied entries defaultImport: CTXIndex, -- unnamed imported instance file: FileIndex]; -- associated file MDIndex: TYPE = Base RELATIVE ORDERED POINTER [0..Limit) TO MDRecord; MDNull: MDIndex = MDIndex.LAST; OwnMdi: MDIndex = MDIndex.FIRST; BodyLink: TYPE = RECORD [which: {sibling, parent}, index: BTIndex]; BodyRecord: TYPE = RECORD [ link: BodyLink, firstSon: BTIndex, type: RecordSEIndex, localCtx: CTXIndex, level: ContextLevel, sourceIndex: CARDINAL, info: BodyInfo, extension: SELECT kind: * FROM Callable => [ inline: BOOL, id: ISEIndex, ioType: CSEIndex, monitored, noXfers, resident: BOOL, entry, internal: BOOL, entryIndex: [0..PrincOps.EPRange*PrincOps.MaxNGfi), hints: RECORD [safe, argUpdated, nameSafe, noStrings: BOOL], closure: SELECT nesting: * FROM Outer => [], Inner => [frameOffset: [0..PrincOps.MaxFrameSize)], Catch => [index: CatchIndex] -- used only in Trinity ENDCASE], Other => [relOffset: [0..CARDINAL.LAST/2]] ENDCASE]; BodyInfo: TYPE = RECORD [ SELECT mark: * FROM Internal => [ bodyTree: Base RELATIVE POINTER [0..Limit), thread: Base RELATIVE POINTER [0..Limit), frameSize: [0..PrincOps.MaxFrameSize]], External => [ bytes: [0..CARDINAL.LAST/2], startIndex, indexLength: CARDINAL] ENDCASE]; BTIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO BodyRecord; CBTIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO BodyRecord.Callable; ICBTIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO BodyRecord.Callable.Inner; OCBTIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO BodyRecord.Callable.Outer; CCBTIndex: TYPE = Base RELATIVE POINTER [0..Limit) TO BodyRecord.Callable.Catch; BTNull: BTIndex = BTIndex.LAST; CBTNull: CBTIndex = LOOPHOLE[BTNull]; CCBTNull: CCBTIndex = LOOPHOLE[CBTNull]; RootBti: CBTIndex = CBTIndex.FIRST; CatchIndex: TYPE = NAT; seType: Table.Selector = 1; htType: Table.Selector = 2; ssType: Table.Selector = 3; ctxType: Table.Selector = 4; mdType: Table.Selector = 5; bodyType: Table.Selector = 6; }. Symbols.mesa Copyright c 1985 by Xerox Corporation. All rights reserved. Satterthwaite, February 18, 1983 11:03 am Rovner, July 6, 1983 1:33 pm Russ Atkinson (RRA) January 31, 1985 12:51:14 pm PST hash table declarations semantic entry table declarations the following two values are guaranteed by the compiler codes identifying the basic types (extensible) context table declarations module table declarations body table declarations Tree.Index-- Tree.Index / LitDefs.STIndex-- allocation codes for table components Э╩ 5ШcodeЪЬЩKЪЬ ╧mЬ1Щ