class CONFIG_SCANNER |
---|
create(filename:STR):SAME |
---|
get_def!:$CONFIG |
---|
eof:BOOL |
---|
attr file:STR; |
---|
attr file:STR; |
---|
attr fstr:FSTR; |
---|
attr fstr:FSTR; |
---|
get_digit:STR |
---|
get_expr!:FLIST{STR} |
---|
get_expr:FLIST{STR} |
---|
get_id:STR |
---|
get_string:STR |
---|
**** | return a string, removes '"' and converts any special characters |
get_uid!:STR |
---|
is_comment:BOOL |
---|
is_digit:BOOL |
---|
is_letter:BOOL |
---|
is_string:BOOL |
---|
is_uletter:BOOL |
---|
is_white_space:BOOL |
---|
attr line:INT; |
---|
attr line:INT; |
---|
attr next:INT; |
---|
attr next:INT; |
---|
skip_comment |
---|
skip_white_space |
---|