#include <CStateVar.h>
Public Member Functions | |
EncapState (Entry *entry, std::list< CStateVar * > &vars) | |
Data Fields | |
Entry * | entry |
XStr * | type |
XStr * | name |
bool | isMessage |
bool | isForall |
bool | isBgParentLog |
std::list< CStateVar * > | vars |
Definition at line 30 of file CStateVar.h.
Definition at line 55 of file CStateVar.C.
Definition at line 31 of file CStateVar.h.
Definition at line 32 of file CStateVar.h.
Referenced by xi::generateClosureSignature(), xi::WhenConstruct::generateWhenCode(), xi::SdagConstruct::propagateState(), xi::OListConstruct::propagateState(), xi::ForallConstruct::propagateState(), and xi::CaseListConstruct::propagateState().
Definition at line 33 of file CStateVar.h.
Referenced by xi::generateClosureSignature(), xi::WhenConstruct::generateCode(), xi::SdagConstruct::propagateState(), xi::OListConstruct::propagateState(), xi::ForallConstruct::propagateState(), xi::CaseListConstruct::propagateState(), and xi::SdagConstruct::unravelClosuresBegin().
Definition at line 34 of file CStateVar.h.
Referenced by xi::WhenConstruct::generateCode(), xi::WhenConstruct::generateWhenCode(), and xi::SdagConstruct::propagateState().
Definition at line 36 of file CStateVar.h.
Referenced by xi::WhenConstruct::generateCode(), xi::WhenConstruct::generateWhenCode(), and xi::SdagConstruct::propagateState().