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
19
exprt
get_class_identifier_field
(
20
const
exprt
&this_expr,
21
const
symbol_typet
&suggested_type,
22
const
namespacet
&ns);
23
24
#endif
symbol_typet
A reference into the symbol table.
Definition:
std_types.h:109
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:62
get_class_identifier_field
exprt get_class_identifier_field(const exprt &this_expr, const symbol_typet &suggested_type, const namespacet &ns)
Definition:
class_identifier.cpp:56
exprt
Base class for all expressions.
Definition:
expr.h:46
goto-programs
class_identifier.h
Generated by
1.8.14