libFAUDES

Sections

Index

faudes::Exception Class Reference

#include <exception.h>

List of all members.


Detailed Description

Faudes exception class.

libFAUDES uses the C++ exception mechanism to report errors on file IO and all sorts of invalid arguments. Members are

Parameters:
Function Function name (where did the exception happen)
Description Detailed description (human readable comment)
ErrorId Error id (numeric id, see below)
Define the compiletime option FAUDES_DEBUG_EXCEPTIONS to enable verbose output when exceptions are thrown, including those that are catched on another level. Define the compiletime option FAUDES_CHECKED to turn on argument validation on both internal and user functions.

(File-) System Errors

  • 0: Error not defined or no error id given
  • 1: ios::failure thrown while opening/reading/seeking file
  • 2: ios::failure thrown while opening/writing file
  • 3: error on in systemcall (eg dot)

Symboltable Errors

Runtime interface error

  • 45: Registry - attempt to insert invalid entry
  • 46: Registry - attempt to access non existent entry
  • 47: Registry - parameter index out of range
  • 48: Registry - type check error
  • 49: Registry - function execution error

Token IO Errors

Container Classes Errors

  • 60: IndexSet: index not found (eg. when accessing attribute)
  • 61: IndexSet: attempt to insert invalid index 0
  • 62: BaseSet: invalid iterator
  • 63: BaseSet: invalid attribute access
  • 65: NameSet: referring to index with no symbolic name
  • 66: NameSet: referring unknown symbolic name
  • 67: NameSet: symboltable mismatch
  • 68: TransSet: order mismatch
  • 69: BaseVector: invalid index

Core Generator Classes Errors

  • 80: Generator: reading invalid stateset
  • 85: Generator: reading invalid transition set
  • 88: Generator: symbol table mismatch
  • 89: Generator: referring to unkown event name
  • 90: Generator: referring to unkown state name
  • 91: Generator: setting transition/initial/marked property for unkown state
  • 92: Generator: initial state does not exist uniquely
  • 95: Generator: transition referring to unknown states/event
  • 96: Generator: source must not match destination
  • 99: Generator: internal validity check failed

Generator Operation Errors

  • 100: Alphabet mismatch
  • 101: Nondeterministic argument
  • 1xx See respective functions
  • 2xx See respective functions

Exception ids between 300 and 999 are used by LRT plugins.

  • 55x IODevice

Definition at line 117 of file exception.h.


Public Member Functions

 Exception (const std::string &rFunctionName, const std::string &rDescription, unsigned int errorId)
 Constructor.
virtual ~Exception () throw ()
 Destructor.
virtual const char * Where () const throw ()
 Returns Function.
virtual const char * What () const throw ()
 Returns error description.
virtual const char * Message () const throw ()
 Returns error description.
virtual unsigned int Id () const throw ()
 Returns error id.

Private Attributes

std::string mFunctionName
 Function name.
std::string mDescription
 Error description.
std::string mMessage
 Error message.
unsigned int mErrorId
 Error id.

Constructor & Destructor Documentation

faudes::Exception::Exception ( const std::string &  rFunctionName,
const std::string &  rDescription,
unsigned int  errorId 
) [explicit]

Constructor.

Writes an error message on stderr.

Parameters:
rFunctionName Function name (where did the exception happen)
rDescription Detailed error description
errorId Error id

Definition at line 27 of file exception.cpp.

faudes::Exception::~Exception (  )  throw () [virtual]

Destructor.

Definition at line 37 of file exception.cpp.


Member Function Documentation

const char * faudes::Exception::Where (  )  const throw () [virtual]

Returns Function.

Definition at line 39 of file exception.cpp.

const char * faudes::Exception::What (  )  const throw () [virtual]

Returns error description.

Definition at line 43 of file exception.cpp.

const char * faudes::Exception::Message (  )  const throw () [virtual]

Returns error description.

Definition at line 51 of file exception.cpp.

unsigned int faudes::Exception::Id (  )  const throw () [virtual]

Returns error id.

Definition at line 47 of file exception.cpp.


Member Data Documentation

std::string faudes::Exception::mFunctionName [private]

Function name.

Definition at line 151 of file exception.h.

std::string faudes::Exception::mDescription [private]

Error description.

Definition at line 154 of file exception.h.

std::string faudes::Exception::mMessage [private]

Error message.

Definition at line 157 of file exception.h.

unsigned int faudes::Exception::mErrorId [private]

Error id.

Definition at line 160 of file exception.h.


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

libFAUDES 2.14g --- 2009-12-3 --- c++ source docu by doxygen 1.5.6