ibex::BlockSetException Class Reference
[IbexExceptions]

Exception related to sets of variable blocks. More...

#include <IbexBlockSet.h>

Inheritance diagram for ibex::BlockSetException:

ibex::IbexException

List of all members.

Public Types

enum  exceptype

Public Member Functions

 BlockSetException (exceptype type)

Public Attributes

const exceptype type


Detailed Description

Exception related to sets of variable blocks.

This exception is used for all the problems that can arise while creating/using an ibex::BlockSet instance. The type member contains a more precise description of the problem (this constant might evolve to subclasses in the future).

BAD_NB_BLK the number of blocks exceeds the number of variables,
BAD_VAR the variable specified exceeds the number of variables,
BAD_BLK the block specified exceeds the number of blocks,
EMPTY_BLK a block is empty,
NO_BLK the variable does not belong to any block,
ALL_EMPTY all the blocs are empty.

You can directly put an instance of this class into the standard output, this will show the associated message, e.g.:

 try {
 ....
 } catch (BlockSetException e) {
   cout << e << endl; // will display a message such as "the number of blocks exceeds etc."
 }

Author:
Gilles Chabert
Date:
March 2007

Member Enumeration Documentation

See comments above.


Constructor & Destructor Documentation

ibex::BlockSetException::BlockSetException ( exceptype  type  )  [inline]

Create a block set exception.


Member Data Documentation

Identification of the problem.


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

Generated on Sun Jun 27 15:52:00 2010 for IBEX by  doxygen 1.5.5