clang: clang::ento::SwitchNodeBuilder Class Reference (original) (raw)

#include "[clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h](CoreEngine%5F8h%5Fsource.html)"

Public Member Functions
SwitchNodeBuilder (ExplodedNode *pred, const CFGBlock *src, const Expr *condition, CoreEngine *eng)
iterator begin ()
iterator end ()
const SwitchStmt * getSwitch () const
ExplodedNode * generateCaseStmtNode (const iterator &I, ProgramStateRef State)
ExplodedNode * generateDefaultCaseNode (ProgramStateRef State, bool isSink=false)
const Expr * getCondition () const
ProgramStateRef getState () const
const LocationContext * getLocationContext () const

Definition at line 516 of file CoreEngine.h.

◆ begin()

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

◆ end()

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

◆ generateCaseStmtNode()

◆ generateDefaultCaseNode()

◆ getCondition()

const Expr * clang::ento::SwitchNodeBuilder::getCondition ( ) const inline

◆ getLocationContext()

const LocationContext * clang::ento::SwitchNodeBuilder::getLocationContext ( ) const inline

◆ getState()

◆ getSwitch()

const SwitchStmt * clang::ento::SwitchNodeBuilder::getSwitch ( ) const inline

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