YggFileStream.mesa
Copyright Ó 1988 by Xerox Corporation. All rights reserved.
Bob Hagmann May 9, 1988 5:08:25 pm PDT
DIRECTORY
IO USING [STREAM],
Rope USING [ROPE],
YggDID USING [DID],
YggEnvironment USING [PageCount],
YggFile USING [FileHandle]
;
YggFileStream: CEDAR DEFINITIONS
= BEGIN
Files
OpenFileInDirectory: PROC[did: YggDID.DID, filePart: Rope.ROPE] RETURNS[openFile: YggFile.FileHandle];
CreateFileInDirectory:
PROC[did: YggDID.
DID, filePart: Rope.
ROPE, initialSize:
YggEnvironment.PageCount] RETURNS[openFile: YggFile.FileHandle];
OpenStreamInDirectory: PROC[did: YggDID.DID, filePart: Rope.ROPE] RETURNS[stream: IO.STREAM];