NodeState

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/state/nodeState.h>

class NodeState;

Member Functions

Name	Description
NodeState [constructor]	Default constructor
addFact
cloneAnalysisState
deleteFacts
deleteLatticeAbove
deleteLatticeBelow
deleteState
getFact
getFacts
getFactsMod
getLatticeAbove
getLatticeAboveMod
getLatticeBelow
getLatticeBelowMod
initialized
isInitialized
setFacts
setLatticeAbove
setLatticeBelow
setLattices
str
unionLattices

Static Member Functions

Name	Description
copyLattices_aEQa
copyLattices_aEQb
copyLattices_bEQa
copyLattices_bEQb
eqLattices
getLatticeAbove	returns all the lattices from above the CFG node (corresponding to SgNode and an CFG index) that are owned by the given analysis
getLatticeBelow
getNodeState
getNodeStates
numNodeStates

Protected Static Member Functions

Name

copyLattices

Private Types

Name

BoolMap

LatticeMap

NodeFactMap

Private Member Functions

Name

getLattice_ex

Private Static Member Functions

Name

initNodeStateMap

Private Data Members

Name

dfInfoAbove

dfInfoBelow

facts

initializedAnalyses

Private Static Data Members

Name

nodeStateMap

nodeStateMapInit

Created with MrDocs