Up Top       Prev STD_ERROR      Next STD_FILE_READ_WRITE



class interface STD_FILE_READ
   -- obsolete (the new name of this class is TEXT_FILE_READ)

"Since release -0.74, the new name of this class is TEXT_FILE_READ."

end of STD_FILE_READ




All classes inherit from ANY, ANY inherits from PLATFORM and PLATFORM inherits from GENERAL.



Generated by short -html_deb on 31 March 2005.