clang::ento::SwitchNodeBuilder Class Reference

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

Inheritance diagram for clang::ento::SwitchNodeBuilder:

Public Types
using	iterator = CFGBlock::const_succ_reverse_iterator

Public Member Functions
	SwitchNodeBuilder (ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)
iterator	begin ()
iterator	end ()
ExplodedNode *	generateCaseStmtNode (const CFGBlock *Block, ProgramStateRef State, ExplodedNode *Pred)
ExplodedNode *	generateDefaultCaseNode (ProgramStateRef State, ExplodedNode *Pred)
Public Member Functions inherited from clang::ento::NodeBuilder
	NodeBuilder (ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)
	NodeBuilder (ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)
	NodeBuilder (const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx)
ExplodedNode *	generateNode (const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred, bool MarkAsSink=false)
	Generates a node in the ExplodedGraph.
ExplodedNode *	generateSink (const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred)
	Generates a sink in the ExplodedGraph.
ExplodedNode *	generateNode (const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)
ExplodedNode *	generateSink (const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind)
const ExplodedNodeSet &	getResults () const
const NodeBuilderContext &	getContext () const
bool	hasGeneratedNodes () const
void	takeNodes (const ExplodedNodeSet &S)
void	takeNodes (ExplodedNode *N)
void	addNodes (const ExplodedNodeSet &S)
void	addNodes (ExplodedNode *N)

Additional Inherited Members
Protected Attributes inherited from clang::ento::NodeBuilder
const NodeBuilderContext &	C
bool	HasGeneratedNodes = false
ExplodedNodeSet &	Frontier
	The frontier set - a set of nodes which need to be propagated after the builder dies.

Detailed Description

Definition at line 363 of file CoreEngine.h.

Member Typedef Documentation

iterator

using clang::ento::SwitchNodeBuilder::iterator = CFGBlock::const_succ_reverse_iterator

Definition at line 368 of file CoreEngine.h.

Constructor & Destructor Documentation

SwitchNodeBuilder()

clang::ento::SwitchNodeBuilder::SwitchNodeBuilder ( ExplodedNodeSet & DstSet, const NodeBuilderContext & Ctx )

inline

Definition at line 365 of file CoreEngine.h.

References clang::ento::NodeBuilder::NodeBuilder().

Member Function Documentation

begin()

iterator clang::ento::SwitchNodeBuilder::begin ( )

inline

Definition at line 370 of file CoreEngine.h.

References clang::ento::NodeBuilder::C.

end()

iterator clang::ento::SwitchNodeBuilder::end ( )

inline

Definition at line 371 of file CoreEngine.h.

References clang::ento::NodeBuilder::C.

generateCaseStmtNode()

ExplodedNode * SwitchNodeBuilder::generateCaseStmtNode	(	const CFGBlock *	Block,
		ProgramStateRef	State,
		ExplodedNode *	Pred )

Definition at line 715 of file CoreEngine.cpp.

References clang::Block, clang::ento::NodeBuilder::C, clang::ento::NodeBuilder::generateNode(), and clang::ento::ExplodedNode::getLocationContext().

generateDefaultCaseNode()

ExplodedNode * SwitchNodeBuilder::generateDefaultCaseNode	(	ProgramStateRef	State,
		ExplodedNode *	Pred )

Definition at line 722 of file CoreEngine.cpp.

References clang::ento::NodeBuilder::C, clang::ento::NodeBuilder::generateNode(), clang::ento::ExplodedNode::getLocationContext(), clang::CFGBlock::succ_rbegin(), and clang::CFGBlock::succ_rend().

---

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

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