Type-erased model of the program at a given program point. More...
#include "clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h"
Collaboration diagram for clang::dataflow::TypeErasedDataflowAnalysisState:
Public Member Functions | |
| TypeErasedDataflowAnalysisState (TypeErasedLattice Lattice, Environment Env) | |
Public Attributes | |
| TypeErasedLattice | Lattice |
| Type-erased model of a program property. More... | |
| Environment | Env |
| Model of the state of the program (store and heap). More... | |
Detailed Description
Type-erased model of the program at a given program point.
Definition at line 87 of file TypeErasedDataflowAnalysis.h.
Constructor & Destructor Documentation
◆ TypeErasedDataflowAnalysisState()
|
inline |
Definition at line 94 of file TypeErasedDataflowAnalysis.h.
Member Data Documentation
◆ Env
| Environment clang::dataflow::TypeErasedDataflowAnalysisState::Env |
Model of the state of the program (store and heap).
Definition at line 92 of file TypeErasedDataflowAnalysis.h.
Referenced by clang::dataflow::computeBlockInputState(), and clang::dataflow::runTypeErasedDataflowAnalysis().
◆ Lattice
| TypeErasedLattice clang::dataflow::TypeErasedDataflowAnalysisState::Lattice |
Type-erased model of a program property.
Definition at line 89 of file TypeErasedDataflowAnalysis.h.
Referenced by clang::dataflow::computeBlockInputState(), and clang::dataflow::runTypeErasedDataflowAnalysis().
The documentation for this struct was generated from the following file:
- include/clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h
