DIRECTORYBooting USING [switches, RollbackProc, RegisterProcs],Convert USING [IntFromRope],File USING [IsDebugger, SystemVolume],FS USING [FileInfo, Error, StreamOpen],IO USING [Backup, BreakProc, Close, CR, EndOfStream, Error, GetChar, GetIndex, GetRopeLiteral, GetTokenRope, int, PeekChar, PutF, PutFR, rope, SP, STREAM, TAB, time],Process USING [Detach],Rope USING [Cat, Concat, Equal, ROPE, SkipTo, Substr],RuntimeError USING [UNCAUGHT],UserCredentials USING [CredentialsChangeProc, Get, RegisterForChange],UserProfile USING [ProfileChangeReason, ProfileChangedProc];UserProfileImpl: CEDAR MONITORIMPORTS Booting, Convert, File, FS, IO, Process, Rope, RuntimeError, UserCredentials  EXPORTS UserProfile = BEGINProfileList: TYPE = LIST OF ProfileEntry;ProfileEntry: TYPE = REF ProfileRecord;ProfileRecord: TYPE = RECORD[key: ROPE, tokens: LIST OF ROPE, position: INT];ROPE: TYPE = Rope.ROPE;ProfileChangedItem: TYPE = RECORD [proc: UserProfile.ProfileChangedProc,clientData: REF ANY];Boolean: PUBLIC PROC [key: ROPE, default: BOOL _ FALSE] RETURNS [value: BOOL] = {entry: ProfileEntry = Lookup[key];val: ROPE = GetRope[entry];IF val = NIL THEN RETURN[default];IF val.Equal["TRUE", FALSE] THEN RETURN[TRUE];IF val.Equal["FALSE", FALSE] THEN RETURN[FALSE];Report[entry, val.Concat[" is not a Boolean"]];RETURN[default];};Number: PUBLIC PROC [key: ROPE, default: INT] RETURNS [value: INT] = {entry: ProfileEntry = Lookup[key];val: ROPE = GetRope[entry];IF val = NIL THEN RETURN[default];value _ Convert.IntFromRope[val! RuntimeError.UNCAUGHT => {value _ default; Report[entry, val.Concat[" is not an INT"]];CONTINUE;}];};Token: PUBLIC PROC [key: ROPE, default: ROPE] RETURNS [value: ROPE] = {entry: ProfileEntry = Lookup[key];val: ROPE = GetRope[entry];IF val = NIL THEN RETURN[default];value _  val;};ListOfTokens: PUBLIC PROC [key: ROPE, default: LIST OF ROPE] RETURNS [value: LIST OF ROPE] = {entry: ProfileEntry = Lookup[key];IF entry = NIL THEN RETURN[default]ELSE RETURN[entry.tokens];};Line: PUBLIC PROC [key: ROPE, default: ROPE] RETURNS [value: ROPE] = {entry: ProfileEntry = Lookup[key];IF entry = NIL THEN RETURN[default];FOR l: LIST OF ROPE _ entry.tokens, l.rest UNTIL l = NIL DOIF value = NIL THEN value _ l.first ELSEvalue _ value.Cat[" ", l.first];ENDLOOP;};Lookup: ENTRY PROC [key: ROPE] RETURNS [ProfileEntry] = {ENABLE UNWIND => NULL;RETURN[LookupInternal[key]]};LookupInternal: INTERNAL PROC [key: ROPE] RETURNS [ProfileEntry] = {IF File.IsDebugger[File.SystemVolume[]] THEN {s2: ROPE = Rope.Concat["Debugger.", key];FOR l: ProfileList _ profileList, l.rest UNTIL l = NIL DOIF Rope.Equal[s1: l.first.key, s2: s2, case: FALSE] THEN RETURN[l.first];ENDLOOP;};FOR l: ProfileList _ profileList, l.rest UNTIL l = NIL DOIF Rope.Equal[s1: l.first.key, s2: key, case: FALSE] THEN RETURN[l.first];ENDLOOP;RETURN[NIL];};GetRope: PROC [entry: ProfileEntry] RETURNS [value: ROPE] = INLINE {IF entry = NIL OR entry.tokens = NIL THEN RETURN[NIL];value _ entry.tokens.first;IF entry.tokens.rest # NIL THEN Report[entry, "extra material on line"];};GetProfileName: PUBLIC PROC RETURNS [ROPE] = {RETURN[profileName];};profileList: ProfileList _ NIL;profileName: ROPE _ NIL;ParseProfile: ENTRY PROC [startNewErrorLog: BOOL _ FALSE]  = {OPEN IO;name: ROPE;  stream: IO.STREAM;CheckForFile: PROC [file: ROPE] RETURNS [found: BOOL _ TRUE] = {[] _ FS.FileInfo[file ! FS.Error => {found _ FALSE; CONTINUE}];};IF startNewErrorLog THEN errorLog _ NIL;profileList _ NIL;profileName _ NIL;IF Booting.switches[p] THEN RETURN; -- return default values for the profilename _ UserCredentials.Get[].name;name _ name.Substr[0, name.SkipTo[0, "."]]; profileName _ name.Concat[".profile"];IF NOT CheckForFile[profileName] THEN profileName _ "User.profile";{ENABLE RuntimeError.UNCAUGHT => GOTO Out;stream _ FS.StreamOpen[fileName: profileName, accessOptions: $read];DOSkipWhite: PROC [flushLines: BOOL _ FALSE] RETURNS [c: CHAR] = {DOENABLE IO.Error, IO.EndOfStream => GO TO stop;c _ stream.PeekChar[];SELECT c FROM'\n => IF NOT flushLines THEN RETURN;<= 40C => {};'- => {-- could be a comment[] _ stream.GetChar[];IF stream.PeekChar[] # '- THEN {stream.Backup[c];RETURN [c];};DOc _ stream.GetChar[];SELECT c FROM'\n => {stream.Backup[c];IF flushLines THEN EXIT;RETURN;};'- => IF stream.PeekChar[] = '- THEN EXIT;ENDCASE;ENDLOOP;};ENDCASE => RETURN;[] _ stream.GetChar[];ENDLOOP;EXITS stop => {c _ 0C};};LocalToken: PROC [flushLines: BOOL _ FALSE] = {stop: CHAR _ SkipWhite[flushLines];position _ stream.GetIndex[];token _ NIL;SELECT stop FROM0C, '\n => RETURN;'" => token _ stream.GetRopeLiteral[];ENDCASE => token _ stream.GetTokenRope[tokenProc].token;};tokenProc: IO.BreakProc = {RETURN[SELECT char FROMIO.SP, IO.TAB, ', => sepr,IO.CR, ': => break,ENDCASE => other];};token: ROPE _ NIL;tokens, tail: LIST OF ROPE _ NIL;position: INT;key: ROPE _ NIL;LocalToken[TRUE];IF (key _ token) = NIL THEN EXIT;SELECT SkipWhite[] FROM': => [] _ stream.GetChar[];  -- flush the ':ENDCASE => {DOIF stream.GetChar[ ! IO.EndOfStream => EXIT] = '\n THEN EXIT;ENDLOOP;ReportInternal[msg: IO.PutFR["missing : at [%d]", IO.int[position]]];LOOP;};DOlist: LIST OF ROPE _ NIL;LocalToken[];IF token = NIL THEN EXIT;list _ LIST[token];IF tail = NILTHEN {tail _ tokens _ list}ELSE {tail.rest _ list; tail _ list};ENDLOOP;IF LookupInternal[key] # NIL THENReportInternal[entry: LookupInternal[key],msg: IO.PutFR["%g also appears at [%d]", IO.rope[key], IO.int[position]]];profileList _ CONS[NEW[ProfileRecord _ [key, tokens, position]], profileList];ENDLOOP;EXITSOut => NULL;};IF stream # NIL THEN stream.Close[];};Report: ENTRY PROC [entry: ProfileEntry _ NIL, msg: ROPE] = {ReportInternal[entry, msg];};ReportInternal: INTERNAL PROC [entry: ProfileEntry _ NIL, msg: ROPE] = {ENABLE RuntimeError.UNCAUGHT => CONTINUE;IF errorLog = NIL THEN {errorLog _ FS.StreamOpen[fileName: "UserProfile.log", accessOptions: $create];errorLog.PutF["Processing %g at %t", IO.rope[profileName], IO.time[]];};errorLog.PutF["\n\n%g", IO.rope[msg]]; IF entry # NIL THENerrorLog.PutF[", at %g [%d]", IO.rope[entry.key], IO.int[entry.position]]; };GetErrorLog: PUBLIC ENTRY PROC RETURNS [fileName: ROPE] = {IF errorLog # NIL THEN {errorLog.Close[];errorLog _ NIL;RETURN["UserProfile.log"];}ELSE RETURN[NIL]};errorLog: IO.STREAM _ NIL;profileChangedList: LIST OF ProfileChangedItem _ NIL;profileChangedListLast: LIST OF ProfileChangedItem _ NIL;listInUse: BOOL _ FALSE;listAvailable: CONDITION _ [timeout: 0];CallWhenProfileChanges: PUBLIC PROC [proc: UserProfile.ProfileChangedProc--, clientData: REF ANY _ NIL--] = {itemL: LIST OF ProfileChangedItem = CONS[[proc, --clientData--NIL], NIL];AcquireList[];IF profileChangedList = NIL THEN profileChangedList _ itemLELSE profileChangedListLast.rest _ itemL;profileChangedListLast _ itemL;ReleaseList[];DoIt[itemL.first, firstTime];};ProfileChanged: PUBLIC PROC [reason: UserProfile.ProfileChangeReason] = {AcquireList[];ParseProfile[startNewErrorLog: TRUE ! RuntimeError.UNCAUGHT => CONTINUE];FOR l: LIST OF ProfileChangedItem _ profileChangedList, l.rest UNTIL l = NIL DODoIt[l.first, reason];ENDLOOP;ReleaseList[];};DoIt: PROC [item: ProfileChangedItem, reason: UserProfile.ProfileChangeReason] = {item.proc[reason--, item.clientData--! RuntimeError.UNCAUGHT => {Report[msg: "Problem while executing ProfileChangedProc"];CONTINUE}];};NoticeCredentialsChange: UserCredentials.CredentialsChangeProc = {TRUSTED{Process.Detach[FORK ProfileChanged[rollBack]]};};NoticeRollback: Booting.RollbackProc = {ProfileChanged[rollBack]};AcquireList: ENTRY PROC = {WHILE listInUse DO WAIT listAvailable; ENDLOOP;listInUse _ TRUE;};ReleaseList: ENTRY PROC = {listInUse _ FALSE;BROADCAST listAvailable;};UserCredentials.RegisterForChange[proc: NoticeCredentialsChange, clientData: NIL];TRUSTED {Booting.RegisterProcs[r: NoticeRollback]};ParseProfile[! RuntimeError.UNCAUGHT => CONTINUE];END.  t  UserProfileImpl.mesa;Teitelman on January 13, 1983 1:52 pmLevin, October 6, 1983 12:03 pmRuss Atkinson, October 4, 1983 11:17 amPaul Rovner on December 12, 1983 8:45 pmTypesAccessing profileBuilding profileListit is not a commentthe end of a comment is either a '\n or a double -Only flush the \n if it was requestedkey was NOT followed by ':, so flush to the end of line and report the errorReporting errorsWhen the profile changesNote that registration order is important; procs must be called in the same order in which they wer registered (otherwise deadlocks may occur at rollback time).InitializationЭ╩Г  Ц"Cedar" styleШ Ъ╧cЩJЪЭЬЩ%JЩJЩ'JЪЭЬЩ(ЧJШ Ъ╧k	Ш	JЪЬЮЬ)Ш6JЪЬЮЬШJЪЬЮЬШ&JЪЮЬЮЬШ'ЪЮЬЮЬШ
JЪ	ЬЮЬiЮЬЮЬЮЬШЬЧJЪЬЮЬ
ШJЪЬЮЬЮЬШ6JЪЬЮЬЮЬШJЪЬЮЬ1ШFJЪЬЮЬ*Ш;JШJШ ЧJШ JЪ╨blЬЮЬЮШJШ JЪЮЬЮЬЮЬ0ШVJШ JЪЮЬШJШ JЪЬЮШheadЪЬЩJЪ╧nЬЮЬЮЬШ)JЪаЬЮЬЮЬШ'JЪаЬЮЬЮЬЮЬ
ЮЬЮЬЮЬЮЬШMJЪЮЬЮЬЮЬШJШ ЪЬЮЬЮЬШ#JЪЬ%Ш%JЪЬЮЬЮШJЪЬШЧЧЩprocЪаЬЮЬЮЬЮЬЮЬЮЬЮЬ	ЮЬШQJШ"JЪЬЮЬШJЪЮЬЮЬЮЬЮЬ
Ш"JЪ
ЮЬЮЬЮЬЮЬЮЬШ.JЪ
ЮЬЮЬЮЬЮЬЮЬШ0JШ/JЪЮЬ
ШJШЧЪаЬЮЬЮЬЮЬЮЬ	ЮЬШFJШ"JЪЬЮЬШJЪЮЬЮЬЮЬЮЬ
Ш"ЪЬШЪЬЮ	ЬШJЪЬШJШ,JЪЮ	Ш	JЪЬШЧJЪЬШЧJШЧJШ ЪаЬЮЬЮЬЮЬЮЬ	ЮЬШGJШ"JЪЬЮЬШJЪЮЬЮЬЮЬЮЬ
Ш"JШЧЪаЬЮЬЮЬЮЬЮЬЮЬЮЬ	ЮЬЮЬЮЬШ^JШ"JЪЮЬ	ЮЬЮЬЮЬ	Ш#JЪЮЬЮЬШJШЧЪаЬЮЬЮЬЮЬЮЬ	ЮЬШFJШ"JЪЮЬ	ЮЬЮЬЮЬ
Ш$ЪЮЬЮЬЮЬЮЬЮЬЮЬЮШ;JЪЮЬ	ЮЬЮЬЮШ(JШ JЪЮЬШЧJШЧЪ
аЬЮЬЮЬЮЬЮЬШ9LЪЮЬЮЬЮЬШLЪЮЬШLЪЬШЧЪ
аЬЮЬЮЬЮЬЮЬШDЪЮЬ&ЮЬШ.JЪЬЮЬ!Ш)ЪЮЬ&ЮЬЮЬЮШ9JЪЮЬ+ЮЬЮЬЮЬ
ШIJЪЮЬШЧJШЧЪЮЬ&ЮЬЮЬЮШ9JЪЮЬ,ЮЬЮЬЮЬ
ШJJЪЮЬШЧJЪЮЬЮЬШJШЧЪ
аЬЮЬЮЬ	ЮЬЮЬШDJЪЮЬ	ЮЬЮЬЮЬЮЬЮЬЮЬШ6JШJЪЮЬЮЬЮЬ)ШHJШЧЪаЬЮЬЮЬЮЬШ.JЪЮЬШJЪЬШЧЧЩJЪаЬЮЬШJЪаЬЮЬЮЬШЪ
аЬЮЬЮЬЮЬЮЬШ>JЪЮШJЪЬЮЬШJЪЬЮЬЮЬШЪаЬЮЬЮЬЮЬ	ЮЬЮЬШ@JЪ	ЬЮЬЮЬЮЬЮЬШ?JЪЬШЧJЪЮЬЮЬЮЬШ(JЪЬЮЬШJЪЬЮЬШJЪЮЬЮЬЮЬЭ(ШLJШ"JЪЬ,Ш,JЪЬ&Ш&JЪЮЬЮЬЮЬШCЪЬШJЪЮЬЮЬЮЬШ)JЪЬ	ЮЬ9ШDЪЮШЪа	ЬЮЬЮЬЮЬЮЬЮЬШ@ЪЮШJЪ
ЮЬЮЬЮЬЮЬЮЬШ.JЪЬШЪЮЬЮШJЪ	ЬЮЬЮЬЮЬЮЬШ%JЪЬШЪЬЭШJЪЬШЪЮЬЮЬШ JЪЬЩJЪЬШJЪЮЬШJШЧЪЮШJЪЬ2Щ2JЪЬШЪЮЬЮШЪЬШJЪЬ%Щ%JЪЬШJЪЮЬЮЬЮЬШJЪЮЬШJЪЬШЧJЪЬЮЬЮЬЮЬШ*JЪЮЬШЧJЪЮЬШЧJШЧJЪЮЬЮЬШЧJЪЬШJЪЮЬШЧJЪЮЬШJШЧЪа
ЬЮЬЮЬЮЬШ/JЪЬЮЬШ#JЪЬШJЪЬЮЬШЪЮЬЮШJЪЬЮЬШJЪЬ&Ш&JЪЮЬ1Ш8ЧJШЧЪЬЮЬШЪЮЬЮЬЮШJЪЮЬЮЬЮЬЮЬШJЪЮЬЮЬШJЪЮЬ	ШJШЧJЪЬШЧJЪЬЮЬЮЬШJЪ	ЬЮЬЮЬЮЬЮЬШ!JЪЬ
ЮЬШJЪЬЮЬЮЬШJЪЬЮЬШJЪЮЬЮЬЮЬЮЬШ!ЪЮЬЮШJЪЬЭШ-ЪЮЬШJЪЬLЩLЪЮШJЪ
ЮЬЮЬЮЬЮЬЮЬШ=JЪЮЬШЧJЪЬЮЬЮЬШEJЪЮЬШJЪЬШЧЧЪЮШJЪ	ЬЮЬЮЬЮЬЮЬШJЪЬШJЪЮЬ	ЮЬЮЬЮЬШJЪЬЮЬШЪЮЬЮШJЪЮЬШJЪЮЬ!Ш%ЧJЪЮЬШЧЪЮЬЮЬЮШ!ЪЬШJЪЬШJЪЬЮЬ"ЮЬЮЬШHJЪЬШЧЧJЪЬЮЬЮЬ8ШNJЪЮЬШЧЪЮШJЪЬЮЬШЧJШЧJЪЮЬ
ЮЬЮЬШ$JЪЬШЧЧЩЪ
аЬЮЬЮЬЮЬЮЬШ=JЪЬШJЪЬШЧJШ Ъ
аЬЮЬЮЬЮЬЮЬШHJЪЮЬЮЬЮЬШ)ЪЮЬЮЬЮЬШJЪЬЮЬAШNJЪЬ%ЮЬЮЬ	ШFJШЧJЪЬЮЬШ'ЪЮЬ	ЮЬЮШJЪЬЮЬЮЬШKЧJЪЬШJШ ЧJШ ЪаЬЮЬЮЬЮЬШ;ЪЮЬЮЬЮЬШJЪЬШJЪЬЮЬШJЪЮЬШJЪЬШЧJЪЮЬЮЬЮЬШJШЧJШ JЪаЬЮЬЮЬЮЬШЧЪЬЩJЩаJЪаЬЮЬЮЬЮЬШ5JЪЬЮЬЮЬЮЬШ9JЪЬЮЬЮЬШJЪЬЮ	ЬШ(JШ ЪаЬЮЬЮЬШ%JЪЬ$ЭЬШHJЪЬЮЬЮЬЮЬЭЮЬЮЬШIJШJЪЮЬЮЬЮЬШ;JЪЮЬ%Ш)JЪЬШJШJЪЬШJШЧJШ ЪаЬЮЬЮЬ.ШIJШJЪЬЮЬЮЬЮЬШIЪЮЬЮЬЮЬ1ЮЬЮЬЮШOJШJЪЮЬШЧJШJШЧJШ ЪаЬЮЬHШRЪЬЭШ%ЪЬЮЬШJЪЬ:Ш:JЪЮШJЪЬШЧJЪЬШЧJЪЬШЧJШ ЪЬBШBJЪЮЬЮЬШ7JЪЬШЧJШ JЪЬBШBJШ ЪаЬЮЬЮЬШJЪЮЬЮЬЮЬЮЬШ/JЪЬЮЬШJЪЬШЧJШ ЪаЬЮЬЮЬШJЪЬЮЬШJЪЮ	ЬШJЪЬШЧJШ ЧЪЬЩJШ JЪЬMЮЬШRJЪЮЬ,Ш3JЪЬЮ	ЬЮЬШ3ЧJЪЮЬШJШ Ч ЕЧ    ╘  /╦  