close()
|
Closes a channel. |
isEof()
RETURNING result BOOLEAN
|
Detect the end of a file. |
openFile(
path STRING,
mode STRING )
|
Opening a file channel. |
openPipe(
cmd STRING,
mode STRING )
|
Opening a pipe channel to a sub-process. |
openClientSocket(
host STRING,
port INTEGER,
mode STRING,
timeout INTEGER )
|
Open a TCP client socket channel. |
setDelimiter(
delim STRING )
|
Define the value delimiter for a channel. |
dataAvailable()
RETURNING result BOOLEAN
|
Tests if some data can be read from
the channel. |
readLine()
RETURNING result STRING
|
Read a complete line from the channel. |
writeLine(
line STRING )
|
Write a complete line to the channel. |
read(
[ variable-list ] )
RETURNING result INTEGER
|
Reads a list of data delimited by a
separator from the channel. |
write(
[ variable-list ] )
|
Writes a list of data delimited by a separator to the
channel. |