<> <> <> <> DIRECTORY DFToolInternal USING [], IO USING [STREAM], Rope USING [ROPE]; DFLogImpl: CEDAR PROGRAM EXPORTS DFToolInternal = BEGIN OPEN Tool: DFToolInternal; ROPE: TYPE = Rope.ROPE; <<>> <> <>> AcquireLog: PUBLIC PROC RETURNS [IO.STREAM] = { RETURN[NIL] }; ReleaseLog: PUBLIC PROC [log: IO.STREAM] = { IF log ~= NIL THEN ERROR; }; END.