cprover
class_identifier.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Extract class identifier
4 
5 Author: Chris Smowton, chris.smowton@diffblue.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_PROGRAMS_CLASS_IDENTIFIER_H
13 #define CPROVER_GOTO_PROGRAMS_CLASS_IDENTIFIER_H
14 
15 class exprt;
16 class namespacet;
17 class symbol_typet;
18 
20  const exprt &this_expr,
21  const symbol_typet &suggested_type,
22  const namespacet &ns);
23 
24 #endif
A reference into the symbol table.
Definition: std_types.h:109
TO_BE_DOCUMENTED.
Definition: namespace.h:62
exprt get_class_identifier_field(const exprt &this_expr, const symbol_typet &suggested_type, const namespacet &ns)
Base class for all expressions.
Definition: expr.h:46