clang  6.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 230 of file ExplodedGraph.h.

Constructor & Destructor Documentation

◆ ~Auditor()

ExplodedNode::Auditor::~Auditor ( )
virtual

Definition at line 32 of file ExplodedGraph.cpp.

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: