#include <SuspensionAutomata.h>

Inheritance diagram for systemc_clang::SuspensionAutomata:

Collaboration diagram for systemc_clang::SuspensionAutomata:

Public Types
typedef vector< SusCFG * >	susCFGVectorType

typedef vector< Transition * >	transitionVectorType

typedef pair< SusCFG *, int >	susCFGSuccIDPairType

typedef map< SusCFG *, int >	susCFGSuccIDMapType

typedef pair< SusCFG , State >	susCFGStatePairType

typedef map< SusCFG , State >	susCFGStateMapType

typedef pair< State , vector< SusCFG > >	stateCommonCodeBlockPairType

typedef map< State , vector< SusCFG > >	stateCommonCodeBlockMapType

Public Member Functions
	SuspensionAutomata (vector< WaitContainer * >, CXXMethodDecl , ASTContext , llvm::raw_ostream &)

	~SuspensionAutomata ()

void	addRemainingBlocks (State , vector< SusCFG > &)

void	checkInsert (vector< SusCFG * >, vector< SusCFG * > &)

bool	isFound (vector< SusCFG * >, SusCFG *)

bool	isFound (vector< Transition * >, Transition *)

bool	initialize ()

void	genSusCFG ()

void	genSauto ()

vector< SusCFG * >	modifDFS (SusCFG , State )

bool	isWaitCall (const CFGStmt *cs)

bool	isTimedWait (Stmt *stmt)

bool	isDeltaWait (Stmt *stmt)

bool	isEventWait (Stmt *stmt)

float	getTime (Stmt *stmt)

string	getEvent (Stmt *stmt)

string	getArgumentName (Expr *arg)

void	addEvent (string)

void	addSimTime (float)

susCFGVectorType	getSusCFG ()

transitionVectorType	getSauto ()

void	dumpSusCFG ()

void	dumpSauto ()

Public Member Functions inherited from systemc_clang::Utility
	Utility ()

void	tabit (raw_ostream &os, int tabn)

string	strip (string s, string sub)

template<typename vec >
vec	removeDuplicate (vec vecInput)

template<typename vec , typename element >
bool	isElementPresent (vec vecInput, element elemInput)

template<typename expressionArg >
string	getArgumentName (expressionArg *exp)

Private Attributes
CXXMethodDecl *	_d

vector< CallExpr * >	_waitCalls

susCFGSuccIDMapType	susCFGSuccIDMap

susCFGStateMapType	susCFGStateMap

unique_ptr< CFG >	_cfg

ASTContext *	_a

raw_ostream &	_os

susCFGVectorType	_susCFGVector

transitionVectorType	_transitionVector

stateCommonCodeBlockMapType	_stateCommonCodeBlockMap

Detailed Description

Definition at line 120 of file SuspensionAutomata.h.

Member Typedef Documentation

◆ stateCommonCodeBlockMapType

map<State *, vector<SusCFG *> > systemc_clang::SuspensionAutomata::stateCommonCodeBlockMapType

Definition at line 132 of file SuspensionAutomata.h.

◆ stateCommonCodeBlockPairType

pair<State *, vector<SusCFG *> > systemc_clang::SuspensionAutomata::stateCommonCodeBlockPairType

Definition at line 131 of file SuspensionAutomata.h.

◆ susCFGStateMapType

map<SusCFG *, State *> systemc_clang::SuspensionAutomata::susCFGStateMapType

Definition at line 129 of file SuspensionAutomata.h.

◆ susCFGStatePairType

pair<SusCFG *, State *> systemc_clang::SuspensionAutomata::susCFGStatePairType

Definition at line 128 of file SuspensionAutomata.h.

◆ susCFGSuccIDMapType

map<SusCFG *, int> systemc_clang::SuspensionAutomata::susCFGSuccIDMapType

Definition at line 126 of file SuspensionAutomata.h.

◆ susCFGSuccIDPairType

pair<SusCFG *, int> systemc_clang::SuspensionAutomata::susCFGSuccIDPairType

Definition at line 125 of file SuspensionAutomata.h.

◆ susCFGVectorType

vector<SusCFG *> systemc_clang::SuspensionAutomata::susCFGVectorType

Definition at line 122 of file SuspensionAutomata.h.

◆ transitionVectorType

vector<Transition *> systemc_clang::SuspensionAutomata::transitionVectorType

Definition at line 123 of file SuspensionAutomata.h.

Constructor & Destructor Documentation

◆ SuspensionAutomata()

SuspensionAutomata::SuspensionAutomata	(	vector< WaitContainer * >	,
		CXXMethodDecl *	,
		ASTContext *	,
		llvm::raw_ostream &	)

Definition at line 161 of file SuspensionAutomata.cpp.

◆ ~SuspensionAutomata()

SuspensionAutomata::~SuspensionAutomata ( )

Definition at line 171 of file SuspensionAutomata.cpp.

Member Function Documentation

◆ addEvent()

void systemc_clang::SuspensionAutomata::addEvent ( string )

◆ addRemainingBlocks()

void SuspensionAutomata::addRemainingBlocks	(	State *	initialState,
		vector< SusCFG * > &	transitionBlocks )

Definition at line 433 of file SuspensionAutomata.cpp.

◆ addSimTime()

void systemc_clang::SuspensionAutomata::addSimTime ( float )

◆ checkInsert()

void SuspensionAutomata::checkInsert	(	vector< SusCFG * >	source,
		vector< SusCFG * > &	target )

Definition at line 577 of file SuspensionAutomata.cpp.

◆ dumpSauto()

void SuspensionAutomata::dumpSauto ( )

Definition at line 853 of file SuspensionAutomata.cpp.

◆ dumpSusCFG()

void SuspensionAutomata::dumpSusCFG ( )

Definition at line 822 of file SuspensionAutomata.cpp.

◆ genSauto()

void SuspensionAutomata::genSauto ( )

Definition at line 594 of file SuspensionAutomata.cpp.

◆ genSusCFG()

void SuspensionAutomata::genSusCFG ( )

Definition at line 216 of file SuspensionAutomata.cpp.

◆ getArgumentName()

string SuspensionAutomata::getArgumentName ( Expr * arg )

Definition at line 774 of file SuspensionAutomata.cpp.

◆ getEvent()

string SuspensionAutomata::getEvent ( Stmt * stmt )

Definition at line 759 of file SuspensionAutomata.cpp.

◆ getSauto()

SuspensionAutomata::transitionVectorType SuspensionAutomata::getSauto ( )

Definition at line 818 of file SuspensionAutomata.cpp.

◆ getSusCFG()

SuspensionAutomata::susCFGVectorType SuspensionAutomata::getSusCFG ( )

Definition at line 814 of file SuspensionAutomata.cpp.

◆ getTime()

float SuspensionAutomata::getTime ( Stmt * stmt )

Definition at line 739 of file SuspensionAutomata.cpp.

◆ initialize()

bool SuspensionAutomata::initialize ( )

Definition at line 173 of file SuspensionAutomata.cpp.

◆ isDeltaWait()

bool SuspensionAutomata::isDeltaWait ( Stmt * stmt )

Definition at line 790 of file SuspensionAutomata.cpp.

◆ isEventWait()

bool SuspensionAutomata::isEventWait ( Stmt * stmt )

Definition at line 805 of file SuspensionAutomata.cpp.

◆ isFound() [1/2]

bool SuspensionAutomata::isFound	(	vector< SusCFG * >	visitedState,
		SusCFG *	block )

Definition at line 730 of file SuspensionAutomata.cpp.

◆ isFound() [2/2]

bool SuspensionAutomata::isFound	(	vector< Transition * >	visitedState,
		Transition *	block )

Definition at line 734 of file SuspensionAutomata.cpp.

◆ isTimedWait()

bool SuspensionAutomata::isTimedWait ( Stmt * stmt )

Definition at line 765 of file SuspensionAutomata.cpp.

◆ isWaitCall()

bool SuspensionAutomata::isWaitCall ( const CFGStmt * cs )

Definition at line 185 of file SuspensionAutomata.cpp.

◆ modifDFS()

vector< SusCFG * > SuspensionAutomata::modifDFS	(	SusCFG *	block,
		State *	initialState )

Definition at line 444 of file SuspensionAutomata.cpp.

Member Data Documentation

◆ _a

ASTContext* systemc_clang::SuspensionAutomata::_a

private

Definition at line 166 of file SuspensionAutomata.h.

◆ _cfg

unique_ptr<CFG> systemc_clang::SuspensionAutomata::_cfg

private

Definition at line 165 of file SuspensionAutomata.h.

◆ _d

CXXMethodDecl* systemc_clang::SuspensionAutomata::_d

private

Definition at line 161 of file SuspensionAutomata.h.

◆ _os

raw_ostream& systemc_clang::SuspensionAutomata::_os

private

Definition at line 167 of file SuspensionAutomata.h.

◆ _stateCommonCodeBlockMap

stateCommonCodeBlockMapType systemc_clang::SuspensionAutomata::_stateCommonCodeBlockMap

private

Definition at line 170 of file SuspensionAutomata.h.

◆ _susCFGVector

susCFGVectorType systemc_clang::SuspensionAutomata::_susCFGVector

private

Definition at line 168 of file SuspensionAutomata.h.

◆ _transitionVector

transitionVectorType systemc_clang::SuspensionAutomata::_transitionVector

private

Definition at line 169 of file SuspensionAutomata.h.

◆ _waitCalls

vector<CallExpr *> systemc_clang::SuspensionAutomata::_waitCalls

private

Definition at line 162 of file SuspensionAutomata.h.

◆ susCFGStateMap

susCFGStateMapType systemc_clang::SuspensionAutomata::susCFGStateMap

private

Definition at line 164 of file SuspensionAutomata.h.

◆ susCFGSuccIDMap

susCFGSuccIDMapType systemc_clang::SuspensionAutomata::susCFGSuccIDMap

private

Definition at line 163 of file SuspensionAutomata.h.

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

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

Public Types

Public Member Functions

Private Attributes

Detailed Description

Member Typedef Documentation

◆ stateCommonCodeBlockMapType

◆ stateCommonCodeBlockPairType

◆ susCFGStateMapType

◆ susCFGStatePairType

◆ susCFGSuccIDMapType

◆ susCFGSuccIDPairType

◆ susCFGVectorType

◆ transitionVectorType

Constructor & Destructor Documentation

◆ SuspensionAutomata()

◆ ~SuspensionAutomata()

Member Function Documentation

◆ addEvent()

◆ addRemainingBlocks()

◆ addSimTime()

◆ checkInsert()

◆ dumpSauto()

◆ dumpSusCFG()

◆ genSauto()

◆ genSusCFG()

◆ getArgumentName()

◆ getEvent()

◆ getSauto()

◆ getSusCFG()

◆ getTime()

◆ initialize()

◆ isDeltaWait()

◆ isEventWait()

◆ isFound() [1/2]

◆ isFound() [2/2]

◆ isTimedWait()

◆ isWaitCall()

◆ modifDFS()

Member Data Documentation

◆ _a

◆ _cfg

◆ _d

◆ _os

◆ _stateCommonCodeBlockMap

◆ _susCFGVector

◆ _transitionVector

◆ _waitCalls

◆ susCFGStateMap

◆ susCFGSuccIDMap