PetriNetException.hh

Go to the documentation of this file.

#ifndef __DIADES__PETRI__PETRINET_EXCEPTION_HH_
#define __DIADES__PETRI__PETRINET_EXCEPTION_HH_
#include <stdexcept>
#include <iostream>

using namespace std;

namespace Diades {
namespace Petri {

class PetriNetInvalid : public runtime_error, public domain_error {
public:
  PetriNetInvalid(const string& whatArg) : runtime_error(whatArg),  domain_error(whatArg){
    cerr << "EXCEPTION Petri Net -> " << whatArg << endl;
  }
};

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


};
};

#endif /*PETRINET_EXCEPTION_HH_*/