<> <> <> <> <> <> <> <> <> <> <> DIRECTORY BasicTime, YggEnvironment; YggImport: CEDAR DEFINITIONS LOCKS s.first USING s: Handle = BEGIN <> Register: PROC [server: YggEnvironment.FileStore] RETURNS [Handle]; <> <> <> <> <> Equal: PROC [s, t: Handle] RETURNS [BOOLEAN] = INLINE { RETURN [s=t] }; Name: PROC [s: Handle] RETURNS [YggEnvironment.FileStore] = INLINE { RETURN [s.first.server] }; DeviceCharacteristicsForFileStore: PROC [server: YggEnvironment.FileStore] RETURNS [YggEnvironment.DeviceCharacteristics]; <> <> < NULL;>> <> <> <> <> <> <> <> <> <> <> <<>> <> <> <> <> <<>> <<>> <> <> Object: TYPE = MONITORED RECORD [ server: YggEnvironment.FileStore, <> local: BOOL _ FALSE, <> mostRecentRegister: BasicTime.GMT, mostRecentBind: BasicTime.GMT <> <> ]; Handle: TYPE = LIST OF Object; nullHandle: Handle = NIL; NewInterfaces: PRIVATE PROC [s: Handle]; <> END.--YggImport <> <> <<>>