clang::ento::NodeBuilderContext Class 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 CoreEngine &	getEngine () const
	Return the CoreEngine associated with this builder.
const CFGBlock *	getBlock () const
	Return the CFGBlock associated with this builder.
const LocationContext *	getLocationContext () const
	Return the location context associated with this builder.
unsigned	blockCount () const
	Returns the number of times the current basic block has been visited on the exploded graph path.

Detailed Description

Definition at line 198 of file CoreEngine.h.

Constructor & Destructor Documentation

NodeBuilderContext() [1/2]

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

inline

Definition at line 204 of file CoreEngine.h.

Referenced by NodeBuilderContext().

NodeBuilderContext() [2/2]

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

inline

Definition at line 210 of file CoreEngine.h.

References getLocationContext(), and NodeBuilderContext().

Member Function Documentation

blockCount()

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

inline

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

Definition at line 224 of file CoreEngine.h.

Referenced by clang::ento::ExprEngine::computeObjectUnderConstruction(), populateObjCForDestinationSet(), and clang::ento::ExprEngine::processCFGBlockEntrance().

getBlock()

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

inline

Return the CFGBlock associated with this builder.

Definition at line 217 of file CoreEngine.h.

Referenced by clang::ento::ExprEngine::processBranch(), and clang::ento::ExprEngine::processCFGBlockEntrance().

getEngine()

const CoreEngine & clang::ento::NodeBuilderContext::getEngine ( ) const

inline

Return the CoreEngine associated with this builder.

Definition at line 214 of file CoreEngine.h.

getLocationContext()

const LocationContext * clang::ento::NodeBuilderContext::getLocationContext ( ) const

inline

Return the location context associated with this builder.

Definition at line 220 of file CoreEngine.h.

Referenced by NodeBuilderContext().

---

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

• include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h