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 
18 {
19 public:
20  cpp_static_assertt():exprt(ID_cpp_static_assert)
21  {
22  operands().resize(2);
23  }
24 
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 
41  {
42  return op1();
43  }
44 };
45 
46 #endif // CPROVER_CPP_CPP_STATIC_ASSERT_H
exprt
Base class for all expressions.
Definition: expr.h:54
exprt::op0
exprt & op0()
Definition: expr.h:84
cpp_static_assertt::cpp_static_assertt
cpp_static_assertt()
Definition: cpp_static_assert.h:20
expr.h
exprt::op1
exprt & op1()
Definition: expr.h:87
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_static_assertt
Definition: cpp_static_assert.h:17
exprt::operands
operandst & operands()
Definition: expr.h:78
cpp_static_assertt::description
exprt & description()
Definition: cpp_static_assert.h:40
cpp_static_assertt::cond
exprt & cond()
Definition: cpp_static_assert.h:25