void Fill(String fileName)  // fills scanner internal buffer with contents of file
     static void Set(int position)      // sets the reading position
     static int read()                  // reads the next source character
   }
</PRE>

but this is of little direct interest to the programmer.

<H3>3.4 The ErrorStream interface</H3>

<P>Coco/R generates an <I>ErrorStream</I> class that can be used for reporting
errors.  This class has the following interface: </P>

<PRE>   class ErrorStream {
     int cou