Go to the documentation of this file.
20 std::set<irep_idt> &dest)
27 for(
const auto ¶m : parameters)
29 const irep_idt &identifier = param.get_identifier();
31 dest.insert(identifier);
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
std::vector< parametert > parameterst
void get_decl_identifiers(decl_identifierst &decl_identifiers) const
get the variables in decl statements
A goto function, consisting of function type (see type), function body (see body),...
void get_local_identifiers(const goto_functiont &goto_function, std::set< irep_idt > &dest)
Return in dest the identifiers of the local variables declared in the goto_function and the identifie...
const parameterst & parameters() const
code_typet type
The type of the function, indicating the return type and parameter types.