cprover
class_identifier.h File Reference

Extract class identifier. More...

This graph shows which files directly or indirectly include this file:

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)
 

Detailed Description

Extract class identifier.

Definition in file class_identifier.h.

Function Documentation

§ get_class_identifier_field()

exprt get_class_identifier_field ( const exprt this_expr_in,
const symbol_typet suggested_type,
const namespacet ns 
)
parameters: Pointer expression of any pointer type, including void*,
and a recommended access type if the pointer is void-typed.
Returns
Member expression to access a class identifier, as above.

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().