<> <> <> DIRECTORY AlpineEnvironment USING[AccessList, Principal]; AccessControlCache: CEDAR DEFINITIONS = BEGIN VerifyClient: PROCEDURE[client: AlpineEnvironment.Principal, accessLists: AlpineEnvironment.AccessList] RETURNS [okay: BOOLEAN]; <> SetAccessControlCacheInitialized: PROCEDURE[nAccessCacheEntries: NAT]; <> ClearAccessControlCache: PROCEDURE; <> END. Edit Log Initial: Kolling: 29-Oct-81 13:21:18: defs file private to AccessControl; interface to the access cache. Hauser: March 7, 1985: Nodified, added copyright notice.