ilang
1.1.4
ILAng: A Modeling and Verification Platform for SoCs
|
string iterator More...
#include <smt_ast.h>
Public Member Functions | |
str_iterator (const std::string &, size_t p=0) | |
constructor 1 | |
str_iterator (const str_iterator &) | |
constructor 2 | |
void | jump_to_next (const std::string &c) |
jump to the start of symbol c | |
size_t | next_non_space_pos (const std::string &s=" \t\n\r") const |
returns the next non space pos | |
size_t | next_non_space_pos (const std::string &s, size_t pos) const |
returns the next non space pos | |
void | skip (const std::string &s=" \t\n\r") |
skip some single charactor symbol | |
void | skip_m (const std::string &s) |
skip a symbol (w. blank also) | |
bool | is_end () const |
bool | is_end (size_t pos) const |
char | head () const |
return the first | |
std::string | head_word (const std::string &s=" \t\n\r") const |
return the head_word (if it the end, then empty string) | |
void | expect (const std::string &c) const |
expect the head token to be 'c' | |
size_t | next (const std::string &s) const |
get the closest occurance of s from current point | |
size_t | next (const std::string &s, size_t pos) const |
get the closest occurance of s from pos | |
void | accept (const std::string &s) |
accept a token (expect and skip) | |
std::string | accept_current_and_read_untill (const std::string &delimiter) |
std::string | read_till_pos (size_t pos) |
read untill a pos | |
std::string | extract_untill_stack_empty (char push_symbol, char pop_symbol) |
read until the stack is empty | |
std::string | readline_no_eol () |
Public Attributes | |
const std::string | buf |
the buffer | |
size_t | pnt |
the pointer | |
string iterator
std::string ilang::smt::str_iterator::accept_current_and_read_untill | ( | const std::string & | delimiter | ) |
extract from the current location, untill reaching one of the delimiter, (not checking the current delimiter)
std::string ilang::smt::str_iterator::readline_no_eol | ( | ) |
read a line, consume all the
but will not include them in the returned string