Description
Definition at line 20 of file printAnalysisStates.h.
Inheritance diagram for printAnalysisStates:
Collaboration diagram for printAnalysisStates:
Public Types | |
| enum | ab { above =0 , below =1 } |
Public Member Functions | |
| printAnalysisStates (Analysis *creator, std::vector< int > &factNames, std::vector< int > &latticeNames, ab latSide, std::string indent) | |
| void | visit (const Function &func, const DataflowNode &n, NodeState &state) |
 Public Member Functions inherited from UnstructuredPassIntraAnalysis | |
| bool | runAnalysis (const Function &func, NodeState *state) |
| Public Member Functions inherited from IntraProceduralAnalysis | |
| void | setInterAnalysis (InterProceduralAnalysis *interAnalysis) |
| Public Member Functions inherited from Analysis | |
| Analysis (bool(*f)(CFGNode)=defaultFilter) | |
Public Attributes | |
| Analysis * | creator |
| std::vector< int > | latticeNames |
| std::vector< int > | factNames |
| std::string | indent |
| ab | latSide |
| Public Attributes inherited from Analysis | |
| bool(* | filter )(CFGNode cfgn) |
Additional Inherited Members | |
| Protected Attributes inherited from IntraProceduralAnalysis | |
| InterProceduralAnalysis * | interAnalysis |
Member Enumeration Documentation
◆ ab
| enum printAnalysisStates::ab |
Definition at line 27 of file printAnalysisStates.h.
Member Function Documentation
◆ visit()
|
virtual |
Implements UnstructuredPassIntraAnalysis.
Member Data Documentation
◆ creator
| Analysis* printAnalysisStates::creator |
Definition at line 23 of file printAnalysisStates.h.
◆ latticeNames
| std::vector<int> printAnalysisStates::latticeNames |
Definition at line 24 of file printAnalysisStates.h.
◆ factNames
| std::vector<int> printAnalysisStates::factNames |
Definition at line 25 of file printAnalysisStates.h.
◆ indent
| std::string printAnalysisStates::indent |
Definition at line 26 of file printAnalysisStates.h.
◆ latSide
| ab printAnalysisStates::latSide |
Definition at line 28 of file printAnalysisStates.h.
The documentation for this class was generated from the following file:
