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)

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