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

Public Attributes

std::string return_type
std::string name
std::string params_text
std::string body_text
std::string enclosing
size_t def_start
size_t def_end
bool used_as_fptr
std::vector< local_var > captures

Member Data Documentation

◆ body_text

std::string nested_func::body_text

◆ captures

std::vector<local_var> nested_func::captures

◆ def_end

size_t nested_func::def_end

◆ def_start

size_t nested_func::def_start

◆ enclosing

std::string nested_func::enclosing

◆ name

std::string nested_func::name

◆ params_text

std::string nested_func::params_text

◆ return_type

std::string nested_func::return_type

◆ used_as_fptr

bool nested_func::used_as_fptr

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