class DataflowModel
Declaration
class DataflowModel : public ValueModel { /* full declaration omitted */ };
Description
Abstract base class for dataflow "models": reusable analysis components that model a particular aspect of program semantics in the `Environment`. For example, a model may capture a type and its related functions.
Declared at: clang/include/clang/Analysis/FlowSensitive/DataflowAnalysis.h:168
Inherits from: Environment::ValueModel
Method Overview
- public virtual bool transfer(const clang::Stmt * Stmt, clang::dataflow::Environment & Env)
Inherited from Environment::ValueModel:
Methods
ΒΆvirtual bool transfer(
const clang::Stmt* Stmt,
clang::dataflow::Environment& Env)
virtual bool transfer(
const clang::Stmt* Stmt,
clang::dataflow::Environment& Env)
Description
Return value indicates whether the model processed the `Stmt`.
Declared at: clang/include/clang/Analysis/FlowSensitive/DataflowAnalysis.h:171
Parameters
- const clang::Stmt* Stmt
- clang::dataflow::Environment& Env