#include <CFGDFProblem.hpp>
Public Member Functions | |
| CFGDFProblem () | |
| virtual | ~CFGDFProblem () |
| virtual OA_ptr< DataFlowSet > | initializeTop ()=0 |
| Return an initialized top set. | |
| virtual OA_ptr< DataFlowSet > | initializeBottom ()=0 |
| Return an initialized bottom set. | |
| virtual OA_ptr< DataFlowSet > | initializeNodeIN (OA_ptr< CFG::NodeInterface > n)=0 |
| Should generate an in and out DataFlowSet for node. | |
| virtual OA_ptr< DataFlowSet > | initializeNodeOUT (OA_ptr< CFG::NodeInterface > n)=0 |
| virtual OA_ptr< DataFlowSet > | meet (OA_ptr< DataFlowSet > set1, OA_ptr< DataFlowSet > set2)=0 |
| virtual OA_ptr< DataFlowSet > | transfer (OA_ptr< DataFlowSet > in, OA::StmtHandle stmt)=0 |
Detailed Description
Definition at line 44 of file CFGDFProblem.hpp.
Constructor & Destructor Documentation
| OA::DataFlow::CFGDFProblem::CFGDFProblem | ( | ) | [inline] |
Definition at line 51 of file CFGDFProblem.hpp.
| virtual OA::DataFlow::CFGDFProblem::~CFGDFProblem | ( | ) | [inline, virtual] |
Definition at line 52 of file CFGDFProblem.hpp.
Member Function Documentation
| virtual OA_ptr<DataFlowSet> OA::DataFlow::CFGDFProblem::initializeBottom | ( | ) | [pure virtual] |
Return an initialized bottom set.
Implemented in OA::Activity::ManagerDepStandard, OA::Activity::ManagerUsefulStandard, OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard, OA::AvailableExpressions::ManagerAvailableExpressionsStandard, OA::Liveness::ManagerLivenessStandard, OA::ReachingDefs::ManagerReachingDefsStandard, OA::Linearity::ManagerLinearity, OA::Liveness::ManagerLivenessStandard, OA::ReachConsts::ManagerReachConstsStandard, and OA::ReachDefs::ManagerReachDefsStandard.
| virtual OA_ptr<DataFlowSet> OA::DataFlow::CFGDFProblem::initializeNodeIN | ( | OA_ptr< CFG::NodeInterface > | n | ) | [pure virtual] |
Should generate an in and out DataFlowSet for node.
Should generate an in and out DataFlowSet for node and store these in mNodeInSetMap and mNodeOutSetMap.
Implemented in OA::Activity::ManagerDepStandard, OA::Activity::ManagerUsefulStandard, OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard, OA::AvailableExpressions::ManagerAvailableExpressionsStandard, OA::Liveness::ManagerLivenessStandard, OA::ReachingDefs::ManagerReachingDefsStandard, OA::Linearity::ManagerLinearity, OA::Liveness::ManagerLivenessStandard, OA::ReachConsts::ManagerReachConstsStandard, and OA::ReachDefs::ManagerReachDefsStandard.
Referenced by OA::DataFlow::CFGDFSolver::initialize().
| virtual OA_ptr<DataFlowSet> OA::DataFlow::CFGDFProblem::initializeNodeOUT | ( | OA_ptr< CFG::NodeInterface > | n | ) | [pure virtual] |
Implemented in OA::Activity::ManagerDepStandard, OA::Activity::ManagerUsefulStandard, OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard, OA::AvailableExpressions::ManagerAvailableExpressionsStandard, OA::Liveness::ManagerLivenessStandard, OA::ReachingDefs::ManagerReachingDefsStandard, OA::Linearity::ManagerLinearity, OA::Liveness::ManagerLivenessStandard, OA::ReachConsts::ManagerReachConstsStandard, and OA::ReachDefs::ManagerReachDefsStandard.
Referenced by OA::DataFlow::CFGDFSolver::initialize().
| virtual OA_ptr<DataFlowSet> OA::DataFlow::CFGDFProblem::initializeTop | ( | ) | [pure virtual] |
Return an initialized top set.
Implemented in OA::Activity::ManagerDepStandard, OA::Activity::ManagerUsefulStandard, OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard, OA::AvailableExpressions::ManagerAvailableExpressionsStandard, OA::Liveness::ManagerLivenessStandard, OA::ReachingDefs::ManagerReachingDefsStandard, OA::Linearity::ManagerLinearity, OA::Liveness::ManagerLivenessStandard, OA::ReachConsts::ManagerReachConstsStandard, and OA::ReachDefs::ManagerReachDefsStandard.
| virtual OA_ptr<DataFlowSet> OA::DataFlow::CFGDFProblem::meet | ( | OA_ptr< DataFlowSet > | set1, | |
| OA_ptr< DataFlowSet > | set2 | |||
| ) | [pure virtual] |
OK to modify set1 and return it as result, because solver only passes a tempSet in as set1
Implemented in OA::Activity::ManagerDepStandard, OA::Activity::ManagerUsefulStandard, OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard, OA::AvailableExpressions::ManagerAvailableExpressionsStandard, OA::Liveness::ManagerLivenessStandard, OA::ReachingDefs::ManagerReachingDefsStandard, OA::Linearity::ManagerLinearity, OA::Liveness::ManagerLivenessStandard, OA::ReachConsts::ManagerReachConstsStandard, and OA::ReachDefs::ManagerReachDefsStandard.
Referenced by OA::DataFlow::CFGDFSolver::atDGraphNode().
| virtual OA_ptr<DataFlowSet> OA::DataFlow::CFGDFProblem::transfer | ( | OA_ptr< DataFlowSet > | in, | |
| OA::StmtHandle | stmt | |||
| ) | [pure virtual] |
OK to modify in set and return it again as result because solver clones the BB in sets
Implemented in OA::Activity::ManagerDepStandard, OA::Activity::ManagerUsefulStandard, OA::DFAGenReachingDefinitions::ManagerDFAGenReachingDefinitionsStandard, OA::AvailableExpressions::ManagerAvailableExpressionsStandard, OA::Liveness::ManagerLivenessStandard, OA::ReachingDefs::ManagerReachingDefsStandard, OA::Linearity::ManagerLinearity, OA::Liveness::ManagerLivenessStandard, OA::ReachConsts::ManagerReachConstsStandard, OA::ReachDefs::ManagerReachDefsStandard, and OA::ReachDefsOverwrite::ManagerReachDefsOverwriteStandard.
Referenced by OA::DataFlow::CFGDFSolver::atDGraphNode().
The documentation for this class was generated from the following file:
