PolyBoRi
Public Types | Public Member Functions | List of all members
polybori::PBoRiGenericError< ErrorCode > Class Template Reference

This template class is used for polybori's exception handling. More...

#include <PBoRiGenericError.h>

Inheritance diagram for polybori::PBoRiGenericError< ErrorCode >:
polybori::PBoRiError polybori::CTypes polybori::COrderEnums polybori::CErrorEnums polybori::CCompareEnums polybori::CAuxTypes

Public Types

enum  { error_code = ErrorCode }
 
typedef CTypes::errornum_type errornum_type
 adopt global error code enumeration More...
 
typedef CTypes::errortext_type errortext_type
 adopt global error text type More...
 
- Public Types inherited from polybori::PBoRiError
typedef CTypes::errornum_type errornum_type
 adopt global error code enumeration More...
 
typedef CTypes::errortext_type errortext_type
 adopt global error text type More...
 
typedef PBoRiError self
 generic access to type of *this More...
 
- Public Types inherited from polybori::CTypes
typedef COrderEnums orderenums_type
 
typedef CErrorEnums errorenums_type
 
typedef CCompareEnums compenums_type
 
typedef CAuxTypes auxtypes_type
 
- Public Types inherited from polybori::COrderEnums
enum  ordercodes {
  lp, dlex, dp_asc, block_dlex,
  block_dp_asc
}
 Codes For orderings. More...
 
- Public Types inherited from polybori::CErrorEnums
enum  errorcodes {
  alright = 0, failed, no_ring, invalid,
  out_of_bounds, io_error, monomial_zero, illegal_on_zero,
  division_by_zero, invalid_ite, not_implemented, matrix_size_exceeded,
  last_error
}
 Error codes enumeration. More...
 
- Public Types inherited from polybori::CCompareEnums
enum  comparecodes {
  less_than = -1, equality = 0, greater_than = +1, less_or_equal_max = 0,
  greater_or_equal_min = 0
}
 Comparision codes enumeration. More...
 
enum  { max_idx = CUDD_MAXINDEX }
 
- Public Types inherited from polybori::CAuxTypes
typedef bool bool_type
 Type for standard true/false statements. More...
 
typedef std::size_t size_type
 Type for lengths, dimensions, etc. More...
 
typedef int deg_type
 Type for polynomial degrees (ranges from -1 to maxint) More...
 
typedef int integer_type
 Type for integer numbers. More...
 
typedef int idx_type
 Type for indices. More...
 
typedef std::size_t hash_type
 Type for hashing. More...
 
typedef unsigned int errornum_type
 Type used to store error codes. More...
 
typedef short int comp_type
 Type for comparisons. More...
 
typedef int ordercode_type
 Type for ordering codes. More...
 
typedef const char * errortext_type
 Type used to verbose error information. More...
 
typedef std::ostream ostream_type
 Type for out-stream. More...
 
typedef const char * vartext_type
 Type for setting/getting names of variables. More...
 
typedef unsigned long large_size_type
 large size_type (necessary?) More...
 
typedef std::size_t refcount_type
 Type for counting references. More...
 

Public Member Functions

 PBoRiGenericError ()
 Default constructor. More...
 
- Public Member Functions inherited from polybori::PBoRiError
 PBoRiError (errornum_type err=CTypes::alright)
 construct instance from error code More...
 
 PBoRiError (const self &)
 copy constructor More...
 
 ~PBoRiError () throw ()
 destructor More...
 
errornum_type code () const
 get error code More...
 
errortext_type text () const
 get error text More...
 
const char * what () const throw ()
 std::exception compatible interface More...
 

Additional Inherited Members

- Static Public Member Functions inherited from polybori::CTypes
static idx_type max_index ()
 Type of interface to binary decicion diagrams. More...
 
- Protected Attributes inherited from polybori::PBoRiError
errornum_type error
 

Detailed Description

template<CTypes::errornum_type ErrorCode>
class polybori::PBoRiGenericError< ErrorCode >

This template class is used for polybori's exception handling.

It's mainly a wrapper for PBoRiError, which allows compile-time distinction of errors.

Member Typedef Documentation

template<CTypes::errornum_type ErrorCode>
typedef CTypes::errornum_type polybori::PBoRiGenericError< ErrorCode >::errornum_type

adopt global error code enumeration

template<CTypes::errornum_type ErrorCode>
typedef CTypes::errortext_type polybori::PBoRiGenericError< ErrorCode >::errortext_type

adopt global error text type

Member Enumeration Documentation

template<CTypes::errornum_type ErrorCode>
anonymous enum
Enumerator
error_code 

Constructor & Destructor Documentation

template<CTypes::errornum_type ErrorCode>
polybori::PBoRiGenericError< ErrorCode >::PBoRiGenericError ( )
inline

Default constructor.


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