FSMSADF::FSMstate Class Reference
#include <fsm.h>
Public Member Functions | |
FSMstate (GraphComponent c) | |
~FSMstate () | |
FSMstate * | create (GraphComponent c) const |
FSMstate * | createCopy (GraphComponent c) const |
FSMstate * | clone (GraphComponent c) const |
Scenario * | getScenario () const |
void | setScenario (Scenario *s) |
void | connectTransition (FSMtransition *t) |
FSMtransitions & | getTransitions () |
FSM * | getFSM () const |
ostream & | print (ostream &out) |
Private Attributes | |
Scenario * | scenario |
FSMtransitions | transitions |
Friends | |
ostream & | operator<< (ostream &out, FSMstate &s) |
Detailed Description
Constructor & Destructor Documentation
FSMSADF::FSMstate::FSMstate | ( | GraphComponent | c | ) |
FSMstate() Constructor.
Referenced by create().
FSMSADF::FSMstate::~FSMstate | ( | ) |
References transitions.
Member Function Documentation
FSMstate * FSMSADF::FSMstate::clone | ( | GraphComponent | c | ) | const |
clone () Create a cloned copy of this object.
References FSMSADF::FSM::addState(), ASSERT, FSMSADF::FSMtransition::clone(), createCopy(), FSMSADF::FSM::getGraph(), FSMSADF::GraphComponent::getId(), FSMSADF::GraphComponent::getName(), FSMSADF::GraphComponent::getParent(), getScenario(), FSMSADF::Graph::getScenario(), FSMSADF::GraphComponent::GraphComponent(), setScenario(), and transitions.
Referenced by FSMSADF::FSMtransition::clone().
void FSMSADF::FSMstate::connectTransition | ( | FSMtransition * | t | ) | [inline] |
References transitions.
Referenced by FSMSADF::FSMtransition::connect().
FSMstate * FSMSADF::FSMstate::create | ( | GraphComponent | c | ) | const |
create () Create a new FSMstate object.
References FSMstate().
Referenced by createCopy().
FSMstate * FSMSADF::FSMstate::createCopy | ( | GraphComponent | c | ) | const |
createCopy () Create a copy of this FSMstate component.
References create(), FSMSADF::GraphComponent::getName(), and FSMSADF::GraphComponent::setName().
Referenced by clone().
FSM* FSMSADF::FSMstate::getFSM | ( | ) | const [inline] |
References FSMSADF::GraphComponent::getParent().
Referenced by FSMSADF::FSMtransition::clone().
Scenario* FSMSADF::FSMstate::getScenario | ( | ) | const [inline] |
FSMtransitions& FSMSADF::FSMstate::getTransitions | ( | ) | [inline] |
References transitions.
Referenced by FSMSADF::computeMCMfsm(), FSMSADF::FSMConverter::convertFSMToEdgeLabeled(), FSMSADF::OutputHTML::convertFSMToPNG(), and FSMSADF::FSM::convertToXML().
ostream & FSMSADF::FSMstate::print | ( | ostream & | out | ) |
print() Print the FSM state to the supplied output stream.
References FSMSADF::GraphComponent::getName(), scenario, and transitions.
void FSMSADF::FSMstate::setScenario | ( | Scenario * | s | ) | [inline] |
References scenario.
Referenced by clone(), FSMSADF::FSM::constructFromXML(), and FSMSADF::RandomGraph::createFSM().
Friends And Related Function Documentation
ostream& operator<< | ( | ostream & | out, | |
FSMstate & | s | |||
) | [friend] |
Member Data Documentation
Scenario* FSMSADF::FSMstate::scenario [private] |
Referenced by getScenario(), print(), and setScenario().
FSMtransitions FSMSADF::FSMstate::transitions [private] |
Referenced by clone(), connectTransition(), getTransitions(), print(), and ~FSMstate().
The documentation for this class was generated from the following files: