ReleaseToolVerify.mesa
Russ Atkinson on December 6, 1983 3:12 pm
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.