#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. |
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 91 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 41 of file globals.inlines.hh.
00041 { 00042 if (const Throwable* p = abandon_expensive_computations) 00043 p->throw_me(); 00044 }