<> <> <> DIRECTORY DFUtilities USING [Date], DFOperations USING [InteractionProc], IO USING [STREAM], Rope USING [ROPE], VersionMap USING [MapList]; ReleaseToolVerify: CEDAR DEFINITIONS = BEGIN BcdCache: TYPE = REF BcdCacheObject; BcdCacheObject: TYPE; Date: TYPE = DFUtilities.Date; MapList: TYPE = VersionMap.MapList; ROPE: TYPE = Rope.ROPE; STREAM: TYPE = IO.STREAM; Verify: PROC [dfFile: ROPE, bcdCache: BcdCache, sourceMaps,symbolsMaps: MapList _ NIL, interact: DFOperations.InteractionProc _ NIL, clientData: REF ANY _ NIL, log: STREAM _ NIL] RETURNS [errors, warnings, filesActedUpon: INT _ 0]; <> CreateBcdCache: PROC [replacementSize: NAT] RETURNS [bcdCache: BcdCache]; <> FlushBcdCache: PROC [bcdCache: BcdCache]; <> IsInFileCache: PROC [name: ROPE, date: Date] RETURNS [inCache: BOOL _ FALSE]; <> END.