AutModelException.hh

Go to the documentation of this file.

#ifndef __AUTMODEL_EXCEPTION_HH
#define __AUTMODEL_EXCEPTION_HH

#include <stdexcept>
#include <iostream>
#include <Utils/Assertion.hh>


namespace AutModel {

class ModelInvalid : public runtime_error, public domain_error
{

public:
  ModelInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg)
  {
    cerr << "EXCEPTION Model -> " << whatArg << endl;
  }
};


class TransitionSystemInvalid : public runtime_error, public domain_error
{

public:
  TransitionSystemInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg)
  {
    cerr << "EXCEPTION TransitionSystem -> " << whatArg << endl;
  }

};


class EventInvalid : public runtime_error, public domain_error
{

public:
  EventInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg)
  {
    cerr << "EXCEPTION Event -> " << whatArg << endl;
  }

};

class SynchronisationInvalid : public runtime_error, public domain_error
{

public:
  SynchronisationInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg)
  {
    cerr << "EXCEPTION Synchronisation -> " << whatArg << endl;
  }

};

class EventFactoryInvalid : public runtime_error, public domain_error
{

public:
  EventFactoryInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg)
  {
    cerr << "EXCEPTION EventFactory -> " << whatArg << endl;
  }

};


class InteractiveDiagnoserInvalid : public runtime_error, public domain_error
{

public:
  InteractiveDiagnoserInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg)
  {
    cerr << "EXCEPTION InteractiveDiagnoser -> " << whatArg << endl;
  }

};

class NonDetInteractiveDiagnoserInvalid : public runtime_error, public domain_error
{

public:
  NonDetInteractiveDiagnoserInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg)
  {
    cerr << "EXCEPTION NonDetInteractiveDiagnoser -> " << whatArg << endl;
  }

};

class DiagnoserInvalid : public runtime_error, public domain_error
{

public:
  DiagnoserInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg)
  {
    cerr << "EXCEPTION Diagnoser -> " << whatArg << endl;
  }

};


class SpecialisedActiveDiagnoserInvalid : public runtime_error, public domain_error
{

public:
  SpecialisedActiveDiagnoserInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg)
  {
    cerr << "EXCEPTION SpecialisedActiveDiagnoser -> " << whatArg << endl;
  }

};

class DiagnosisInvalid : public runtime_error, public domain_error
{

public:
  DiagnosisInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg)
  {
    cerr << "EXCEPTION Diagnosis -> " << whatArg << endl;
  }

};


class BeliefStateInvalid : public runtime_error, public domain_error
{

public:
  BeliefStateInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg)
  {
    cerr << "EXCEPTION BeliefState -> " << whatArg << endl;
  }

};
};

#endif