Class SuspensionAutomata

• Defined in File SuspensionAutomata.h

Inheritance Relationships

Base Type

• public systemc_clang::Utility (Class Utility)

Class Documentation

class systemc_clang::SuspensionAutomata : public systemc_clang::Utility

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 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()