-- AccessControlUtilityImpl.mesa -- Last edited by -- Kolling on May 17, 1983 3:16 pm -- MBrown on January 30, 1984 1:47:29 pm PST   DIRECTORY      AccessControl         USING[OperationFailed, StaticallyInvalid],      AccessControlPrivate         USING[InternalAccessControlLogicError, OwnerNameMaxLength, OwnerStringRep,            StringRep],      AccessControlUtility,      AlpineEnvironment         USING[RName],      Basics         USING[LowHalf],      PrincOpsUtils         USING[LongCopy],      Rope         USING[Compare, Fetch, NewText, ROPE, Size];AccessControlUtilityImpl: PROGRAM  IMPORTS AC: AccessControl, ACP: AccessControlPrivate, Basics, PrincOpsUtils, Rope  EXPORTS AccessControlUtility  SHARES Rope =    BEGIN OPEN AE: AlpineEnvironment;MakeRNameFromStringRep: PUBLIC SAFE PROCEDURE[pntrStringRep: LONG POINTER TO ACP.StringRep] RETURNS [rName: AE.RName, sizeOfStringRep: CARDINAL] = TRUSTED   BEGIN -- non system-fatal errors: none.   rName _ Rope.NewText[pntrStringRep.length];   WITH r: rName SELECT FROM      text => IF pntrStringRep.length = 0         THEN ERROR ACP.InternalAccessControlLogicError         ELSE PrincOpsUtils.LongCopy[from:                  @pntrStringRep.text, nwords: (pntrStringRep.length + 1)/2, to:                  @r.text + 1];  --  sigh.      ENDCASE => ERROR;   sizeOfStringRep _ SIZE[ACP.StringRep] + (pntrStringRep.length + 1)/2;   END;MakeStringRepFromRName: PUBLIC SAFE PROCEDURE[rName: AE.RName, pntrStringRep: LONG POINTER TO ACP.StringRep, roomAvailable: CARDINAL] RETURNS [sizeOfStringRep: CARDINAL] = TRUSTED    BEGIN -- non system-fatal errors: AC.OperationFailed[ownerRecordFull], AC.StaticallyInvalid(badLengthName).    len: LONG INTEGER _ Rope.Size[rName];    length: CARDINAL _ Basics.LowHalf[len];    IF length = 0 THEN ERROR AC.StaticallyInvalid;    IF (sizeOfStringRep _ (SIZE[ACP.StringRep] + (length + 1)/2)) > roomAvailable       THEN ERROR AC.OperationFailed[ownerRecordFull];    pntrStringRep.length _ length;    FOR index: CARDINAL IN [0..pntrStringRep.length)      DO pntrStringRep.text[index] _ Rope.Fetch[rName, index]; ENDLOOP;    END;MakeRNameFromOwnerStringRep: PUBLIC SAFE PROCEDURE[pntrOwnerStringRep: LONG POINTER TO ACP.OwnerStringRep] RETURNS [rName: AE.RName] = TRUSTED -- zero length is not okay.   BEGIN -- non system-fatal errors:  none.   pntrStringRep: LONG POINTER TO ACP.StringRep _ LOOPHOLE[pntrOwnerStringRep];   IF pntrOwnerStringRep.length = 0 THEN ERROR ACP.InternalAccessControlLogicError;   [rName, ] _ MakeRNameFromStringRep[pntrStringRep];   END;MakeOwnerStringRepFromRName: PUBLIC SAFE PROCEDURE[rName: AE.RName, pntrOwnerStringRep: LONG POINTER TO ACP.OwnerStringRep] = TRUSTED    BEGIN -- non system-fatal errors: AC.StaticallyInvalid(badLengthName).    length: LONG INTEGER _ Rope.Size[rName];    IF length NOT IN (0..ACP.OwnerNameMaxLength]       THEN ERROR AC.StaticallyInvalid;    pntrOwnerStringRep.length _ Basics.LowHalf[length];    FOR index: CARDINAL IN [0..pntrOwnerStringRep.length)      DO pntrOwnerStringRep.text[index] _ Rope.Fetch[rName, index]; ENDLOOP;    END;Compare: PUBLIC SAFE PROCEDURE[ref1, ref2: Rope.ROPE] RETURNS [match: BOOLEAN] = CHECKED   BEGIN -- non system-fatal errors: none.   RETURN[Rope.Compare[ref1, ref2, FALSE] = equal];   END;CompareCaseMatters: PUBLIC SAFE PROCEDURE[ref1, ref2: Rope.ROPE] RETURNS [match: BOOLEAN] = CHECKED   BEGIN  -- non system-fatal errors: none.   RETURN[Rope.Compare[ref1, ref2, TRUE] = equal];   END;END.                                                                      Edit LogInitial: Kolling: 13-Nov-81 13:36:31: misc. utilities module for AccessControl.     Э╩"  Ш JЪ¤╧cЙЬ╧k	ЬЮЬJЮЬЫЮЬЮЬ(ЮЬ ЮЬЮЬ╨blЬЮЬЮЬMЮЬЮЬЮЬЮЬ╧nЬЮЬЮЬЮ	ЬЮЬЮЬ$ЮЬЮЬЮЬЭ"Ь2ЮЬ
ЮЬЮЬ4ЮЬЮЬ.ЮЬаЮЬЮЬЮЬЮЬ+ЮЬаЬЮЬЮЬЮ	Ь!ЮЬЮЬЮЬЮЬЮЬЮЬЭfЬ	ЮЬЮЬ!ЮЬЮЬЮ
ЬЮЬЮЬ:ЮЬЮЬMЮЬЮЬЮЬ!ЮЬ7ЮЬЮЬаЬЮЬЮЬЮ	ЬЮЬЮЬЮЬЭЬЮЬЭ#ЬЮЬЮЬЮЬЮ
Ь_ЮЬаЬЮЬЮЬЮ	Ь'ЮЬЮЬЮЬЭAЬЮЬЮЬ#ЮЬЮЬ$ЮЬЮЬSЮЬЮЬЮЬ&ЮЬ<ЮЬЮЬаЬЮЬЮЬЮ	ЬЮЬ	ЮЬЮЬЮЬЭ"ЬЮЬЮЬЮЬаЬЮЬЮЬЮ	ЬЮЬ
ЮЬЮЬЮЬЭ"ЬЮЬЮЬЮЬЮЬЭЬЭЬЭЬЭ`ШЮЧ ЕЧ    а  ╚  