cprover
Loading...
Searching...
No Matches
destructor.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Destructor Calls
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_GOTO_PROGRAMS_DESTRUCTOR_H
13#define CPROVER_GOTO_PROGRAMS_DESTRUCTOR_H
14
15class namespacet;
16class typet;
17
19 const namespacet &ns,
20 const typet &type);
21
22#endif // CPROVER_GOTO_PROGRAMS_DESTRUCTOR_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:563
goto_instruction_codet representation of a function call statement.
typet & type()
Return the type of the expression.
Definition expr.h:84
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition namespace.h:91
The type of an expression, extends irept.
Definition type.h:29
class code_function_callt get_destructor(const namespacet &ns, const typet &type)