void Default::apply(Tx& a_tx) { stringstream sstream; sstream << "Tx::evolve_default !!! este estado es inalcanzalbe !!! " << endl << "estado actual: -"<< a_tx.getState() << "-, evento: -"<< a_tx.getEvent() <<"-."<< endl; Log::instance().log( sstream.str().c_str() ); a_tx.setEvent( Tx::UNDEFINED ); a_tx.setState( Tx::END ); }
bool WT0420RT0430::isMatch(Tx& a_tx) { return (a_tx.getState() == Tx::WT0421 || a_tx.getState() == Tx::WT0420) && (a_tx.getEvent() == d_event); }