DIRECTORYBasics USING [Comparison],Rope USING [ROPE],Rosary USING [ROSARY];IndexProps: CEDAR DEFINITIONS= BEGINROPE: TYPE ~ Rope.ROPE;IndexEntryList: TYPE ~ Rosary.ROSARY;  -- immutable list of index entriesIndexEntry: TYPE = REF IndexEntryRec;IndexEntryRec: TYPE = RECORD [kindOfIndex: ATOM,  -- for example: $Index, $AuthorIndex, $InterfaceIndex, $CommandIndexkindOfEntry: ATOM,  -- for example: $Ordinary, $See, $SeeAlso, $Definition, $Examplephrases: Phrases,seePhrases: Phrases _ NIL,sortAsPhrases: Phrases _ NIL];Phrases: TYPE = LIST OF ROPE;EntryToRope: PROCEDURE [ix: IndexEntry] RETURNS [rope: ROPE];RopeToEntry: PROCEDURE [rope: ROPE] RETURNS [ix: IndexEntry];Compare: PROC [ix1, ix2: IndexEntry]RETURNS [result: Basics.Comparison, unmatched: Phrases];AddEntryToList: PROCEDURE [ix: IndexEntry, ixList: IndexEntryList]RETURNS [IndexEntryList];IndexEntryProc: TYPE ~ PROC [ix: IndexEntry];MapIndexEntryList: PROCEDURE [ixList: IndexEntryList, action: IndexEntryProc];MalformedPropRope: ERROR;KeywordExpectedButMissing: ERROR;UnrecognizedKeyword: ERROR;SuperfluousStuff: ERROR;MalformedIndexPhrases: ERROR;END.   Z  IndexProps.mesaCopyright c 1985 by Xerox Corporation.  All rights reserved.Rick Beach, April 6, 1985 9:01:27 pm PSTinvariant: the phrases list always has an even number of ropeseach phrase is a pair of ropes: its contents and formattingconvert an index entry into a rope for storing the propertyparse a (presumed) index entry into the internal data structure representationcompare two index entries, field by field,but substituting sortAsPhrases for corresponding phraseseliminate duplicates and maintain list in sorted orderfor each index entry on the list, perform the map action Ê,  ˜ code™Kšœ
Ïmœ1™<K™(—K˜ šÏk	˜	Kšœžœ˜Kšœžœžœ˜Kšœžœžœ˜—K˜ KšÐbl
œžœž˜šœž˜K˜ Kšžœžœžœ˜K˜ Kšœžœ
žœÏc"˜IK˜ Kšœžœžœ˜%šœžœžœ˜Kšœžœ D˜XKšœžœ @˜TKšœ˜Kšœžœ˜Kšœž˜K˜K˜ —š	œ	žœžœžœžœ˜Kšœ>™>K™;—K˜ šÏnœž	œžœžœ˜=K™;K˜ —•StartOfExpansion[]š¡œž	œžœžœ˜=K™NK™ —š¡œžœžœ1˜]K™cK™ —–[]š¡œž	œ*žœ˜\K™6K˜ —–[]šœžœžœ˜-K™ —–[]š¡œž	œ2˜NK™8K˜ —Kšœžœ˜Kšœžœ˜!Kšœžœ˜Kšœžœ˜Kšœžœ˜—K˜ Kšžœ˜K˜ K˜ — …—    Œ  	  