Copyright (C) 1994, Digital Equipment Corp.
INTERFACE FileWin32;
IMPORT File, OSError, Pipe, WinNT;
In this interface we reveal that every Win32 File.T has a handle
field, handle.
TYPE T = File.Public OBJECT
handle: WinNT.HANDLE
END;
REVEAL File.T <: T;
TYPE
Direction = {Read, Write};
DirectionSet = SET OF Direction;
CONST
Read = DirectionSet{Direction.Read};
Write = DirectionSet{Direction.Write};
ReadWrite = DirectionSet{Direction.Read, Direction.Write};
PROCEDURE New(h: WinNT.HANDLE; ds: DirectionSet): File.T RAISES {OSError.E};
Create the appropriate subtype of File.T, based on the
characteristics of the opened file handle h and directions ds.
If WinBase.GetFileType(h) returns FILE_TYPE_UNKNOWN, the result
will be NIL.
PROCEDURE NewPipe(h: WinNT.HANDLE; ds: DirectionSet): Pipe.T;
Create a Pipe.T based on h and ds. It is an unchecked (but safe)
error if h is not WinBase.FILE_TYPE_PIPE.
END FileWin32.