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