Go to the documentation of this file.00001
00003
00004 #include "EventFilter/StorageManager/interface/Notifier.h"
00005 #include "EventFilter/StorageManager/interface/StateMachine.h"
00006 #include "EventFilter/StorageManager/interface/TransitionRecord.h"
00007
00008 #include <iostream>
00009
00010 #include "xcept/tools.h"
00011
00012 using namespace std;
00013 using namespace stor;
00014
00015 void Halted::do_entryActionWork()
00016 {
00017 TransitionRecord tr( stateName(), true );
00018 outermost_context().updateHistory( tr );
00019 outermost_context().setExternallyVisibleState( "Halted" );
00020 outermost_context().getNotifier()->reportNewState( "Halted" );
00021 }
00022
00023 Halted::Halted( my_context c ): my_base(c)
00024 {
00025 safeEntryAction();
00026 }
00027
00028 void Halted::do_exitActionWork()
00029 {
00030 TransitionRecord tr( stateName(), false );
00031 outermost_context().updateHistory( tr );
00032 }
00033
00034 Halted::~Halted()
00035 {
00036 safeExitAction();
00037 }
00038
00039 string Halted::do_stateName() const
00040 {
00041 return std::string( "Halted" );
00042 }
00043
00044 void Halted::do_moveToFailedState( xcept::Exception& exception ) const
00045 {
00046 outermost_context().getSharedResources()->moveToFailedState( exception );
00047 }
00048
00049
00050