cprover
|
Extract class identifier. More...
Go to the source code of this file.
Functions | |
exprt | get_class_identifier_field (const exprt &this_expr, const symbol_typet &suggested_type, const namespacet &ns) |
Extract class identifier.
Definition in file class_identifier.h.
exprt get_class_identifier_field | ( | const exprt & | this_expr_in, |
const symbol_typet & | suggested_type, | ||
const namespacet & | ns | ||
) |
Definition at line 56 of file class_identifier.cpp.
References build_class_identifier(), irept::id(), pointer_type(), typet::subtype(), and exprt::type().
Referenced by remove_instanceoft::lower_instanceof(), and remove_virtual_functionst::remove_virtual_function().