clang::dataflow::ASTMatchSwitchBuilder< BaseT, 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 a node whose type derives from BaseT. More...

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

Inheritance diagram for clang::dataflow::ASTMatchSwitchBuilder< BaseT, State, Result >:

Public Member Functions
template<typename NodeT>
ASTMatchSwitchBuilder &&	CaseOf (MatchSwitchMatcher< BaseT > M, MatchSwitchAction< NodeT, State, Result > A) &&
	Registers an action that will be triggered by the match of a pattern against the input statement.
ASTMatchSwitch< BaseT, State, Result >	Build () &&

Detailed Description

template<typename BaseT, typename State, typename Result = void>
class clang::dataflow::ASTMatchSwitchBuilder< BaseT, 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 a node whose type derives from BaseT.

This structure can simplify the definition of transfer functions that rely on pattern-matching.

For example, consider an analysis that handles particular function calls. It can define the ASTMatchSwitch once, in the constructor of the analysis, and then reuse it each time that transfer is called, with a fresh state value.

ASTMatchSwitch<Stmt, TransferState<MyLattice> BuildSwitch() {
  return ASTMatchSwitchBuilder<TransferState<MyLattice>>()
    .CaseOf(callExpr(callee(functionDecl(hasName("foo")))), TransferFooCall)
    .CaseOf(callExpr(argumentCountIs(2),
                     callee(functionDecl(hasName("bar")))),
            TransferBarCall)
    .Build();
}

Definition at line 96 of file MatchSwitch.h.

Member Function Documentation

Build()

template<typename BaseT, typename State, typename Result = void>

ASTMatchSwitch< BaseT, State, Result > clang::dataflow::ASTMatchSwitchBuilder< BaseT, State, Result >::Build ( ) &&

inline

Definition at line 117 of file MatchSwitch.h.

References clang::ast_matchers::matchDynamic(), and clang::Result.

CaseOf()

template<typename BaseT, typename State, typename Result = void>

template<typename NodeT>

ASTMatchSwitchBuilder && clang::dataflow::ASTMatchSwitchBuilder< BaseT, State, Result >::CaseOf ( MatchSwitchMatcher< BaseT > M, MatchSwitchAction< NodeT, State, Result > A ) &&

inline

Registers an action that will be triggered by the match of a pattern against the input statement.

Requirements:

NodeT should be derived from BaseT.

Definition at line 105 of file MatchSwitch.h.

References clang::cast().

---

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

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