20 ch==
'~' || ch==
'!' || ch==
'@' || ch==
'$' || ch==
'%' ||
21 ch==
'^' || ch==
'&' || ch==
'*' || ch==
'_' || ch==
'-' ||
22 ch==
'+' || ch==
'=' || ch==
'<' || ch==
'>' || ch==
'.' ||
68 if(isdigit(ch) || ch==
'.')
97 if(ch==
'0' || ch==
'1')
169 throw error(
"EOF within quoted symbol");
200 throw error(
"EOF within string literal");
228 case static_cast<char>(160):
270 throw error(
"expecting symbol after colon");
286 throw error(
"unknown numeral token");
289 throw error(
"unexpected EOF in numeral token");
308 throw error() <<
"unexpected character `" << ch <<
'\'';
void get_token_from_stream()
read a token from the input stream and store it in 'token'
tokent get_decimal_numeral()
tokent get_string_literal()
static bool is_simple_symbol_character(char)
enum { NONE, END_OF_FILE, STRING_LITERAL, NUMERAL, SYMBOL, KEYWORD, OPEN, CLOSE } tokent
tokent get_quoted_symbol()
smt2_errort error()
generate an error exception
tokent get_simple_symbol()
virtual tokent next_token()