cprover
cpp_static_assert.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: C++ Language Type Checking
4
5
Author: Daniel Kroening, kroening@cs.cmu.edu
6
7
\*******************************************************************/
8
11
12
#ifndef CPROVER_CPP_CPP_STATIC_ASSERT_H
13
#define CPROVER_CPP_CPP_STATIC_ASSERT_H
14
15
#include <
util/expr.h
>
16
17
class
cpp_static_assertt
:
public
exprt
18
{
19
public
:
20
cpp_static_assertt
():
exprt
(ID_cpp_static_assert)
21
{
22
operands
().resize(2);
23
}
24
25
exprt
&
cond
()
26
{
27
return
op0
();
28
}
29
30
const
exprt
&
cond
()
const
31
{
32
return
op0
();
33
}
34
35
const
exprt
&
description
()
const
36
{
37
return
op1
();
38
}
39
40
exprt
&
description
()
41
{
42
return
op1
();
43
}
44
};
45
46
#endif // CPROVER_CPP_CPP_STATIC_ASSERT_H
exprt::op0
exprt & op0()
Definition:
expr.h:84
cpp_static_assertt
Definition:
cpp_static_assert.h:17
cpp_static_assertt::cpp_static_assertt
cpp_static_assertt()
Definition:
cpp_static_assert.h:20
exprt::op1
exprt & op1()
Definition:
expr.h:87
cpp_static_assertt::description
exprt & description()
Definition:
cpp_static_assert.h:40
cpp_static_assertt::cond
exprt & cond()
Definition:
cpp_static_assert.h:25
exprt
Base class for all expressions.
Definition:
expr.h:54
expr.h
exprt::operands
operandst & operands()
Definition:
expr.h:78
cpp_static_assertt::cond
const exprt & cond() const
Definition:
cpp_static_assert.h:30
cpp_static_assertt::description
const exprt & description() const
Definition:
cpp_static_assert.h:35
cpp
cpp_static_assert.h
Generated by
1.8.14