dataAvailable()
  RETURNS BOOLEAN 
       | 
      Tests if some data can be read from the channel. | 
     
close() 
 | 
Closes the channel. | 
isEof()
  RETURNS BOOLEAN 
 | 
Detect the end of a file. | 
openFile(
   path STRING,
   mode STRING ) 
 | 
Opens a file channel. | 
openPipe(
   command STRING,
   mode STRING ) 
 | 
Opens a pipe channel to a subprocess. | 
openClientSocket(
   host STRING,
   port INTEGER,
   mode STRING,
   timeout INTEGER ) 
 | 
Open a TCP client socket channel. | 
 
  
   openServerSocket(
   interface STRING,
   port INTEGER,
   mode STRING ) 
   | 
  Open a TCP server socket channel. | 
 
     
      
       read(
   [ variable primitive-type [,...] ] )
  RETURNS INTEGER 
       | 
      Reads a list of data delimited by a separator from
 the channel. | 
     
     
      
       readLine()
  RETURNS STRING 
       | 
      Read a complete line from the channel. | 
     
     
      
       readOctets(
   length INTEGER)
  RETURNS STRING 
       | 
      Read a given number of bytes and return as a character
string. | 
     
 
setDelimiter(
   delimiter STRING ) 
 | 
Define the value delimiter for a channel. | 
     
      
       write(
   [ valueList ] ) 
       | 
      Writes a list of data delimited by a separator to the channel. | 
     
writeLine(
   value STRING ) 
 | 
Write a complete line to the channel. | 
 
  
   writeNoNL(
     value STRING ) 
   | 
  Writes a string to the channel (without newline character). |