PPL  1.2
Parma_Polyhedra_Library::In_Assert Class Reference

#include <globals_defs.hh>

Public Member Functions

 In_Assert ()
 
 ~In_Assert ()
 

Static Public Member Functions

static bool asserting ()
 

Static Private Attributes

static unsigned int count = 0
 Non zero during evaluation of PPL_ASSERT expression. More...
 

Detailed Description

Definition at line 214 of file globals_defs.hh.

Constructor & Destructor Documentation

Parma_Polyhedra_Library::In_Assert::In_Assert ( )
inline

Definition at line 219 of file globals_defs.hh.

References count.

219  {
220  ++count;
221  }
static unsigned int count
Non zero during evaluation of PPL_ASSERT expression.
Parma_Polyhedra_Library::In_Assert::~In_Assert ( )
inline

Definition at line 222 of file globals_defs.hh.

References count.

222  {
223  --count;
224  }
static unsigned int count
Non zero during evaluation of PPL_ASSERT expression.

Member Function Documentation

static bool Parma_Polyhedra_Library::In_Assert::asserting ( )
inlinestatic

Definition at line 225 of file globals_defs.hh.

Referenced by Parma_Polyhedra_Library::maybe_abandon().

225  {
226  return count != 0;
227  }
static unsigned int count
Non zero during evaluation of PPL_ASSERT expression.

Member Data Documentation

unsigned int Parma_Polyhedra_Library::In_Assert::count = 0
staticprivate

Non zero during evaluation of PPL_ASSERT expression.

Definition at line 217 of file globals_defs.hh.

Referenced by In_Assert(), and ~In_Assert().


The documentation for this class was generated from the following files: