cprover
destructor.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Destructor Calls
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_GOTO_PROGRAMS_DESTRUCTOR_H
13
#define CPROVER_GOTO_PROGRAMS_DESTRUCTOR_H
14
15
#include <
util/expr.h
>
16
#include <
util/namespace.h
>
17
18
class
code_function_callt
get_destructor
(
19
const
namespacet
&ns,
20
const
typet
&
type
);
21
22
#endif // CPROVER_GOTO_PROGRAMS_DESTRUCTOR_H
typet
The type of an expression.
Definition:
type.h:20
exprt::type
typet & type()
Definition:
expr.h:60
namespace.h
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:62
code_function_callt
A function call.
Definition:
std_code.h:657
expr.h
get_destructor
class code_function_callt get_destructor(const namespacet &ns, const typet &type)
Definition:
destructor.cpp:17
goto-programs
destructor.h
Generated by
1.8.14