VariableStateTransfer

Synopsis

Declared in <src/midend/programAnalysis/genericDataflow/simpleAnalyses/VariableStateTransfer.h>

template<class LatticeType>
class VariableStateTransfer
    : public IntraDFTransferVisitor

Base Classes

Name	Description
IntraDFTransferVisitor	Apply an analysis A's transfer function at a particular AST node type

Member Functions

Name

VariableStateTransfer [constructor]

visit [virtual]

Protected Member Functions

Name	Description
fallbackLattice [virtual]
getLattice
getLattices	create three lattices from a binary operation: lhs, rhs, and result lattices
updateModified

Protected Data Members

Name

debugLevel

modified

prodLat

Derived Classes

Name	Description
DivAnalysisTransfer

Created with MrDocs