Class EntryFunctionContainer¶

Defined in File EntryFunctionContainer.h

Class Documentation¶

class systemc_clang::EntryFunctionContainer¶

Public Types

typedef vector<WaitContainer*> waitContainerListType¶

typedef vector<NotifyContainer*> notifyContainerListType¶

typedef pair<int, SuspensionAutomata::transitionVectorType> instanceSautoPairType¶

typedef map<int, SuspensionAutomata::transitionVectorType> instanceSautoMapType¶

typedef pair<int, SuspensionAutomata::susCFGVectorType> instanceSusCFGPairType¶

typedef map<int, SuspensionAutomata::susCFGVectorType> instanceSusCFGMapType¶

typedef std::tuple<std::string, clang::ValueDecl*, clang::MemberExpr*, clang::DeclRefExpr*, clang::ArraySubscriptExpr*> SensitivityTupleType¶

typedef std::pair<std::string, std::vector<SensitivityTupleType>> SensitivityPairType¶

typedef std::map<std::string, std::vector<SensitivityTupleType>> SenseMapType¶

Public Functions

EntryFunctionContainer()¶

EntryFunctionContainer(string, PROCESS_TYPE, CXXMethodDecl*, Stmt*)¶

EntryFunctionContainer(const EntryFunctionContainer&)¶

~EntryFunctionContainer()¶

string getName()¶

CXXMethodDecl *getEntryMethod()¶

PROCESS_TYPE getProcessType()¶

waitContainerListType getWaitCalls()¶

notifyContainerListType getNotifyCalls()¶

SenseMapType getSenseMap()¶

SuspensionAutomata::susCFGVectorType getSusCFG()¶

SuspensionAutomata::transitionVectorType getSusAuto()¶

instanceSautoMapType getInstanceSautoMap()¶

instanceSusCFGMapType getInstanceSusCFGMap()¶

void addSensitivityInfo(SenseMapType&)¶

void addWaits(FindWait&)¶

void addNotifys(FindNotify&)¶

void addSusCFGAuto(SuspensionAutomata&)¶

void setName(string)¶

void setProcessType(PROCESS_TYPE)¶

void setEntryMethod(CXXMethodDecl*)¶

void dumpSusCFG(raw_ostream&)¶

void dumpSauto(raw_ostream&)¶

void dump(raw_ostream&, int)¶

Public Members

string _entryName¶

PROCESS_TYPE _procType¶

CXXMethodDecl *_entryMethodDecl¶

waitContainerListType _waitCalls¶

notifyContainerListType _notifyCalls¶

SenseMapType senseMap_¶

vector<Transition*> _susAuto¶

vector<SusCFG*> _susCFG¶