clang 19.0.0git
Classes | Public Member Functions | List of all members
clang::ento::SwitchNodeBuilder Class Reference

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


class  iterator

Public Member Functions

 SwitchNodeBuilder (ExplodedNode *pred, const CFGBlock *src, const Expr *condition, CoreEngine *eng)
iterator begin ()
iterator end ()
const SwitchStmtgetSwitch () const
ExplodedNodegenerateCaseStmtNode (const iterator &I, ProgramStateRef State)
ExplodedNodegenerateDefaultCaseNode (ProgramStateRef State, bool isSink=false)
const ExprgetCondition () const
ProgramStateRef getState () const
const LocationContextgetLocationContext () const

Detailed Description

Definition at line 534 of file CoreEngine.h.

Constructor & Destructor Documentation

◆ SwitchNodeBuilder()

clang::ento::SwitchNodeBuilder::SwitchNodeBuilder ( ExplodedNode pred,
const CFGBlock src,
const Expr condition,
CoreEngine eng 

Definition at line 541 of file CoreEngine.h.

References clang::Condition.

Member Function Documentation

◆ begin()

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

Definition at line 566 of file CoreEngine.h.

References clang::CFGBlock::succ_rbegin().

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

◆ end()

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

Definition at line 567 of file CoreEngine.h.

References clang::CFGBlock::succ_rend().

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

◆ generateCaseStmtNode()

ExplodedNode * SwitchNodeBuilder::generateCaseStmtNode ( const iterator I,
ProgramStateRef  State 

◆ generateDefaultCaseNode()

ExplodedNode * SwitchNodeBuilder::generateDefaultCaseNode ( ProgramStateRef  State,
bool  isSink = false 

◆ getCondition()

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

Definition at line 579 of file CoreEngine.h.

References clang::Condition.

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

◆ getLocationContext()

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

◆ getState()

ProgramStateRef clang::ento::SwitchNodeBuilder::getState ( ) const

Definition at line 581 of file CoreEngine.h.

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

◆ getSwitch()

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

Definition at line 569 of file CoreEngine.h.

References clang::CFGBlock::getTerminator().

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

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