clang  15.0.0git
Public Member Functions | Public Attributes | List of all members
clang::dataflow::TypeErasedDataflowAnalysisState Struct Reference

Type-erased model of the program at a given program point. More...

#include "clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h"

Collaboration diagram for clang::dataflow::TypeErasedDataflowAnalysisState:
Collaboration graph
[legend]

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()

clang::dataflow::TypeErasedDataflowAnalysisState::TypeErasedDataflowAnalysisState ( TypeErasedLattice  Lattice,
Environment  Env 
)
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: