
DIRECTORY Atom, BasicTime, Convert, EditNotify, SymTab, IO, MesaAnalyses, MessageWindow, NodeProps, Rope, TDLexing, TextNode, TiogaStreams;

MesaAnalysesImpl: CEDAR PROGRAM
IMPORTS Atom, BasicTime, Convert, EditNotify, SymTab, IO, MessageWindow, NodeProps, Rope, TDLexing, TextNode, TiogaStreams
EXPORTS MesaAnalyses
=

BEGIN OPEN MesaAnalyses;

analysisProp: ATOM м Atom.MakeAtom[IO.PutFR1["MesaAnalysesImpl, loaded at %g, analysisProp", [time[BasicTime.Now[]]]]];

debug: BOOL м FALSE;

Invalidate: PROC [root: TiogaNode] = {
NodeProps.PutProp[root, analysisProp, NIL];
IF debug THEN MessageWindow.Append["Flushing a Mesa Analysis", TRUE];
};

AnalysisFromRoot: PROC [root: TiogaNode] RETURNS [MesaAnalysis] ~ {
IF root=NIL THEN RETURN [NIL];
RETURN [NARROW[NodeProps.GetProp[root, analysisProp]]]};

EventWatcher: PROC [change: REF READONLY EditNotify.Change] --EditNotify.EditNotifyProc-- = {
WITH change SELECT FROM
x: REF READONLY ChangingView EditNotify.Change => NULL;
x: REF READONLY ChangingText EditNotify.Change => {
root: TiogaNode ~ TextNode.Root[x.text];
ma: MesaAnalysis м AnalysisFromRoot[root];
IF ma # NIL THEN {
startPosition: INT = TextNode.LocOffset[[root, 0], [x.text, x.start]];
IF startPosition <= ma.prefixEnd THEN Invalidate[root];
};
};
x: REF READONLY ChangingSpanForPaste EditNotify.Change => NULL;
x: REF READONLY ChangingProp EditNotify.Change => IF x.name = NodeProps.nameComment THEN {
root: TiogaNode ~ TextNode.Root[x.node];
ma: MesaAnalysis м AnalysisFromRoot[root];
IF ma # NIL THEN {
startPosition: INT = TextNode.LocOffset[[root, 0], [x.node, 0]];
IF startPosition <= ma.prefixEnd THEN Invalidate[root];
};
};
x: REF READONLY MovingNodes EditNotify.Change => NULL--wrong, but I don't understand this kind, and it probably won't happen anyway--;
x: REF READONLY NodeNesting EditNotify.Change => NULL;
x: REF READONLY InsertingNode EditNotify.Change => {
root: TiogaNode ~ TextNode.Root[x.dest];
ma: MesaAnalysis м AnalysisFromRoot[root];
IF ma # NIL THEN {
startPosition: INT = TextNode.LocOffset[[root, 0], [x.new, 0]];
IF startPosition <= ma.prefixEnd THEN Invalidate[root];
};
};
ENDCASE => ERROR;
};

GetAnalysis: PUBLIC PROC [doc: TiogaNode, docName: ROPE, verbose: BOOL] RETURNS [ma: MesaAnalysis] = {
ma м NARROW[NodeProps.GetProp[doc, analysisProp]];
IF ma # NIL THEN RETURN;
IF verbose THEN MessageWindow.Append[Rope.Cat["Analyzing ", docName, " ..."], TRUE];
ma м Analyze[doc, docName];
IF verbose THEN MessageWindow.Append[" done", FALSE];
NodeProps.PutProp[doc, analysisProp, ma];
};

SyntaxError: ERROR = TDLexing.SyntaxError;
Token: TYPE = TDLexing.Token;

Analyze: PROC [doc: TiogaNode, docName: ROPE] RETURNS [ma: MesaAnalysis] = {
in: IO.STREAM = TiogaStreams.CreateInput[doc, [FALSE[]] ];
l: TDLexing.Lexer = TDLexing.MakeLexer[in, GetSourcePosition];
AddIT: PROC [namePos: PositionRange, name, typeClass, fileHint: ROPE, usingList: SymbolTable] RETURNS [it: InterfaceType] = {
it м NEW [InterfaceTypePrivate м [namePos, name, typeClass, fileHint, usingList]];
[] м ma.interfaceTypes.Store[it.name, it];
[] м ma.globalDefs.Store[it.name, it];
};
AddIR: PROC [namePos: PositionRange, name: ROPE, it: InterfaceType] RETURNS [ir: InterfaceRecord] = {
ir м NEW [InterfaceRecordPrivate м [namePos, name, it]];
[] м ma.interfaceRecords.Store[ir.name, ir];
[] м ma.globalDefs.Store[ir.name, ir];
};
EnsureIT: PROC [namePos: PositionRange, itName: ROPE] RETURNS [it: InterfaceType] = {
it м NARROW[ma.interfaceTypes.Fetch[itName].val];
IF it = NIL THEN it м AddIT[namePos, itName, itName, itName.Concat[".mesa"], NIL];
};
EnsureIR: PROC [namePos: PositionRange, irName: ROPE] RETURNS [ir: InterfaceRecord] = {
ir м NARROW[ma.interfaceRecords.Fetch[irName].val];
IF ir = NIL THEN {
it: InterfaceType = EnsureIT[namePos, irName];
ir м AddIR[namePos, irName, it];
};
};
ParseDirectory: PROC = {
toke: Token = l.GetToken[];
IF NOT toke.rope.Equal["DIRECTORY"] THEN {l.ReturnToken[toke]; RETURN};
DO
name, class, fileHint: ROPE;
usingList: SymbolTable м NIL;
namePos: PositionRange м [l.GetPosition[beforeNext], 0];
name м class м l.GetRope[tokenID];
namePos.after м l.GetPosition[afterLast];
fileHint м name.Concat[".mesa"];
IF l.NextIs[":"] THEN SELECT l.GetKwd[] FROM
$TYPE => {
toke2: Token = l.GetToken[];
IF toke2.kind = tokenID AND NOT TDLexing.ReservedWord[toke2.rope]
THEN class м toke2.rope
ELSE l.ReturnToken[toke2];
};
$FROM => fileHint м Convert.RopeFromLiteral[l.GetRope[tokenROPE]];
ENDCASE => SyntaxError[];
IF l.NextIs["USING"] THEN {
usingList м CreateSymbolTable[];
IF NOT l.NextIs["["] THEN SyntaxError[];
IF NOT l.NextIs["]"] THEN {
DO
eltName: ROPE = l.GetRope[tokenID];
[] м usingList.Insert[eltName, $T];
IF NOT l.NextIs[","] THEN EXIT;
ENDLOOP;
IF NOT l.NextIs["]"] THEN SyntaxError[];
};
};
{it: InterfaceType = AddIT[namePos, name, class, fileHint, usingList];
ir: InterfaceRecord = AddIR[namePos, name, it];
IF NOT l.NextIs[","] THEN EXIT;
}ENDLOOP;
IF NOT l.NextIs[";"] THEN SyntaxError[];
};
ParseModuleType: PROC RETURNS [mt: ModuleType] = {
IF l.NextIs["DEFINITIONS"] THEN RETURN [defs];
IF l.NextIsA[LIST["SAFE", "UNSAFE"]] THEN NULL;
IF l.NextIs["PROGRAM"] THEN mt м prog
ELSE IF l.NextIs["MONITOR"] THEN mt м monitor
ELSE SyntaxError[];
};
ParseImports: PROC = {
IF NOT l.NextIs["IMPORTS"] THEN RETURN;
DO
irName: ROPE;
namePos: PositionRange м [l.GetPosition[beforeNext], 0];
irName м l.GetRope[tokenID];
namePos.after м l.GetPosition[afterLast];
IF l.NextIs[":"] THEN {
itName: ROPE;
itNamePos: PositionRange м [l.GetPosition[beforeNext], 0];
itName м l.GetRope[tokenID];
itNamePos.after м l.GetPosition[afterLast];
{it: InterfaceType = EnsureIT[itNamePos, itName];
[] м AddIR[namePos, irName, it];
}};
IF NOT l.NextIs[","] THEN EXIT;
ENDLOOP;
};
ParseOpen: PROC = {
IF NOT l.NextIs["OPEN"] THEN {
ma.bodyStart м l.GetPosition[afterLast];
[] м l.GetToken[];
ma.prefixEnd м l.GetPosition[afterLast]+1;
RETURN;
};
DO
n1: ROPE;
namePos: PositionRange м [l.GetPosition[beforeNext], 0];
n1 м l.GetRope[tokenID];
namePos.after м l.GetPosition[afterLast];
IF l.NextIsA[LIST[":", "~~"]] THEN {
n2: Token = l.GetToken[];
IF n2.kind # tokenID THEN SyntaxError;
{it: InterfaceType = EnsureIT[[n2.before, n2.after], n2.rope];
[] м AddIR[namePos, n1, it];
}}
ELSE {
ir: InterfaceRecord = EnsureIR[namePos, n1];
IF ir.type.usingList # NIL THEN {
AddElt: PROC [key, val: REF ANY] RETURNS [quit: BOOL м FALSE]--SymTab.EachPairAction-- = {
eltName: ROPE = NARROW[key];
ie: InterfaceElement = NEW [InterfaceElementPrivate м [eltName, ir]];
[] м ma.interfaceElements.Store[eltName, ie];
[] м ma.globalDefs.Store[eltName, ie];
};
[] м ir.type.usingList.Pairs[AddElt];
}
ELSE {
ma.openedWithoutUsingList м CONS[ir, ma.openedWithoutUsingList];
};
};
IF NOT l.NextIs[","] THEN EXIT;
ENDLOOP;
IF NOT l.NextIs[";"] THEN SyntaxError[];
ma.bodyStart м ma.prefixEnd м l.GetPosition[afterLast];
};
ma м NEW [MesaAnalysisPrivate м [
moduleType: defs,
globalDefs: CreateSymbolTable[],
interfaceRecords: CreateSymbolTable[],
interfaceTypes: CreateSymbolTable[],
interfaceElements: CreateSymbolTable[],
bodyStart: 0, prefixEnd: 0
]];
{ENABLE SyntaxError => {
MessageWindow.Append[
message: IO.PutFR["Syntax error in %g before %g", [rope[docName]], [integer[l.GetPosition[afterLast]]]],
clearFirst: TRUE];
ma.bodyStart м ma.prefixEnd м l.GetPosition[beforeNext];
CONTINUE;
};
ParseDirectory[];
ma.moduleName м l.GetRope[tokenID];
IF NOT l.NextIs[":"] THEN SyntaxError[];
IF l.NextIs["CEDAR"] THEN NULL;
ma.moduleType м ParseModuleType[];
l.SkipTo[LIST["IMPORTS", "SHARES", "~", "="]];
ParseImports[];
l.SkipTo[LIST["~", "="]];
IF NOT l.NextIsA[LIST["~", "="]] THEN ERROR;
IF l.NextIsA[LIST["PUBLIC", "PRIVATE"]] THEN NULL;
IF ma.moduleType # defs AND l.NextIsA[LIST["CHECKED", "TRUSTED", "UNCHECKED"]] THEN NULL;
IF NOT l.NextIsA[LIST["BEGIN", "{"]] THEN SyntaxError[];
ParseOpen[];
};
};

GetSourcePosition: PROC [in: IO.STREAM] RETURNS [index: INT]--TDLexing.IndexGetter-- = {
loc: TextNode.Location = TiogaStreams.CurInLoc[in];
index м TextNode.LocNumber[loc];
};

CreateSymbolTable: PROC RETURNS [st: SymbolTable] = {
st м SymTab.Create[case: TRUE]};

EditNotify.AddNotifyProc[EventWatcher, after, low];

END.
   В  
MesaAnalysesImpl.mesa
Copyright ╙ 1992 by Xerox Corporation.  All rights reserved.
Mike Spreitzer May 15, 1992 2:57 pm PDT
Э╩	?  Ц(cedarcode) styleХNewlineDelimiter
Щ codeЩKЪЬ
╧eЬ1Щ<KЩ'ЧKШ KЪ╧k	Ь/ЮЬQШЛKШ Ъ╧nЬЮЬЮШKЪЮЬ/ЮЬBШzKЪЮЬШKШЧKШ KЪЮЬЮЬШKШ KЪЬЮЬЮЬRШwKШ KЪЬЮЬЮЬШKШ ЪЯ
ЬЮЬШ&KЪЬ&ЮЬШ+KЪЮЬЮЬ2ЮЬШEKШЧKШ ЪЯЬЮЬЮЬШCKЪ
ЮЬЮЬЮЬЮЬЮЬШKЪЮЬЮЬ*Ш8ЧKШ Ъ
ЯЬЮЬ
ЮЬЮЬ╧cЬШ]ЪЮЬЮЬЮШKЪЬЮЬЮЬ#ЮЬШ7ЪЬЮЬЮЬ$Ш3KШ(KШ*ЪЮЬЮЬЮЬШKЪЬЮЬ4ШFKЪЮЬЮЬШ7KШЧKШЧKЪЬЮЬЮЬ+ЮЬШ?Ъ	ЬЮЬЮЬ#ЮЬ ЮЬШZKШ(KШ*ЪЮЬЮЬЮЬШKЪЬЮЬ.Ш@KЪЮЬЮЬШ7KШЧKШЧKЪЬЮЬЮЬ"ЮаPЬШЖKЪЬЮЬЮЬ"ЮЬШ6ЪЬЮЬЮЬ%Ш4KЪЬ(Ш(KШ*ЪЮЬЮЬЮЬШKЪЬЮЬ-Ш?KЪЮЬЮЬШ7KШЧKШЧKЪЮЬЮЬШЧKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬЮЬШfKЪЬЮЬ'Ш2KЪЮЬЮЬЮЬЮЬШKЪЮЬ	ЮЬ?ЮЬШTKШKЪЮЬ	ЮЬЮЬШ5KЪЬ)Ш)KЪЬШЧKШ KЪЯЬЮЬШ*KЪЬЮЬШKШ ЪЯЬЮЬЮЬЮЬШLKЪЬЮЬЮЬ"ЮЬШ:KШ>ЪЯЬЮЬ5ЮЬЮЬШ}KЪЬЮЬJШRKШ*KШ&KШЧЪЯЬЮЬ ЮЬЮЬШeKЪЬЮЬ0Ш8KШ,KШ&KШЧЪЯЬЮЬ"ЮЬЮЬШUKЪЬЮЬ&Ш1KЪЮЬЮЬЮЬ=ЮЬШRKШЧЪЯЬЮЬ"ЮЬЮЬШWKЪЬЮЬ(Ш3ЪЮЬЮЬЮЬШKЪЬ.Ш.KШ KЪЬШЧKШЧЪЯЬЮЬШKШKЪЮЬЮЬЮЬЮЬШGЪЮШKЪЬЮЬШKЪЬЮЬШKШ8KШ"KШ)KШ ЪЮЬЮЬЮЬЮШ,ЪЬ
Ш
KШЪЮЬЮЬЮЬ"ШAKЪЮЬШKЪЮЬШЧKШЧKШBKЪЮЬШЧЪЮЬЮЬШKШ KЪЮЬЮЬЮЬШ(ЪЮЬЮЬЮЬШЪЮШKЪЬ	ЮЬШ#KШ#KЪЮЬЮЬЮЬЮЬШKЪЮЬШЧKЪЮЬЮЬЮЬШ(KШЧKШЧKЪЬFШFKЪЬ/Ш/KЪЮЬЮЬЮЬЮЬШKЪЬЮЬШ	ЧKЪЮЬЮЬЮЬШ(KШЧЪЯЬЮЬЮЬШ2KЪЮЬЮЬЮЬШ.KЪЮЬЮЬЮЬЮЬШ/KЪЮЬЮЬ
Ш%KЪЮЬЮЬЮЬШ-KЪЮЬШKШЧЪЯЬЮЬШKЪЮЬЮЬЮЬЮЬШ'ЪЮШKЪЬЮЬШKШ8KШKШ)ЪЮЬЮЬШKЪЬЮЬШKШ:KШKШ+KЪЬ1Ш1KШ KШЧKЪЮЬЮЬЮЬЮЬШKЪЮЬШЧKШЧЪЯ	ЬЮЬШЪЮЬЮЬЮЬШKШ(KШKШ*KЪЮЬШKШЧЪЮШKЪЬЮШ	KШ8KШKШ)ЪЮЬЮЬЮЬШ$KЪЬШKЪЮЬЮЬШ&KЪЬ>Ш>KШKШЧЪЮЬШKЪЬ,Ш,ЪЮЬЮЬЮЬШ!ЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬаЬШZKЪЬ	ЮЬЮЬШKЪЬЮЬ+ШEKШ-KШ&KШЧKШ%KШЧЪЮЬШKЪЬЮЬ Ш@KШЧKШЧKЪЮЬЮЬЮЬЮЬШKЪЮЬШЧKЪЮЬЮЬЮЬШ(KШ7KШЧЪЬЮЬШ!KШKШ KШ&KШ$KШ'KЪЬШKЪЬШЧЪЬЮЬШШKЪЬ	ЮЬ]ШhKЪЬЮЬШЧKШ8KЪЮЬШ	KЪЬШЧKШKШ#KЪЮЬЮЬЮЬШ(KЪЮЬЮЬЮЬШKШ"KЪЬ	ЮЬ!Ш.KШKЪЬ	ЮЬШKЪ
ЮЬЮЬЮЬЮЬЮЬШ,KЪЮЬЮЬЮЬЮЬШ2KЪ
ЮЬЮЬЮЬ%ЮЬЮЬШYKЪЮЬЮЬЮЬЮЬШ8KШKШKШЧKШ ЪЯЬЮЬЮЬЮЬЮЬ	ЮЬаЬШXKЪЬ3Ш3KШ KШЧKШ ЪЯЬЮЬЮЬШ5KЪЬЮЬШ ЧKШ KЪЬ3Ш3KШ KЪЮЬШЧ ЕЧ    т  )г  