Description
Definition at line 170 of file sequenceStructAnalysis.h.
Inheritance diagram for SeqStructAnalysis:
Collaboration diagram for SeqStructAnalysis:
Public Member Functions | |
| SeqStructAnalysis (LiveDeadVarsAnalysis *ldva, DivAnalysis *divAnalysis) | |
| void | genInitState (const Function &func, const DataflowNode &n, const NodeState &state, vector< Lattice * > &initLattices, vector< NodeFact * > &initFacts) |
| bool | transfer (const Function &func, const DataflowNode &n, NodeState &state, const vector< Lattice * > &dfInfo) |
 Public Member Functions inherited from IntraFWDataflow | |
| NodeState * | initializeFunctionNodeState (const Function &func, NodeState *fState) |
| VirtualCFG::dataflow * | getInitialWorklist (const Function &func, bool firstVisit, bool analyzeDueToCallers, const set< Function > &calleesUpdated, NodeState *fState) |
| vector< Lattice * > | getLatticeAnte (NodeState *state) |
| vector< Lattice * > | getLatticePost (NodeState *state) |
| void | transferFunctionCall (const Function &func, const DataflowNode &n, NodeState *state) |
| vector< DataflowNode > | getDescendants (const DataflowNode &n) |
| DataflowNode | getUltimate (const Function &func) |
| Public Member Functions inherited from IntraUniDirectionalDataflow | |
| bool | runAnalysis (const Function &func, NodeState *state, bool analyzeDueToCallers, std::set< Function > calleesUpdated) |
| Public Member Functions inherited from IntraUnitDataflow | |
| virtual boost::shared_ptr< IntraDFTransferVisitor > | getTransferVisitor (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo) |
| Public Member Functions inherited from IntraProceduralDataflow | |
| void | setInterAnalysis (InterProceduralDataflow *interDataflowAnalysis) |
| void | setInterAnalysis (IntraProceduralDataflow *intraDFAnalysis) |
| bool | runAnalysis (const Function &func, NodeState *state) |
| InterProceduralDataflow * | getInterAnalysis () const |
| Public Member Functions inherited from IntraProceduralAnalysis | |
| void | setInterAnalysis (InterProceduralAnalysis *interAnalysis) |
| Public Member Functions inherited from Analysis | |
| Analysis (bool(*f)(CFGNode)=defaultFilter) | |
Protected Attributes | |
| LiveDeadVarsAnalysis * | ldva |
| DivAnalysis * | divAnalysis |
| ConstrGraphAnalysis * | cgAnalysis |
| Protected Attributes inherited from IntraProceduralAnalysis | |
| InterProceduralAnalysis * | interAnalysis |
Static Protected Attributes | |
| static map< varID, Lattice * > | constVars |
| static bool | constVars_init |
Additional Inherited Members | |
| Public Attributes inherited from IntraProceduralDataflow | |
| std::set< Function > | visited |
| Public Attributes inherited from Analysis | |
| bool(* | filter )(CFGNode cfgn) |
| Protected Member Functions inherited from IntraUniDirectionalDataflow | |
| bool | propagateStateToNextNode (const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode) |
| std::vector< DataflowNode > | gatherDescendants (std::vector< DataflowEdge > edges, DataflowNode(DataflowEdge::*edgeFn)() const) |
Constructor & Destructor Documentation
◆ SeqStructAnalysis()
|
inline |
Definition at line 188 of file sequenceStructAnalysis.h.
Member Function Documentation
◆ genInitState()
|
virtual |
Implements IntraProceduralDataflow.
◆ transfer()
|
virtual |
Implements IntraUnitDataflow.
Member Data Documentation
◆ constVars
Definition at line 173 of file sequenceStructAnalysis.h.
◆ constVars_init
|
staticprotected |
Definition at line 174 of file sequenceStructAnalysis.h.
◆ ldva
|
protected |
Definition at line 178 of file sequenceStructAnalysis.h.
◆ divAnalysis
|
protected |
Definition at line 181 of file sequenceStructAnalysis.h.
◆ cgAnalysis
|
protected |
Definition at line 185 of file sequenceStructAnalysis.h.
The documentation for this class was generated from the following file:
