Analysis/FlowSensitive/DataflowValues.h

1 //===--- DataflowValues.h - Data structure for dataflow values --*- C++ -*-===//
10 // This file defines a skeleton data structure for encapsulating the dataflow
25 ///  within the dataflow solver/transfer functions to determine what direction
26 ///  a dataflow analysis flows.
30 namespace dataflow {
33 } // end namespace dataflow
36 /// DataflowValues.  Container class to store dataflow values for a CFG.
40           typename _AnalysisDirTag = dataflow::forward_analysis_tag >
60   /// isForwardAnalysis - Returns true if the dataflow values are computed
64   /// isBackwardAnalysis - Returns true if the dataflow values are computed
69   bool isForwardAnalysis(dataflow::forward_analysis_tag)  { return true; }
70   bool isForwardAnalysis(dataflow::backward_analysis_tag) { return false; }
81   ///  dataflow analysis.  This method is usually specialized by subclasses.
85   /// getEdgeData - Retrieves the dataflow values associated with a
97   /// getBlockData - Retrieves the dataflow values associated with a
98   ///  specified CFGBlock.  If the dataflow analysis is a forward analysis,
111   /// getStmtData - Retrieves the dataflow values associated with a
112   ///  specified Stmt.  If the dataflow analysis is a forward analysis,
129   ///  dataflow values.  Usually used by a dataflow solver to compute
135   /// dataflow values.  If the dataflow analysis operates in the forward
136   /// direction, the values correspond to the dataflow values at the start
138   /// to the dataflow values at the end of the block.
143   /// dataflow values.
154   ///  dataflow analysis for analyzing a particular CFG.
156   ///  This can also be used by subclasses to interpret the dataflow values.