clang::ento::NodeBuilderContext Class Reference

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

Public Member Functions
	NodeBuilderContext (const CoreEngine &E, const CFGBlock *B, const StackFrame *S)
	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 StackFrame *	getStackFrame () const
	Return the stack frame 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 214 of file CoreEngine.h.

Constructor & Destructor Documentation

NodeBuilderContext() [1/2]

clang::ento::NodeBuilderContext::NodeBuilderContext ( const CoreEngine & E, const CFGBlock * B, const StackFrame * S )

inline

Definition at line 220 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 226 of file CoreEngine.h.

References getStackFrame(), 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 240 of file CoreEngine.h.

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

getBlock()

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

inline

Return the CFGBlock associated with this builder.

Definition at line 233 of file CoreEngine.h.

getEngine()

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

inline

Return the CoreEngine associated with this builder.

Definition at line 230 of file CoreEngine.h.

getStackFrame()

const StackFrame * clang::ento::NodeBuilderContext::getStackFrame ( ) const

inline

Return the stack frame associated with this builder.

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