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 Environment &	Env

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:

• include/clang/Analysis/FlowSensitive/MatchSwitch.h