<> <> <> <> DIRECTORY AccessControlPrivate USING[OwnerAccListType, PntrAccList, PntrDataRec], AlpineEnvironment USING[AccessList, OwnerName, OwnerPropertyValuePair, PageCount, UniversalFile]; AccessControlMainAux: CEDAR DEFINITIONS = BEGIN InitializeOwnerRecord: PROCEDURE[pntrFileDataRec: AccessControlPrivate.PntrDataRec]; <> WriteOwnerPropsToRecord: PROCEDURE[pntrFileDataRec: AccessControlPrivate.PntrDataRec, ownerProperties: LIST OF AlpineEnvironment.OwnerPropertyValuePair, ownerName: AlpineEnvironment.OwnerName]; <> OverWriteOwnerSpaceInUseToRecord: PROCEDURE[pntrFileDataRec: AccessControlPrivate.PntrDataRec, spaceInUse: AlpineEnvironment.PageCount]; <> ReadOwnerQuotaFromRecord: PROCEDURE[pntrFileDataRec: AccessControlPrivate.PntrDataRec] RETURNS[quota: AlpineEnvironment.PageCount]; <> ReadOwnerRootFileFromRecord: PROCEDURE[pntrFileDataRec: AccessControlPrivate.PntrDataRec] RETURNS[rootFile: AlpineEnvironment.UniversalFile]; <> <> ReadOwnerSpaceInUseFromRecord: PROCEDURE[pntrFileDataRec: AccessControlPrivate.PntrDataRec] RETURNS[spaceInUse: AlpineEnvironment.PageCount]; <> ReadOwnerAccessListFromRecord: PROCEDURE[pntrFileDataRec: AccessControlPrivate.PntrDataRec, accListType: AccessControlPrivate.OwnerAccListType, ownerName: AlpineEnvironment.OwnerName] RETURNS[accessList: AlpineEnvironment.AccessList]; <> ReadOwnerAccListFromRecord: PROCEDURE[pntrFileDataRec: AccessControlPrivate.PntrDataRec, accListType: AccessControlPrivate.OwnerAccListType] RETURNS[pntrAccList: AccessControlPrivate.PntrAccList]; <> END. <> <> <<>>