<> <> DIRECTORY DFOperations USING [InteractionProc], IO USING [STREAM], Rope USING [ROPE], VersionMap USING [MapList]; ReleaseToolVerify: CEDAR DEFINITIONS = BEGIN BcdCache: TYPE = REF BcdCacheObject; BcdCacheObject: TYPE; 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]; END.