clang 17.0.0git
Public Member Functions | List of all members
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, ResultBuild () &&
 

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

◆ 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: