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 |
|
|
|
|