ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
scope_walker Struct Reference

Public Member Functions

 scope_walker (const std::vector< token > &t, size_t b, size_t e, const std::set< std::string > &nn, std::set< std::string > seed={})
bool declares (const std::string &name) const
void add_decl (const std::string &name)
void pre (size_t idx)
bool is_block_brace (size_t idx) const
void on_open_brace (size_t idx)
void on_close_brace ()
void enter_for_scope (size_t stmt_end)

Public Attributes

const std::vector< token > & toks
size_t begin
size_t end
const std::set< std::string > & nested_names
std::vector< std::set< std::string > > scopes
std::vector< bool > brace_pushed_scope
int nonscope_depth = 0
std::vector< size_t > for_pop_at

Constructor & Destructor Documentation

◆ scope_walker()

scope_walker::scope_walker ( const std::vector< token > & t,
size_t b,
size_t e,
const std::set< std::string > & nn,
std::set< std::string > seed = {} )
inline

Member Function Documentation

◆ add_decl()

void scope_walker::add_decl ( const std::string & name)
inline

◆ declares()

bool scope_walker::declares ( const std::string & name) const
inline

◆ enter_for_scope()

void scope_walker::enter_for_scope ( size_t stmt_end)
inline

◆ is_block_brace()

bool scope_walker::is_block_brace ( size_t idx) const
inline

◆ on_close_brace()

void scope_walker::on_close_brace ( )
inline

◆ on_open_brace()

void scope_walker::on_open_brace ( size_t idx)
inline

◆ pre()

void scope_walker::pre ( size_t idx)
inline

Member Data Documentation

◆ begin

size_t scope_walker::begin

◆ brace_pushed_scope

std::vector<bool> scope_walker::brace_pushed_scope

◆ end

size_t scope_walker::end

◆ for_pop_at

std::vector<size_t> scope_walker::for_pop_at

◆ nested_names

const std::set<std::string>& scope_walker::nested_names

◆ nonscope_depth

int scope_walker::nonscope_depth = 0

◆ scopes

std::vector<std::set<std::string> > scope_walker::scopes

◆ toks

const std::vector<token>& scope_walker::toks

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