clang 18.0.0git
Public Member Functions | Public Attributes | List of all members
clang::ento::NodeBuilderContext Struct Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"

Public Member Functions

 NodeBuilderContext (const CoreEngine &E, const CFGBlock *B, const LocationContext *L)
 NodeBuilderContext (const CoreEngine &E, const CFGBlock *B, ExplodedNode *N)
const CFGBlockgetBlock () const
 Return the CFGBlock associated with this builder.
unsigned blockCount () const
 Returns the number of times the current basic block has been visited on the exploded graph path.

Public Attributes

const CoreEngineEng
const CFGBlockBlock
const LocationContextLC

Detailed Description

Definition at line 203 of file CoreEngine.h.

Constructor & Destructor Documentation

◆ NodeBuilderContext() [1/2]

clang::ento::NodeBuilderContext::NodeBuilderContext ( const CoreEngine E,
const CFGBlock B,
const LocationContext L 

Definition at line 208 of file CoreEngine.h.

◆ NodeBuilderContext() [2/2]

clang::ento::NodeBuilderContext::NodeBuilderContext ( const CoreEngine E,
const CFGBlock B,
ExplodedNode N 

Definition at line 214 of file CoreEngine.h.

Member Function Documentation

◆ blockCount()

unsigned clang::ento::NodeBuilderContext::blockCount ( ) const

◆ getBlock()

const CFGBlock * clang::ento::NodeBuilderContext::getBlock ( ) const

Member Data Documentation

◆ Block

const CFGBlock* clang::ento::NodeBuilderContext::Block

◆ Eng

const CoreEngine& clang::ento::NodeBuilderContext::Eng

◆ LC

const LocationContext* clang::ento::NodeBuilderContext::LC

Definition at line 206 of file CoreEngine.h.

Referenced by blockCount().

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