21 if(!
gf_entry.second.body_available())
24 goto_functionst::function_mapt::const_iterator
f_it =
28 !
f_it->second.body_available())
82 if(!
gf_entry.second.body_available())
87 goto_functionst::function_mapt::const_iterator
f_it =
91 !
f_it->second.body_available())
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
std::set< irep_idt > modified_functions
const goto_modelt & goto_model1
std::set< irep_idt > new_functions
unsigned total_functions_count
std::set< irep_idt > deleted_functions
const goto_modelt & goto_model2
virtual bool operator()()
Syntactic GOTO-DIFF for Java.
optionalt< irep_idt > declaring_class(const symbolt &symbol)
Gets the identifier of the class which declared a given symbol.
#define CHECK_RETURN(CONDITION)
const class_typet & to_class_type(const typet &type)
Cast a typet to a class_typet.