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 193 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 199 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 205 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 219 of file CoreEngine.h.

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

getBlock()

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

inline

Return the CFGBlock associated with this builder.

Definition at line 212 of file CoreEngine.h.

Referenced by clang::ento::ExprEngine::processBranch().

getEngine()

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

inline

Return the CoreEngine associated with this builder.

Definition at line 209 of file CoreEngine.h.

getLocationContext()

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

inline

Return the location context associated with this builder.

Definition at line 215 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