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.