> <> <> <> <> <> <> <> <> beginSectionName: CHARACTER = '[; commentChar: CHARACTER = '-; endSectionName: CHARACTER = ']; nameBreak: CHARACTER = ':; separateSectionName: CHARACTER = ':; <> Error: PUBLIC SIGNAL [code: CmFile.ErrorCode] = CODE; TableError: PUBLIC SIGNAL [h: CmFile.Handle, name: Rope.ROPE] = CODE; <> <<>> emptyKey: CARD = CmFile.noMatch - 1; ambiguous: CARD = emptyKey - 1; UpperCase: PROCEDURE[c: CHAR] RETURNS[CHAR] ~{ IF c <= 'z AND c >= 'a THEN RETURN[c - 'a + 'A]; RETURN[c]; }; InitialInternal: PUBLIC PROCEDURE [ key, entry: Rope.ROPE, maxLength: CARDINAL, caseFold: BOOLEAN Ź TRUE] RETURNS [matchLength: CARDINAL] = < 0>> <= maxLength AND entry.length >= maxLength>> { matchLength Ź 0; IF caseFold THEN DO IF UpperCase[key.Fetch[matchLength]] # UpperCase[entry.Fetch[matchLength]] THEN EXIT; IF (matchLength Ź matchLength + 1) = maxLength THEN EXIT; ENDLOOP ELSE DO IF key.Fetch[matchLength] # entry.Fetch[matchLength] THEN EXIT; IF (matchLength Ź matchLength + 1) = maxLength THEN EXIT; ENDLOOP; }; InTable: PUBLIC PROCEDURE [key: Rope.ROPE, table: CmFile.TableDesc, caseFold: BOOLEAN Ź TRUE, noAbbreviation: BOOLEAN Ź FALSE] RETURNS [index: CARDINAL] = <> { keyLength: INT; IF Rope.IsEmpty[key] THEN {index Ź emptyKey; GOTO Return}; index Ź CmFile.noMatch; keyLength Ź key.Length[]; FOR i: CARDINAL IN [0..table.len) DO entry: Rope.ROPE = table[i]; lengthsAreSame: BOOLEAN; SELECT entry.Length[] FROM < keyLength => LOOP; -- empty entry takes this arm -- keyLength => lengthsAreSame Ź TRUE; ENDCASE => IF noAbbreviation THEN LOOP ELSE lengthsAreSame Ź FALSE; { leng: INT Ź InitialInternal[key, entry, keyLength, caseFold]; SELECT leng FROM < keyLength => NULL; keyLength => { IF lengthsAreSame THEN {index Ź i; EXIT}; index Ź (IF index = CmFile.noMatch THEN i ELSE ambiguous); }; ENDCASE; }; ENDLOOP; EXITS Return => NULL; }; <> FreeString: PUBLIC PROCEDURE [s: Rope.ROPE] RETURNS [nil: Rope.ROPE Ź NIL] = {--Heap.systemZone.FREE[@s]--}; Close: PUBLIC PROCEDURE [h: CmFile.Handle] RETURNS [nil: CmFile.Handle] = { repH: Handle Ź Validate[h]; repH.sh.Close --delete--[--repH.sh--]; repH.tokenData.getChar Ź NIL; -- make sure deallocated object will not look valid <> RETURN[h]}; <> <> <> <> <> <> <> < GOTO NoFile];>> <> <> <> <<[tag, value] _ NextItem[h ! UNWIND => h _ Close[h]];>> <> <> <> <> <> <> <> < NULL;>> <> Open: PUBLIC PROCEDURE [fileName: Rope.ROPE] RETURNS [h: CmFile.Handle] = BEGIN repH: Handle; BEGIN fh: PFS.OpenFile; --MFile.Handle; sh: IO.STREAM; --Stream.Handle; <> <> fh Ź PFS.Open[ PFS.PathFromRope[fileName], read ! PFS.Error => GOTO Lose]; sh Ź PFS.StreamFromOpenFile[fh, read ! PFS.Error => {PFS.Close[fh]; GOTO Lose}]; repH Ź NEW[ Object Ź [tokenData: [getChar: GetChar, break: Ascii.NUL ], sh: sh]]; EXITS Lose => {SIGNAL Error[fileNotFound]; RETURN[NIL]}; END; h Ź RepToAbs[repH]; END; ReadLineOrToken: PUBLIC PROCEDURE [ h: Token.Handle, buffer: Rope.ROPE, terminator: CHARACTER] = TRUSTED <> BEGIN buffer Ź NIL; --buffer.length Ź 0; <> WHILE SELECT (h.break Ź h.getChar[h]) FROM Ascii.SP, Ascii.TAB => TRUE, ENDCASE => FALSE DO ENDLOOP; <> DO SELECT h.break FROM terminator, Ascii.CR, Ascii.NUL => EXIT; ENDCASE; buffer Ź ARAccess.AppendChar[buffer, h.break]; <> < GOTO TooMany];>> h.break Ź h.getChar[h]; ENDLOOP; < NULL;>> END; TitleMatch: PUBLIC PROCEDURE [buffer, title: Rope.ROPE] RETURNS [BOOLEAN] = BEGIN llSubString, titleSubString: Rope.ROPE; --String.SubStringDescriptor; IF buffer.Length < title.Length + 2 OR buffer.Fetch[0] # beginSectionName OR buffer.Fetch[title.Length + 1] # endSectionName THEN RETURN[FALSE]; llSubString Ź Rope.Substr[buffer, 1, title.Length]; titleSubString Ź Rope.Substr[title, 0, title.Length]; RETURN[Rope.Equal[llSubString, titleSubString]]; END; <> WhiteSpace: PUBLIC Token.FilterProcType = { RETURN[WhiteSpaceInline[c]]; }; WhiteSpaceInline: PROCEDURE [c: CHAR] RETURNS [ --isWhiteSpace:-- BOOLEAN] = INLINE { RETURN[SELECT c FROM Ascii.SP, Ascii.TAB, Ascii.CR, Ascii.LF => TRUE, ENDCASE => FALSE]; }; FindSection: PUBLIC PROCEDURE [h: CmFile.Handle, title: Rope.ROPE] RETURNS [opened: BOOLEAN] = BEGIN localLine: Rope.ROPE Ź NIL; --[lineSize]; repH: Handle = Validate[h]; genericIndex: LONG CARDINAL Ź noSection; qualifiedTitle: Rope.ROPE; <> localLine Ź ARAccess.AppendChar[localLine, separateSectionName]; <> localLine Ź localLine.Concat[title]; <> qualifiedTitle Ź localLine; <> <> IF IsUserDotCm[repH] THEN { str: Rope.ROPE; doneOne: BOOLEAN Ź FALSE; temp: HintHandle; SELECT Rope.Compare[qualifiedTitle, title] FROM less => str Ź qualifiedTitle; greater => str Ź title; ENDCASE; <> FOR l: HintHandle Ź sectionHints, temp UNTIL l = NIL DO SELECT Rope.Compare[str, l.name] FROM equal => { IF str = title THEN genericIndex Ź l.position ELSE repH.specificIndex Ź l.position; IF doneOne THEN EXIT; temp Ź l.next}; greater => {temp Ź l.next; LOOP}; ENDCASE => temp Ź l; -- didn't find first title, so advance to second title IF doneOne THEN EXIT; doneOne Ź TRUE; IF str = qualifiedTitle THEN str Ź title ELSE str Ź qualifiedTitle; ENDLOOP; <> } ELSE { IO.SetIndex[repH.sh, 0]; DO ENABLE UNWIND => NULL; --Heap.systemZone.FREE[@qualifiedTitle]; ReadLine[h, localLine]; IF h.break = Ascii.NUL THEN EXIT; IF localLine.Length # 0 AND localLine.Fetch[0] = beginSectionName THEN BEGIN IF TitleMatch[localLine, qualifiedTitle] THEN BEGIN repH.specificIndex Ź IO.GetIndex[repH.sh]; IF genericIndex # noSection THEN EXIT; END; IF TitleMatch[localLine, title] THEN BEGIN genericIndex Ź IO.GetIndex[repH.sh]; IF repH.specificIndex # noSection THEN EXIT; END; END; ENDLOOP}; <> <> IF opened Ź (genericIndex # noSection) THEN IO.SetIndex[repH.sh, genericIndex] ELSE opened Ź ~TrySpecific[h]; END; TrySpecific: PROCEDURE [h: CmFile.Handle] RETURNS [alreadyDone: BOOLEAN] = BEGIN repH: Handle = Validate[h]; IF ~(alreadyDone Ź (repH.specificIndex = noSection)) THEN { IO.SetIndex[repH.sh, repH.specificIndex]; repH.specificIndex Ź noSection}; END; NextItem: PUBLIC PROCEDURE [h: CmFile.Handle] RETURNS [name, value: Rope.ROPE] = TRUSTED BEGIN localLine: Rope.ROPE Ź NIL; --[lineSize]; DO ReadName[h, localLine]; IF h.break = nameBreak THEN EXIT; IF TrySpecific[h] THEN RETURN[NIL, NIL]; ENDLOOP; name Ź localLine; <> value Ź Token.Filtered[h: h, data: NIL, filter: Token.Line, skip: whiteSpace, temporary: FALSE]; FOR i: CARDINAL DECREASING IN [0..value.Length) DO IF ~WhiteSpace[value.Fetch[i], NIL] THEN { value Ź Rope.Substr[value, 0, i+1]; <> EXIT }; ENDLOOP; END; FindItem: PUBLIC PROCEDURE [h: CmFile.Handle, title, name: Rope.ROPE] RETURNS [found: BOOLEAN] = BEGIN localLine: Rope.ROPE Ź NIL; --[lineSize]; IF ~FindSection[h, title] THEN RETURN[FALSE]; DO GobbleRestOfLine[h]; -- consume any parts of preceding line left over by client ReadName[h, localLine]; IF h.break = nameBreak THEN SELECT TRUE FROM Rope.Equal[name, localLine] => RETURN[TRUE]; ENDCASE => LOOP; IF TrySpecific[h] THEN RETURN[FALSE]; ENDLOOP; END; NextValue: PUBLIC PROCEDURE [h: CmFile.Handle, table: CmFile.TableDesc] RETURNS [index: CARDINAL] = BEGIN localLine: Rope.ROPE Ź NIL; --[lineSize]; DO GobbleRestOfLine[h]; -- consume any parts of preceding line left over by client ReadName[h, localLine]; IF h.break # nameBreak THEN IF TrySpecific[h] THEN RETURN[CmFile.noMatch] ELSE {h.break Ź Ascii.CR; LOOP}; index Ź InTable[localLine, table, TRUE, TRUE].index; IF index < table.len THEN EXIT; SIGNAL TableError[h, localLine]; ENDLOOP; END; <> <> <> <> <> <> <> GetChar: PRIVATE Token.GetCharProcType = BEGIN repH: Handle = AbsToRep[h]; c Ź IO.GetChar[repH.sh ! IO.EndOfStream => {c Ź Ascii.NUL; CONTINUE}] END; GobbleRestOfLine: PRIVATE PROCEDURE [h: CmFile.Handle] = TRUSTED BEGIN WHILE SELECT h.break FROM Ascii.CR, Ascii.NUL => FALSE, ENDCASE => TRUE DO h.break Ź h.getChar[h]; ENDLOOP; END; IsCommentLine: PRIVATE PROCEDURE [s: Rope.ROPE] RETURNS [BOOLEAN] = BEGIN RETURN[s.Length > 1 AND s.Fetch[0] = commentChar AND s.Fetch[1] = commentChar]; END; IsUserDotCm: PRIVATE PROCEDURE [repH: Handle] RETURNS [BOOLEAN] = BEGIN RETURN [FALSE]; <> <<[] _ MFile.GetProperties[MStream.GetFile[repH.sh], name];>> <> END; ReadLine: PRIVATE PROCEDURE [h: CmFile.Handle, buffer: Rope.ROPE] = <> BEGIN DO ReadLineOrToken[h, buffer, Ascii.CR]; IF h.break # Ascii.CR OR ~IsCommentLine[buffer] THEN EXIT; ENDLOOP; END; ReadName: PRIVATE PROCEDURE [h: CmFile.Handle, buffer: Rope.ROPE] = <> <> <> <> BEGIN DO ReadLineOrToken[h, buffer, nameBreak]; IF h.break = Ascii.NUL THEN EXIT; IF buffer.Length # 0 AND ~IsCommentLine[buffer] THEN IF buffer.Fetch[0] = beginSectionName THEN { GobbleRestOfLine[h]; h.break Ź Ascii.NUL; EXIT} ELSE IF h.break = nameBreak THEN EXIT; GobbleRestOfLine[h]; ENDLOOP; END; CmFileQuote: Token.QuoteProcType = BEGIN RETURN[SELECT c FROM '" => c, ENDCASE => Token.nonQuote]; END; <> <> <> <> <> <> <> <> <> < {c _ Ascii.NUL; CONTINUE}]};>> <<>> <> < CONTINUE];>> <> <> <> <> <> <> <> <> < LOOP;>> <> <> <> <> <> <> <<-1 => list _ z.NEW[HintObject _ [name, position, list]];>> <<0 => z.FREE[@name];>> < {>> <> <