clang 20.0.0git
Public Member Functions | Public Attributes | List of all members
clang::dataflow::TransferStateForDiagnostics< LatticeT > Struct Template Reference

A read-only version of TransferState. More...

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

Public Member Functions

 TransferStateForDiagnostics (const LatticeT &Lattice, const Environment &Env)
 

Public Attributes

const LatticeT & Lattice
 Current lattice element.
 
const EnvironmentEnv
 

Detailed Description

template<typename LatticeT>
struct clang::dataflow::TransferStateForDiagnostics< LatticeT >

A read-only version of TransferState.

FIXME: this type is being used as a general (typed) view type for untyped dataflow analysis state, rather than strictly for transfer-function purposes. Move it (and rename it) to DataflowAnalysis.h.

Definition at line 55 of file MatchSwitch.h.

Constructor & Destructor Documentation

◆ TransferStateForDiagnostics()

template<typename LatticeT >
clang::dataflow::TransferStateForDiagnostics< LatticeT >::TransferStateForDiagnostics ( const LatticeT &  Lattice,
const Environment Env 
)
inline

Definition at line 56 of file MatchSwitch.h.

Member Data Documentation

◆ Env

template<typename LatticeT >
const Environment& clang::dataflow::TransferStateForDiagnostics< LatticeT >::Env

Definition at line 61 of file MatchSwitch.h.

◆ Lattice

template<typename LatticeT >
const LatticeT& clang::dataflow::TransferStateForDiagnostics< LatticeT >::Lattice

Current lattice element.

Definition at line 60 of file MatchSwitch.h.


The documentation for this struct was generated from the following file: