User objects the PPL can throw. More...
#include <globals.defs.hh>
Public Member Functions | |
| virtual void | throw_me () const =0 |
| Throws the user defined exception object. | |
| virtual | ~Throwable () |
| Virtual destructor. | |
Related Functions | |
(Note that these are not member functions.) | |
| void | maybe_abandon () |
| If the pointer abandon_expensive_computations is found to be nonzero, the exception it points to is thrown. | |
User objects the PPL can throw.
This abstract base class should be instantiated by those users willing to provide a polynomial upper bound to the time spent by any invocation of a library operator.
Definition at line 183 of file globals.defs.hh.
| Parma_Polyhedra_Library::Throwable::~Throwable | ( | ) | [inline, virtual] |
| virtual void Parma_Polyhedra_Library::Throwable::throw_me | ( | ) | const [pure virtual] |
Throws the user defined exception object.
| void maybe_abandon | ( | ) | [related] |
If the pointer abandon_expensive_computations is found to be nonzero, the exception it points to is thrown.
Definition at line 57 of file globals.inlines.hh.
00057 { 00058 #ifndef NDEBUG 00059 if (Implementation::in_assert) 00060 return; 00061 #endif 00062 if (Weightwatch_Traits::check_function) 00063 Weightwatch_Traits::check_function(); 00064 if (const Throwable* p = abandon_expensive_computations) 00065 p->throw_me(); 00066 }
1.6.3