DataflowValues. Container class to store dataflow values for a CFG. More...
#include "clang/Analysis/FlowSensitive/DataflowValues.h"
template<typename ValueTypes, typename _AnalysisDirTag = dataflow::forward_analysis_tag>
class clang::DataflowValues< ValueTypes, _AnalysisDirTag >
DataflowValues. Container class to store dataflow values for a CFG.
Definition at line 41 of file DataflowValues.h.
◆ AnalysisDataTytemplate<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
using clang::DataflowValues< ValueTypes, _AnalysisDirTag >::AnalysisDataTy = typename ValueTypes::AnalysisDataTyDefinition at line 49 of file DataflowValues.h.
◆ AnalysisDirTagtemplate<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
Definition at line 50 of file DataflowValues.h.
◆ BlockDataMapTytemplate<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
Definition at line 52 of file DataflowValues.h.
◆ EdgeDataMapTytemplate<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
Definition at line 51 of file DataflowValues.h.
◆ StmtDataMapTytemplate<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
Definition at line 53 of file DataflowValues.h.
◆ ValTytemplate<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
Definition at line 48 of file DataflowValues.h.
◆ DataflowValues()template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
Definition at line 77 of file DataflowValues.h.
◆ ~DataflowValues()template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getAnalysisData() [1/2]template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getAnalysisData() [2/2]template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getBlockData() [1/2]template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getBlockData() [2/2]template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getBlockDataMap() [1/2]template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
getBlockDataMap - Retrieves the internal map between CFGBlocks and dataflow values.
If the dataflow analysis operates in the forward direction, the values correspond to the dataflow values at the start of the block. Otherwise, for a backward analysis, the values correspond to the dataflow values at the end of the block.
Definition at line 139 of file DataflowValues.h.
References clang::DataflowValues< ValueTypes, _AnalysisDirTag >::BlockDataMap.
◆ getBlockDataMap() [2/2]template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getEdgeData() [1/2]template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getEdgeData() [2/2]template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getEdgeDataMap() [1/2]template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getEdgeDataMap() [2/2]template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getStmtData() [1/2]template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getStmtData() [2/2]template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getStmtDataMap() [1/2]template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ getStmtDataMap() [2/2]template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ InitializeValues()template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
InitializeValues - Invoked by the solver to initialize state needed for dataflow analysis.
This method is usually specialized by subclasses.
Definition at line 82 of file DataflowValues.h.
◆ isBackwardAnalysis()template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ isForwardAnalysis()template<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ AnalysisDatatemplate<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ BlockDataMaptemplate<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ EdgeDataMaptemplate<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
◆ StmtDataMaptemplate<typename ValueTypes , typename _AnalysisDirTag = dataflow::forward_analysis_tag>
The documentation for this class was generated from the following file:
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4