cpp_static_assert.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: C++ Language Type Checking
 
Author: Daniel Kroening, kroening@cs.cmu.edu
 
\*******************************************************************/
 
 
#ifndef CPROVER_CPP_CPP_STATIC_ASSERT_H
#define CPROVER_CPP_CPP_STATIC_ASSERT_H
 
#include <util/std_expr.h>
 
class cpp_static_assertt : public binary_exprt
{
public:
  cpp_static_assertt(exprt _cond, exprt _description)
    : binary_exprt(
        std::move(_cond),
        ID_cpp_static_assert,
        std::move(_description),
        typet())
  {
  }
  cpp_static_assertt(exprt _cond, exprt _description) {…}
 
  exprt &cond()
  {
    return op0();
  }
  exprt &cond() {…}
 
  const exprt &cond() const
  {
    return op0();
  }
  const exprt &cond() const {…}
 
  const exprt &description() const
  {
    return op1();
  }
  const exprt &description() const {…}
 
  exprt &description()
  {
    return op1();
  }
  exprt &description() {…}
};
class cpp_static_assertt : public binary_exprt {…};
 
#endif // CPROVER_CPP_CPP_STATIC_ASSERT_H