ROSE 0.11.145.192
Public Types | Public Member Functions | List of all members
IntraPartitionFWDataflow Class Referenceabstract

Description

Definition at line 353 of file partitionedAnalysis.h.

Inheritance diagram for IntraPartitionFWDataflow:
Inheritance graph
[legend]
Collaboration diagram for IntraPartitionFWDataflow:
Collaboration graph
[legend]

Public Types

enum  splitType {
  noSplit ,
  splitNew ,
  splitParent
}
 
enum  partitionTranferRet {
  retFalse ,
  cont ,
  normal
}
 

Public Member Functions

 IntraPartitionFWDataflow (PartitionedAnalysis *parent)
 
 IntraPartitionFWDataflow (const IntraPartitionFWDataflow &that)
 
virtual bool transfer (const Function &func, const DataflowNode &n, NodeState &state, const std::vector< Lattice * > &dfInfo, splitType &splitAnalysis, std::vector< printable * > &splitConditions, bool &joinNode)=0
 
bool runAnalysis (const Function &func, NodeState *fState, bool analyzeDueToCallers, std::set< Function > calleesUpdated)
 
bool runAnalysis (const Function &func, NodeState *fState, bool &splitPart, bool &joinPart, IntraPartitionDataflowCheckpoint *&outChkpt)
 
bool runAnalysisResume (const Function &func, NodeState *fState, IntraPartitionDataflowCheckpoint *chkpt, bool &splitPart, bool &joinPart, IntraPartitionDataflowCheckpoint *&outChkpt)
 
partitionTranferRet partitionTranfer (const Function &func, NodeState *fState, const DataflowNode &n, NodeState *state, VirtualCFG::dataflow &dfIt, const std::vector< Lattice * > &dfInfoBelow, bool &splitPart, std::set< DataflowNode > &joinNodes, IntraPartitionDataflowCheckpoint *&outChkpt)
 
bool propagateFWStateToNextNode (const std::vector< Lattice * > &curNodeState, DataflowNode curDFNode, int nodeIndex, const std::vector< Lattice * > &nextNodeState, DataflowNode nextDFNode)
 
- Public Member Functions inherited from IntraPartitionDataflow
 IntraPartitionDataflow (const IntraPartitionDataflow &that)
 
 IntraPartitionDataflow (PartitionedAnalysis *parent)
 
PartitionedAnalysisgetParent () const
 
virtual IntraPartitionDataflowcopy ()=0
 
virtual void initDFfromPartCond (const Function &, const DataflowNode &, NodeState &, const std::vector< Lattice * > &, const std::vector< NodeFact * > &, printable *)
 
bool runAnalysis (const Function &func, NodeState *state)
 
- Public Member Functions inherited from IntraProceduralDataflow
virtual void genInitState (const Function &func, const DataflowNode &n, const NodeState &state, std::vector< Lattice * > &initLattices, std::vector< NodeFact * > &initFacts)=0
 
void setInterAnalysis (InterProceduralDataflow *interDataflowAnalysis)
 
void setInterAnalysis (IntraProceduralDataflow *intraDFAnalysis)
 
bool runAnalysis (const Function &func, NodeState *state)
 
InterProceduralDataflowgetInterAnalysis () const
 
- Public Member Functions inherited from IntraProceduralAnalysis
void setInterAnalysis (InterProceduralAnalysis *interAnalysis)
 
- Public Member Functions inherited from Analysis
 Analysis (bool(*f)(CFGNode)=defaultFilter)
 

Additional Inherited Members

- Public Attributes inherited from IntraPartitionDataflow
printablepartitionCond
 
- Public Attributes inherited from IntraProceduralDataflow
std::set< Functionvisited
 
- Public Attributes inherited from Analysis
bool(* filter )(CFGNode cfgn)
 
- Protected Attributes inherited from IntraPartitionDataflow
PartitionedAnalysisparent
 
- Protected Attributes inherited from IntraProceduralAnalysis
InterProceduralAnalysisinterAnalysis
 

Member Enumeration Documentation

◆ splitType

enum IntraPartitionFWDataflow::splitType

Definition at line 379 of file partitionedAnalysis.h.

◆ partitionTranferRet

enum IntraPartitionFWDataflow::partitionTranferRet

Definition at line 407 of file partitionedAnalysis.h.

Constructor & Destructor Documentation

◆ IntraPartitionFWDataflow() [1/2]

IntraPartitionFWDataflow::IntraPartitionFWDataflow ( PartitionedAnalysis parent)
inline

Definition at line 356 of file partitionedAnalysis.h.

◆ IntraPartitionFWDataflow() [2/2]

IntraPartitionFWDataflow::IntraPartitionFWDataflow ( const IntraPartitionFWDataflow that)
inline

Definition at line 359 of file partitionedAnalysis.h.

Member Function Documentation

◆ runAnalysis() [1/2]

bool IntraPartitionFWDataflow::runAnalysis ( const Function func,
NodeState fState,
bool  analyzeDueToCallers,
std::set< Function calleesUpdated 
)
virtual

Reimplemented from IntraPartitionDataflow.

◆ runAnalysis() [2/2]

bool IntraPartitionFWDataflow::runAnalysis ( const Function func,
NodeState fState,
bool &  splitPart,
bool &  joinPart,
IntraPartitionDataflowCheckpoint *&  outChkpt 
)
virtual

◆ runAnalysisResume()

bool IntraPartitionFWDataflow::runAnalysisResume ( const Function func,
NodeState fState,
IntraPartitionDataflowCheckpoint chkpt,
bool &  splitPart,
bool &  joinPart,
IntraPartitionDataflowCheckpoint *&  outChkpt 
)
virtual

The documentation for this class was generated from the following file: