Parma_Polyhedra_Library::Throwable Class Reference

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. More...
virtual	~Throwable ()
	Virtual destructor. More...

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. More...

Detailed Description

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 239 of file globals_defs.hh.

Constructor & Destructor Documentation

Parma_Polyhedra_Library::Throwable::~Throwable ( )

virtual

Virtual destructor.

Definition at line 31 of file globals.cc.

                      {
}

Member Function Documentation

virtual void Parma_Polyhedra_Library::Throwable::throw_me ( ) const

pure virtual

Throws the user defined exception object.

Friends And Related Function Documentation

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 75 of file globals_inlines.hh.

                {
#ifndef NDEBUG
  if (In_Assert::asserting()) {
    return;
  }
#endif
  if (Weightwatch_Traits::check_function != 0) {
    Weightwatch_Traits::check_function();
  }
  if (const Throwable* const p = abandon_expensive_computations) {
    p->throw_me();
  }
}

---

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

• globals_defs.hh
• globals.cc