systemc_clang::Transition Class Reference

#include <SuspensionAutomata.h>

Collaboration diagram for systemc_clang::Transition:

Public Member Functions
	Transition ()
	~Transition ()
void	addInitialState (State *)
void	addFinalState (State *)
void	addCodeBlocks (SusCFG *)
void	addCodeBlocks (vector< SusCFG * >)
void	addInstanceId (int)
State *	returnInitialState ()
State *	returnFinalState ()
vector< SusCFG * >	returnCodeBlocks ()
int	returnInstanceId ()
void	dump (raw_ostream &)

Private Attributes
int	_instanceId
vector< SusCFG * >	_codeBlockVector
State *	_initialState
State *	_finalState

Detailed Description

Definition at line 93 of file SuspensionAutomata.h.

Constructor & Destructor Documentation

Transition()

Transition::Transition

(

)

Definition at line 118 of file SuspensionAutomata.cpp.

~Transition()

Transition::~Transition

(

)

Definition at line 120 of file SuspensionAutomata.cpp.

Member Function Documentation

addCodeBlocks() [1/2]

void Transition::addCodeBlocks

(

SusCFG *

susCFG

)

Definition at line 131 of file SuspensionAutomata.cpp.

addCodeBlocks() [2/2]

void Transition::addCodeBlocks

(

vector< SusCFG * >

susCFG

)

Definition at line 135 of file SuspensionAutomata.cpp.

addFinalState()

void Transition::addFinalState

(

State *

state

)

Definition at line 129 of file SuspensionAutomata.cpp.

addInitialState()

void Transition::addInitialState

(

State *

state

)

Definition at line 127 of file SuspensionAutomata.cpp.

addInstanceId()

void Transition::addInstanceId

(

int

instanceId

)

Definition at line 125 of file SuspensionAutomata.cpp.

dump()

void Transition::dump

(

raw_ostream &

os

)

Definition at line 149 of file SuspensionAutomata.cpp.

returnCodeBlocks()

vector< SusCFG * > Transition::returnCodeBlocks

(

)

Definition at line 147 of file SuspensionAutomata.cpp.

returnFinalState()

State * Transition::returnFinalState

(

)

Definition at line 145 of file SuspensionAutomata.cpp.

returnInitialState()

State * Transition::returnInitialState

(

)

Definition at line 143 of file SuspensionAutomata.cpp.

returnInstanceId()

int Transition::returnInstanceId

(

)

Definition at line 141 of file SuspensionAutomata.cpp.

Member Data Documentation

_codeBlockVector

vector<SusCFG *> systemc_clang::Transition::_codeBlockVector

private

Definition at line 113 of file SuspensionAutomata.h.

_finalState

State* systemc_clang::Transition::_finalState

private

Definition at line 115 of file SuspensionAutomata.h.

_initialState

State* systemc_clang::Transition::_initialState

private

Definition at line 114 of file SuspensionAutomata.h.

_instanceId

int systemc_clang::Transition::_instanceId

private

Definition at line 112 of file SuspensionAutomata.h.

---

The documentation for this class was generated from the following files:

• src/SCuitable/SuspensionAutomata.h
• src/SCuitable/SuspensionAutomata.cpp