Line_Readers
Light-weight line input file readers.
 |  | type Line_Reader |  |
 | Light-weight line input file reader. |  |
 |  | type Line_Reader_Access |  |
 | Type for instance variables. |  |
Internal initialization and finalization
 |  | procedure Initialize_Line_Reader |  |
 | Initialize a newly created reader instance. |  |
Param | Type | Description |
access This | Line_Reader'Class |
|
|
 |  | procedure Initialize_Line_Reader |  |
 | Initialize a newly created reader instance with a file to read. |  |
Param | Type | Description |
access This | Line_Reader'Class |
|
|
|
 |  | procedure Finalize_Line_Reader |  |
 | Close the input file. |  |
Param | Type | Description |
access This | Line_Reader'Class |
|
|
Creating readers
 |  | function Current_Input |  |
 | Create an Line reader for current input (stdin). |  |
Param | Type | Description |
return | Line_Reader_Access |
|
|
 |  | function Open |  |
 | Create an Line reader for file input. |  |
Param | Type | Description |
|
return | Line_Reader_Access |
|
|
 |  | procedure Close |  |
 | Close an Line reader's input file. |  |
Param | Type | Description |
in out This | Line_Reader_Access |
|
|
Reading lines
 |  | function Next_Line |  |
 | Skip over the rest of the line. Return false if end of file was
found. |  |
Param | Type | Description |
access This | Line_Reader'Class |
|
|
|
 |  | function Rest_Of_Line |  |
 | Return the current line, from cursor to the line break, which is
not included. |  |
Param | Type | Description |
access This | Line_Reader'Class |
|
|
|
|