cprover
goto_functions.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Goto Programs with Functions
4 
5 Author: Daniel Kroening
6 
7 Date: June 2003
8 
9 \*******************************************************************/
10 
13 
14 #include "goto_functions.h"
15 
17  const goto_function_templatet<goto_programt> &goto_function,
18  std::set<irep_idt> &dest)
19 {
20  goto_function.body.get_decl_identifiers(dest);
21 
22  const code_typet::parameterst &parameters=
23  goto_function.type.parameters();
24 
25  // add parameters
26  for(const auto &param : parameters)
27  {
28  const irep_idt &identifier=param.get_identifier();
29  if(identifier!="")
30  dest.insert(identifier);
31  }
32 }
Goto Programs with Functions.
void get_local_identifiers(const goto_function_templatet< goto_programt > &goto_function, std::set< irep_idt > &dest)
std::vector< parametert > parameterst
Definition: std_types.h:829
void get_decl_identifiers(decl_identifierst &decl_identifiers) const
const parameterst & parameters() const
Definition: std_types.h:841