
DIRECTORY
Alloc USING [Notifier],
MimosaCopier USING [SEToken],
OSMiscOps USING [WordAnd],
Symbols USING [BTIndex, Closure, CSEIndex, CTXIndex, HTIndex, IncludedCTXIndex, ISEIndex, MDIndex, RecordSEIndex, RefSEIndex, Type],
Tree USING [Index, Link, Map, Scan];
MimP3: DEFINITIONS
IMPORTS OSMiscOps = {
OPEN Symbols;

mark: BOOL = TRUE; -- mark in tree as set by pass 3
TextForm: TYPE = {text, rope, ropeText};
Attr: TYPE = MACHINE DEPENDENT RECORD [
noAssign: BOOL,
noXfer: BOOL,
const: BOOL,
either: BOOL];

emptyAttr: Attr = [noAssign: FALSE, noXfer: FALSE, const: FALSE, either: FALSE];
fullAttr: Attr = [noAssign: TRUE, noXfer: TRUE, const: TRUE, either: TRUE];
voidAttr: Attr = [noAssign: TRUE, noXfer: TRUE, const: FALSE, either: FALSE];

And: PROC [a1: Attr, a2: Attr] RETURNS [Attr] = INLINE {
RETURN [LOOPHOLE [OSMiscOps.WordAnd[LOOPHOLE[a1, WORD], LOOPHOLE[a2, WORD]]]];
};
Safety: TYPE = {none, asserted, checked};
NarrowOp: TYPE = RECORD [
error, indirect, rtTest, tagTest, computed, unImpl: BOOL м FALSE];

lockNode: Tree.Index;		-- lambda expr for monitor lock
checkedANY: Symbols.CSEIndex;	-- typeANY in CHECKED code
NPUse: TYPE = {none, ref, set, refset, unsafe};	-- (name) param use
NPMap: TYPE = ARRAY NPUse OF ARRAY NPUse OF NPUse;

SetNP: ARRAY NPUse OF NPUse = [set, refset, set, refset, unsafe];

MergeNP: NPMap =
[[  none,    ref,    set, refset, unsafe],
[   ref,    ref, unsafe, unsafe, unsafe],
[   set, unsafe,    set, unsafe, unsafe],
[refset, unsafe, unsafe, unsafe, unsafe],
[unsafe, unsafe, unsafe, unsafe, unsafe]];

SequenceNP: NPMap =
[[  none,    ref,    set, refset, unsafe],
[   ref,    ref, refset, refset, unsafe],
[   set, unsafe,    set, unsafe, unsafe],
[refset, unsafe, refset, unsafe, unsafe],
[unsafe, unsafe, unsafe, unsafe, unsafe]];

BoundNP: NPMap =
[[  none,    ref,    set, refset, unsafe],
[   ref,    ref, unsafe, refset, unsafe],
[   set, unsafe,    set, refset, unsafe],
[refset, refset, refset, refset, unsafe],
[unsafe, unsafe, unsafe, unsafe, unsafe]];


DeclNotify, MiscNotify, StmtNotify, VRNotify: Alloc.Notifier;
ExpANotify, ExpCNotify: Alloc.Notifier;
SetDefaultImport: PROC [iCtx: IncludedCTXIndex, implicitOK: BOOLмFALSE];
DeclList: Tree.Scan;
FirstId: PROC [Tree.Index] RETURNS [ISEIndex];
InitialExp: PROC [Tree.Link, Type] RETURNS [v: Tree.Link, extended: BOOL];
MakeLongType: PROC [Type, Type] RETURNS [Type];
MakeRefType: PROC [cType, hint: Type, bits: NAT, readOnly, counted, var: BOOLмFALSE]
RETURNS [RefSEIndex];
ResolveType: PROC [ISEIndex];
ResolveValue: PROC [ISEIndex];
TypeAppl: Tree.Map;
TypeExp: Tree.Map;
IdInit: PROC;
IdReset: Tree.Scan;

ArrangeKeys: PROC
[expList: Tree.Link, nextKey: NextKeyProc, omittedValue: OmittedValueProc]
RETURNS [CARDINAL];
NextKeyProc: TYPE = PROC RETURNS [HTIndex];
OmittedValueProc: TYPE = PROC RETURNS [Tree.Link];
BaseTree: PROC [Tree.Link, Type] RETURNS [Tree.Link];
BindTree: PROC [Tree.Link, PROC [ISEIndex] RETURNS [Tree.Link]] RETURNS [Tree.Link];
BumpCount: PROC [ISEIndex];
CheckDisjoint: PROC [ctx1, ctx2: CTXIndex];
ClearRefStack: PROC [uvCheck: BOOL м TRUE];
CloseBase: PROC [Tree.Link, HTIndex];
ClusterId: PROC [HTIndex, CTXIndex] RETURNS [found: BOOL, sei: ISEIndex];
CompleteRecord: PROC [rSei: RecordSEIndex, depth: Closureм$unit];
CopyTree: Tree.Map;
EnterIdList: PROC [IncludedCTXIndex, Tree.Link];
EnterComposite: PROC [type: Type, t: Tree.Link, init: BOOL];
EnterType: PROC [type: Type, canonical: BOOLмTRUE];
FieldId: PROC [HTIndex, RecordSEIndex] RETURNS [NAT, ISEIndex];
FindSe: PROC [HTIndex] RETURNS [symbol: ISEIndex, base: Tree.Link, indirect: BOOL];
Id: PROC [HTIndex] RETURNS [Tree.Link];
InterfaceId: PROC [HTIndex, CTXIndex] RETURNS [found: BOOL, sei: ISEIndex];
MainIncludedCtx: PROC [MDIndex] RETURNS [IncludedCTXIndex];
MakeIdTable: PROC [CARDINAL];
OpenBase: PROC [Tree.Link, HTIndex] RETURNS [Tree.Link];
OpenPointer: PROC [Tree.Link, Type] RETURNS [Tree.Link, CSEIndex];
PopCtx: PROC;
PushCtx: PROC [CTXIndex];
PushHtCtx: PROC [HTIndex, Tree.Link, BOOL];
PushRecordCtx: PROC [RecordSEIndex, Tree.Link, BOOL]; 
RecordLhs: PROC [ISEIndex];
RecordMention: PROC [ISEIndex];
SealRefStack: PROC;
SearchCtxList: PROC [HTIndex, CTXIndex] RETURNS [found: BOOL, sei: ISEIndex];
Shared: PROC [CTXIndex] RETURNS [BOOL];
TopCtx: PROC RETURNS [CTXIndex];
UnsealRefStack: PROC;
UpdateTreeAttr: PROC [Tree.Link] RETURNS [attr: Attr];
CatchPhrase: PROC [Tree.Link] RETURNS [unwindCaught: BOOL];
Cons: PROC [Tree.Index, Type] RETURNS [Tree.Link];
CopyLock: PROC RETURNS [Tree.Link];
FindLockParams: PROC RETURNS [formal: ISEIndex, actual: ISEIndex];
InsertCatchLabel: SIGNAL [catchSeen: BOOL, exit: BOOL];
ItemType: PROC [Type] RETURNS [Type];
ListCons: PROC [Tree.Index, Type];
LockVar: PROC [Tree.Link] RETURNS [Tree.Link];
MakeFrameRecord: PROC [Tree.Link] RETURNS [CSEIndex];
MiscStmt: PROC [Tree.Index] RETURNS [Tree.Link];
MiscXfer: PROC [Tree.Index, Type] RETURNS [Tree.Link];
New: PROC [Tree.Index, Type];
TextRep: PROC [Type] RETURNS [TextForm];
XferForFrame: PROC [CTXIndex] RETURNS [CSEIndex];
pathNP: VAR NPUse;
AssignDefaults: PROC [ctx: CTXIndex, copyable: BOOL м FALSE] RETURNS [Tree.Link];
BodyList: PROC [firstBti: BTIndex];
BumpArgRefs: PROC [record: RecordSEIndex, write: BOOL];
Case: PROC [Tree.Index, Tree.Map];
CheckLocals: PROC [Tree.Link] RETURNS [localsOnly: BOOL];
SafetyAttr: PROC [Tree.Index] RETURNS [Safety];
SetSafety: PROC [Safety];
Scope: PROC [Tree.Index, Tree.Map];
Stmt: Tree.Map;
DiscriminatedType: PROC [CSEIndex, Tree.Link] RETURNS [CSEIndex];
Discrimination: PROC [Tree.Index, Tree.Map];
Narrowing: PROC [type, target: Type] RETURNS [NarrowOp];
SelectVariantType: PROC [Type, HTIndex] RETURNS [ISEIndex];
SequenceField: PROC [RecordSEIndex] RETURNS [ISEIndex];
VariantUnionType: PROC [Type] RETURNS [CSEIndex];
phraseNP: VAR NPUse;
All: PROC [node: Tree.Index, target: Type, init: BOOLмFALSE];
Apply: PROC [Tree.Index, Type, BOOL] RETURNS [Tree.Index];
Assignment: PROC [Tree.Index];
CheckLength: PROC [Tree.Link, INTEGER];
CheckScope: PROC [Tree.Link, Type] RETURNS [Tree.Link];
Dot: PROC [Tree.Index, Type] RETURNS [Tree.Index];
Extract: PROC [Tree.Index];
FieldDefault: PROC [ISEIndex] RETURNS [Tree.Link];
FieldVoid: PROC [Tree.Link] RETURNS [Tree.Link];
Initialization: PROC [Tree.Link, Type] RETURNS [Tree.Link];
InterfaceCtx: PROC [CSEIndex, Tree.Link] RETURNS [CTXIndex];
KeyedList: PROC [Tree.Link] RETURNS [BOOL];
MatchFields: PROC
[record: RecordSEIndex, expList: Tree.Link, init: BOOLмFALSE, scopeCheck: BOOLмTRUE]
RETURNS [Tree.Link];
VoidComponent: PROC [Type];
ClearType: PROC [type: Type, normalize: BOOL м TRUE] RETURNS [CSEIndex];
Exp: PROC [Tree.Link, Type] RETURNS [Tree.Link];
ForceType: PROC [Tree.Link, Type] RETURNS [Tree.Link];
Interval: PROC [Tree.Link, Type, BOOL];
RAttr: PROC RETURNS [Attr];
RAttrPop: PROC RETURNS [Attr];
Rhs: PROC [Tree.Link, Type] RETURNS [Tree.Link];
RPop: PROC;
RPush: PROC [Type, Attr];
RType: PROC RETURNS [Type];
SetType: PROC [Type];
UType: PROC RETURNS [CSEIndex];
VoidExp: Tree.Map;
AddrOp: PROC [Tree.Index, Type];
Range: PROC [Tree.Link, Type] RETURNS [Tree.Link];
Span: PROC [CSEIndex] RETURNS [first, last: MimosaCopier.SEToken];
}.

   D  
MimP3.mesa
Copyright ╙ 1985, 1986, 1987, 1990, 1991 by Xerox Corporation.  All rights reserved.
Satterthwaite, June 17, 1986 2:44:31 pm PDT
Russ Atkinson (RRA) February 5, 1990 7:15:49 pm PST
JKF August 15, 1988 1:39:44 pm PDT
text literals
attributes
safety (Cedar)
narrowing operations
variables exported from Pass3B
parameter use bookkeeping (for subst by name)
notifiers
exported by Pass3B
exported by Pass3D
exported by Pass3I
exported by Pass3M
exported by Pass3S
exported by Pass3V
exported by Pass3Xa
exported by Pass3Xb
RAttr followed by RPop
exported by Pass3Xc
 Э╩	в  ХNewlineDelimiter
Ц(cedarcode) styleЩ headЪЬ
Щ
IcodeЪЬ
╧eЬIЩTLЪ╧y+Щ+LЩ3LЩ"ЧШ Ъ╧k	Ш	LЪЬЯЬШLЪЬЯЬШLЪЬ
ЯЬШLЪЬЯЬwШДLЪЬЯЬШ$ЧЧЪ╧nЬЯШLЪЯЬШLЪЯЬ	ШLШ LЪЬЯЬЯЬ╧c Ш3ЧЩLЪЬ
ЯЬШ(ЧЩ
ЪЬЯЬЯЬШ'LЪЬ
ЯЬШLЪЬЯЬШLЪЬЯЬШLЪЬЯЬШLШ ЧLЪ	ЬЯЬ
ЯЬ	ЯЬ
ЯЬШPLЪ	ЬЯЬ
ЯЬ	ЯЬ
ЯЬШKLЪ	ЬЯЬ
ЯЬ	ЯЬ
ЯЬШMLШ ЪаЬЯЬЯЬ
ЯЬШ8LЪЯЬЯЬЯЬЯЬЯЬЯЬШNLЪЬШЧЧЩLЪЬЯЬШ)ЧЩЪЬ
ЯЬЯЬШLЪЬ4ЯЬЯЬШBLШ ЧЧЩLЪЬбШ6LЪЬбШ8ЧЩ-LЪЬЯЬ%бШCLЪЬЯЬЯЬЯЬЯЬЯЬШ2LШ LЪЬЯЬЯЬ,ШALШ ШШ*LШ)LШ)LШ)LШ*LШ ЧЧШШ*LШ)LШ)LШ)LШ*LШ ЧЧШШ*LШ)LШ)LШ)LШ*LШ LШ ЧЧЧЩ	LШ=LШ'ЧЩLЪаЬЯЬ&Я
ЬШHЧЩLЪаЬШLЪаЬЯЬЯЬШ.LЪа
ЬЯЬЯЬЯЬШJLЪаЬЯЬЯЬШ/LЪ
аЬЯЬЯЬЯ
ЬЯЬШjLЪаЬЯЬШLЪаЬЯЬШLЪаЬШLЪаЬШЧЩLЪаЬЯЬШLЪаЬШLШ ЪаЬЯЬKЯЬЯЬШpLЪЬЯЬЯЬЯЬШ+LЪЬЯЬЯЬЯЬШ2ЧLЪаЬЯЬЯЬШ5LЪ
аЬЯЬЯЬЯЬЯЬШTLЪа	ЬЯЬШLЪаЬЯЬШ+LЪаЬЯЬ
ЯЬЯЬШ+LЪа	ЬЯЬШ%LЪа	ЬЯЬЯЬ	ЯЬШILЪаЬЯЬ-ШALЪаЬШLЪаЬЯЬШ0LЪаЬЯЬ"ЯЬШ<LЪа	ЬЯЬЯ	ЬШ3LЪаЬЯЬЯЬЯЬШ?LЪаЬЯЬЯЬ/ЯЬШSLЪаЬЯЬЯЬШ'LЪаЬЯЬЯЬ	ЯЬШKLЪаЬЯЬЯЬШ;LЪаЬЯЬЯЬШLЪаЬЯЬЯЬШ8LЪаЬЯЬЯЬШBLЪаЬЯЬШLЪаЬЯЬШLЪа	ЬЯЬЯЬШ+LЪаЬЯЬЯЬШ6LЪа	ЬЯЬШLЪаЬЯЬШLЪаЬЯЬШLЪаЬЯЬЯЬ	ЯЬШMLЪаЬЯЬЯЬЯЬШ'LЪаЬЯЬШ LЪаЬЯЬШLЪаЬЯЬЯЬШ6ЧЩLЪаЬЯЬЯЬЯЬШ;LЪаЬЯЬЯЬШ2LЪаЬЯЬЯЬШ#LЪаЬЯЬЯЬ&ШBLЪаЬЯЬЯЬЯЬШ7LЪаЬЯЬЯЬШ%LЪаЬЯЬШ"LЪаЬЯЬЯЬШ.LЪаЬЯЬЯЬШ5LЪаЬЯЬЯЬШ0LЪаЬЯЬЯЬШ6LЪаЬЯЬШLЪаЬЯЬЯЬШ(LЪаЬЯЬЯЬШ1ЧЩLЪЬЯЬШLЪ
аЬЯЬЯЬЯЬЯЬШQLЪаЬЯЬШ#LЪаЬЯЬ ЯЬШ7LЪаЬЯЬШ"LЪаЬЯЬЯЬЯЬШ9LЪа
ЬЯЬЯЬ
Ш/LЪа	ЬЯЬ
ШLЪаЬЯЬШ#LЪаЬШЧЩLЪаЬЯЬЯЬШALЪаЬЯЬШ,LЪа	ЬЯЬЯЬШ8LЪаЬЯЬЯЬШ;LЪаЬЯЬЯЬШ7LЪаЬЯЬЯЬШ1ЧЩLЪЬ
ЯЬШLЪаЬЯЬ(Я
ЬШ=LЪаЬЯЬЯЬЯЬШ:LЪа
ЬЯЬШLЪаЬЯЬЯЬШ'LЪа
ЬЯЬЯЬШ7LЪаЬЯЬЯЬШ2LЪаЬЯЬШLЪаЬЯЬЯЬШ2LЪа	ЬЯЬЯЬШ0LЪаЬЯЬЯЬШ;LЪаЬЯЬЯЬШ<LЪа	ЬЯЬЯЬЯЬШ+LЪ
аЬЯЬ2Я
ЬЯ	ЬЯЬШ{LЪаЬЯЬШЧЩLЪ
а	ЬЯЬЯЬЯЬЯЬШHLЪаЬЯЬЯЬШ0LЪа	ЬЯЬЯЬШ6LЪаЬЯЬЯЬШ'LЪаЬЯЬЯЬШЪаЬЯЬЯЬШLЩЧLЪаЬЯЬЯЬШ0LЪаЬЯЬШLЪаЬЯЬШLЪаЬЯЬЯЬШLЪаЬЯЬШLЪаЬЯЬЯЬШLЪаЬШЧЩLЪаЬЯЬШ LЪаЬЯЬЯЬШ2LЪаЬЯЬЯЬ%ШBЧKШLШ Ч ЕЧ      'ш  