struct NodeBuilderContext

Declaration

struct NodeBuilderContext { /* full declaration omitted */ };

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h:212

Member Variables

public const clang::ento::CoreEngine& Eng

public const clang::CFGBlock* Block

public const clang::LocationContext* LC

Method Overview

• public NodeBuilderContext(const clang::ento::CoreEngine & E, const clang::CFGBlock * B, clang::ento::ExplodedNode * N)
• public unsigned int blockCount() const
• public const clang::CFGBlock * getBlock() const

Methods

¶NodeBuilderContext(
    const clang::ento::CoreEngine& E,
    const clang::CFGBlock* B,
    clang::ento::ExplodedNode* N)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h:217

Parameters

const clang::ento::CoreEngine& E

const clang::CFGBlock* B

clang::ento::ExplodedNode* N

¶unsigned int blockCount() const

Description

Returns the number of times the current basic block has been visited on the exploded graph path.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h:225

¶const clang::CFGBlock* getBlock() const

Description

Return the CFGBlock associated with this builder.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h:221