The EOF (end  of  file)  function  indicates  whether  the  file
  pointer  is  positioned  after  the  last component in a file by
  returning a Boolean value.

  Syntax:

     EOF[[( file_variable )]]

  The 'file_variable' is the name of the file variable  associated
  with  the  input  file.   If  you omit the name of the file, the
  default is INPUT.

  The file can be in either inspection or generation  mode  before
  EOF  is called; however, end-of-file must be defined.  The input
  operations  GET,  RESET,  and  FINDK  are  guaranteed  to  leave
  end-of-file  defined.   The  file mode does not change after EOF
  has been executed.

  EOF returns TRUE when the file pointer is positioned  after  the
  last  component  in  the  file,  and  returns  FALSE  up  to and
  including the time when the last component of the input file  is
  read into the file buffer.  You must attempt to retrieve another
  file component after the last to determine whether the  file  is
  positioned at end-of-file.

  When EOF is tested for a file with relative organization  opened
  for  direct  access,  the  result  is  TRUE  if  the  file is in
  inspection mode and the last GET or RESET  operation  positioned
  the  file beyond the last existing component.  If the file is in
  generation or undefined mode, the result of EOF is undefined.

  When EOF is tested for a file with indexed  organization  opened
  for  keyed  access,  the  result  is  TRUE  if  the  file  is in
  inspection mode and  the  last  FINDK,  GET,  RESET,  or  RESETK
  operation positioned the file beyond the last component with the
  current key number.  Successful attempts at FINDK,  GET,  RESET,
  and  RESETK  cause  EOF  to  be  FALSE.   If  the file is not in
  inspection mode, EOF is undefined.

  If you attempt to read a file after EOF becomes TRUE,  an  error
  occurs.

  See the "HP Pascal Language Reference  Manual"  for  a  complete
  description of the EOF function.