ilang  1.1.4
ILAng: A Modeling and Verification Platform for SoCs
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Friends Macros
Public Member Functions | Public Attributes | List of all members
ilang::smt::str_iterator Struct Reference

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
 

Detailed Description

string iterator

Member Function Documentation

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


The documentation for this struct was generated from the following file: