clang::dataflow::CFGMatchSwitchBuilder< State, Result > Class Template Reference

Collects cases of a "match switch": a collection of matchers paired with callbacks, which together define a switch that can be applied to an AST node contained in a CFG element. More...

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

Public Member Functions
template<typename NodeT>
CFGMatchSwitchBuilder &&	CaseOfCFGStmt (MatchSwitchMatcher< Stmt > M, MatchSwitchAction< NodeT, State, Result > A) &&
	Registers an action A for CFGStmts that will be triggered by the match of the pattern M against the Stmt contained in the input CFGStmt.
template<typename NodeT>
CFGMatchSwitchBuilder &&	CaseOfCFGInit (MatchSwitchMatcher< CXXCtorInitializer > M, MatchSwitchAction< NodeT, State, Result > A) &&
	Registers an action A for CFGInitializers that will be triggered by the match of the pattern M against the CXXCtorInitializer contained in the input CFGInitializer.
CFGMatchSwitch< State, Result >	Build () &&

Detailed Description

template<typename State, typename Result = void>
class clang::dataflow::CFGMatchSwitchBuilder< State, Result >

Collects cases of a "match switch": a collection of matchers paired with callbacks, which together define a switch that can be applied to an AST node contained in a CFG element.

Definition at line 39 of file CFGMatchSwitch.h.

Member Function Documentation

Build()

template<typename State, typename Result = void>

CFGMatchSwitch< State, Result > clang::dataflow::CFGMatchSwitchBuilder< State, Result >::Build ( ) &&

inline

Definition at line 70 of file CFGMatchSwitch.h.

References clang::CFGElement::Constructor, clang::CFGElement::CXXRecordTypedCall, clang::CFGInitializer::getInitializer(), clang::CFGStmt::getStmt(), clang::CFGElement::Initializer, clang::Result, and clang::CFGElement::Statement.

CaseOfCFGInit()

template<typename State, typename Result = void>

template<typename NodeT>

CFGMatchSwitchBuilder && clang::dataflow::CFGMatchSwitchBuilder< State, Result >::CaseOfCFGInit ( MatchSwitchMatcher< CXXCtorInitializer > M, MatchSwitchAction< NodeT, State, Result > A ) &&

inline

Registers an action A for CFGInitializers that will be triggered by the match of the pattern M against the CXXCtorInitializer contained in the input CFGInitializer.

Requirements:

NodeT should be derived from CXXCtorInitializer.

Definition at line 64 of file CFGMatchSwitch.h.

CaseOfCFGStmt()

template<typename State, typename Result = void>

template<typename NodeT>

CFGMatchSwitchBuilder && clang::dataflow::CFGMatchSwitchBuilder< State, Result >::CaseOfCFGStmt ( MatchSwitchMatcher< Stmt > M, MatchSwitchAction< NodeT, State, Result > A ) &&

inline

Registers an action A for CFGStmts that will be triggered by the match of the pattern M against the Stmt contained in the input CFGStmt.

Requirements:

NodeT should be derived from Stmt.

Definition at line 49 of file CFGMatchSwitch.h.

---

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

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