clang  8.0.0svn
Public Member Functions | List of all members
clang::ento::ExplodedNode::Auditor Class Referenceabstract

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

Public Member Functions

virtual ~Auditor ()
virtual void AddEdge (ExplodedNode *Src, ExplodedNode *Dst)=0

Detailed Description

Definition at line 246 of file ExplodedGraph.h.

Constructor & Destructor Documentation

◆ ~Auditor()

ExplodedNode::Auditor::~Auditor ( )

Member Function Documentation

◆ AddEdge()

virtual void clang::ento::ExplodedNode::Auditor::AddEdge ( ExplodedNode Src,
ExplodedNode Dst 
pure virtual

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