class TEXT_FILE_CURSOR < $FILE_CURSORS{CHAR,STR} |
---|
$FILE_CURSORS{_,_} | $FILE_CURSORS |
attr error : BOOL ; .. Included as error |
---|
**** | This returns true if an error has occurred since the last use of the
___clear_routine_(or_since_object_creation)! |
attr position : CARD ; .. Included as position |
---|
**** | file position |
attr readable : BOOL ; .. Included as readable |
---|
attr writable : BOOL ; .. Included as writable |
---|
at_end : BOOL .. Included as at_end |
---|
**** | This predicate returns true if and only if the cursor is positioned
___after_the_last_octet_in_the_file,_otherwise_false. |
backward( .. Included as backward |
---|
clear .. Included as clear |
---|
close .. Included as close |
---|
create( .. Included as create |
---|
create( |
---|
error_message : STR .. Included as error_message |
---|
flush .. Included as flush |
---|
forward( .. Included as forward |
---|
get_line : STR .. Included as get_line |
---|
get_upto( .. Included as get_upto |
---|
getch : CHAR .. Included as getch |
---|
plus( .. Included as plus |
---|
plus( .. Included as plus |
---|
plus( .. Included as plus |
---|
plus( .. Included as plus |
---|
position( .. Included as position |
---|
retract : SAME .. Included as retract |
---|
size : CARD .. Included as size |
---|
skip( .. Included as skip |
---|
skip_line .. Included as skip_line |
---|
skip_over( .. Included as skip_over |
---|
skip_to( .. Included as skip_to |
---|
back_up .. Included as back_up |
---|
attr buff_altered : BOOL ; .. Included as buff_altered |
---|
**** | needs writing back! |
attr buff_altered : BOOL ; .. Included as buff_altered |
---|
**** | needs writing back! |
attr buff_contents : CARD ; .. Included as buff_contents |
---|
attr buff_contents : CARD ; .. Included as buff_contents |
---|
attr buff_length : CARD ; .. Included as buff_length |
---|
**** |
attr buff_length : CARD ; .. Included as buff_length |
---|
**** |
attr buff_position : CARD ; .. Included as buff_position |
---|
attr buff_position : CARD ; .. Included as buff_position |
---|
attr buff_valid : BOOL ; .. Included as buff_valid |
---|
**** | the buffer contents may be used |
attr buff_valid : BOOL ; .. Included as buff_valid |
---|
**** | the buffer contents may be used |
attr buffer : BUFF ; .. Included as buffer |
---|
attr buffer : BUFF ; .. Included as buffer |
---|
emptybuff .. Included as emptybuff |
---|
attr error : BOOL ; .. Included as error |
---|
**** | This returns true if an error has occurred since the last use of the
___clear_routine_(or_since_object_creation)! |
fillbuff .. Included as fillbuff |
---|
attr fyle : REFERENCE ; .. Included as fyle |
---|
**** | the OS file handle! |
attr fyle : REFERENCE ; .. Included as fyle |
---|
**** | the OS file handle! |
attr index : CARD ; .. Included as index |
---|
**** | from the beginning of buffer. |
attr index : CARD ; .. Included as index |
---|
**** | from the beginning of buffer. |
next_ch! : CHAR .. Included as next_ch! |
---|
attr position : CARD ; .. Included as position |
---|
**** | file position |
attr readable : BOOL ; .. Included as readable |
---|
attr writable : BOOL ; .. Included as writable |
---|