clang  7.0.0svn
Classes | Public Member Functions | List of all members
clang::ento::IndirectGotoNodeBuilder Class Reference

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


class  iterator

Public Member Functions

 IndirectGotoNodeBuilder (ExplodedNode *pred, const CFGBlock *src, const Expr *e, const CFGBlock *dispatch, CoreEngine *eng)
iterator begin ()
iterator end ()
ExplodedNodegenerateNode (const iterator &I, ProgramStateRef State, bool isSink=false)
const ExprgetTarget () const
ProgramStateRef getState () const
const LocationContextgetLocationContext () const

Detailed Description

Definition at line 469 of file CoreEngine.h.

Constructor & Destructor Documentation

◆ IndirectGotoNodeBuilder()

clang::ento::IndirectGotoNodeBuilder::IndirectGotoNodeBuilder ( ExplodedNode pred,
const CFGBlock src,
const Expr e,
const CFGBlock dispatch,
CoreEngine eng 

Definition at line 477 of file CoreEngine.h.

Member Function Documentation

◆ begin()

iterator clang::ento::IndirectGotoNodeBuilder::begin ( )

Definition at line 501 of file CoreEngine.h.

References clang::CFGBlock::succ_begin().

◆ end()

iterator clang::ento::IndirectGotoNodeBuilder::end ( )

Definition at line 502 of file CoreEngine.h.

References clang::CFGBlock::succ_end().

◆ generateNode()

ExplodedNode * IndirectGotoNodeBuilder::generateNode ( const iterator I,
ProgramStateRef  State,
bool  isSink = false 

Definition at line 821 of file CoreEngine.cpp.

◆ getLocationContext()

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

◆ getState()

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

Definition at line 510 of file CoreEngine.h.

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

◆ getTarget()

const Expr* clang::ento::IndirectGotoNodeBuilder::getTarget ( ) const

Definition at line 508 of file CoreEngine.h.

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

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