cprover
zero_initializer.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Linking: Zero Initialization
4
5
Author: Daniel Kroening, kroening@kroening.com
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_LINKING_ZERO_INITIALIZER_H
13
#define CPROVER_LINKING_ZERO_INITIALIZER_H
14
15
#include <
util/expr.h
>
16
17
class
message_handlert
;
18
class
namespacet
;
19
class
source_locationt
;
20
21
exprt
zero_initializer
(
22
const
typet
&,
23
const
source_locationt
&,
24
const
namespacet
&,
25
message_handlert
&);
26
27
// throws a char* in case of failure
28
exprt
zero_initializer
(
29
const
typet
&,
30
const
source_locationt
&,
31
const
namespacet
&);
32
33
#endif // CPROVER_LINKING_ZERO_INITIALIZER_H
typet
The type of an expression.
Definition:
type.h:20
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:62
message_handlert
Definition:
message.h:20
source_locationt
Definition:
source_location.h:16
exprt
Base class for all expressions.
Definition:
expr.h:46
expr.h
zero_initializer
exprt zero_initializer(const typet &, const source_locationt &, const namespacet &, message_handlert &)
Definition:
zero_initializer.cpp:313
linking
zero_initializer.h
Generated by
1.8.12