clang::dataflow::TransferState< LatticeT > Struct Template Reference

A common form of state shared between the cases of a transfer function. More...

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

Inheritance diagram for clang::dataflow::TransferState< LatticeT >:

Public Member Functions
	TransferState (LatticeT &Lattice, Environment &Env)

Public Attributes
LatticeT &	Lattice
	Current lattice element.
Environment &	Env

Detailed Description

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

A common form of state shared between the cases of a transfer function.

Definition at line 41 of file MatchSwitch.h.

Constructor & Destructor Documentation

TransferState()

template<typename LatticeT>

clang::dataflow::TransferState< LatticeT >::TransferState ( LatticeT & Lattice, Environment & Env )

inline

Definition at line 42 of file MatchSwitch.h.

Member Data Documentation

Env

template<typename LatticeT>

Environment& clang::dataflow::TransferState< LatticeT >::Env

Definition at line 47 of file MatchSwitch.h.

Lattice

template<typename LatticeT>

LatticeT& clang::dataflow::TransferState< LatticeT >::Lattice

Current lattice element.

Definition at line 46 of file MatchSwitch.h.

---

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

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