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 & op0()
Definition: expr.h:84
exprt & op1()
Definition: expr.h:87
Base class for all expressions.
Definition: expr.h:46
operandst & operands()
Definition: expr.h:70
const exprt & cond() const
const exprt & description() const