clang  14.0.0git
Classes | Public Types | Public Member Functions | Protected Attributes | List of all members
clang::ento::PathDiagnosticConsumer Class Referenceabstract

#include "clang/Analysis/PathDiagnostic.h"

Collaboration diagram for clang::ento::PathDiagnosticConsumer:
Collaboration graph
[legend]

Classes

class  FilesMade
 
class  PDFileEntry
 

Public Types

enum  PathGenerationScheme { None, Minimal, Extensive, Everything }
 

Public Member Functions

 PathDiagnosticConsumer ()=default
 
virtual ~PathDiagnosticConsumer ()
 
void FlushDiagnostics (FilesMade *FilesMade)
 
virtual void FlushDiagnosticsImpl (std::vector< const PathDiagnostic * > &Diags, FilesMade *filesMade)=0
 
virtual StringRef getName () const =0
 
void HandlePathDiagnostic (std::unique_ptr< PathDiagnostic > D)
 
virtual PathGenerationScheme getGenerationScheme () const
 
bool shouldGenerateDiagnostics () const
 
bool shouldAddPathEdges () const
 
bool shouldAddControlNotes () const
 
virtual bool supportsLogicalOpControlFlow () const
 
virtual bool supportsCrossFileDiagnostics () const
 Return true if the PathDiagnosticConsumer supports individual PathDiagnostics that span multiple files. More...
 

Protected Attributes

bool flushed = false
 
llvm::FoldingSet< PathDiagnosticDiags
 

Detailed Description

Definition at line 94 of file PathDiagnostic.h.

Member Enumeration Documentation

◆ PathGenerationScheme

Enumerator
None 

Only runs visitors, no output generated.

Minimal 

Used for SARIF and text output.

Extensive 

Used for plist output, used for "arrows" generation.

Everything 

Used for HTML, shows both "arrows" and control notes.

Definition at line 144 of file PathDiagnostic.h.

Constructor & Destructor Documentation

◆ PathDiagnosticConsumer()

clang::ento::PathDiagnosticConsumer::PathDiagnosticConsumer ( )
default

◆ ~PathDiagnosticConsumer()

PathDiagnosticConsumer::~PathDiagnosticConsumer ( )
virtual

Definition at line 135 of file PathDiagnostic.cpp.

References Diag(), and Diags.

Member Function Documentation

◆ FlushDiagnostics()

void PathDiagnosticConsumer::FlushDiagnostics ( PathDiagnosticConsumer::FilesMade Files)

Definition at line 403 of file PathDiagnostic.cpp.

References compare(), Diags, FlushDiagnosticsImpl(), flushed, int, and clang::tooling::X().

◆ FlushDiagnosticsImpl()

virtual void clang::ento::PathDiagnosticConsumer::FlushDiagnosticsImpl ( std::vector< const PathDiagnostic * > &  Diags,
FilesMade filesMade 
)
pure virtual

Referenced by FlushDiagnostics().

◆ getGenerationScheme()

virtual PathGenerationScheme clang::ento::PathDiagnosticConsumer::getGenerationScheme ( ) const
inlinevirtual

Definition at line 158 of file PathDiagnostic.h.

References Minimal.

Referenced by shouldAddControlNotes(), shouldAddPathEdges(), and shouldGenerateDiagnostics().

◆ getName()

virtual StringRef clang::ento::PathDiagnosticConsumer::getName ( ) const
pure virtual

◆ HandlePathDiagnostic()

void PathDiagnosticConsumer::HandlePathDiagnostic ( std::unique_ptr< PathDiagnostic D)

◆ shouldAddControlNotes()

bool clang::ento::PathDiagnosticConsumer::shouldAddControlNotes ( ) const
inline

Definition at line 165 of file PathDiagnostic.h.

References Everything, getGenerationScheme(), and Minimal.

◆ shouldAddPathEdges()

bool clang::ento::PathDiagnosticConsumer::shouldAddPathEdges ( ) const
inline

Definition at line 164 of file PathDiagnostic.h.

References Extensive, and getGenerationScheme().

◆ shouldGenerateDiagnostics()

bool clang::ento::PathDiagnosticConsumer::shouldGenerateDiagnostics ( ) const
inline

Definition at line 160 of file PathDiagnostic.h.

References getGenerationScheme(), and None.

◆ supportsCrossFileDiagnostics()

virtual bool clang::ento::PathDiagnosticConsumer::supportsCrossFileDiagnostics ( ) const
inlinevirtual

Return true if the PathDiagnosticConsumer supports individual PathDiagnostics that span multiple files.

Definition at line 174 of file PathDiagnostic.h.

Referenced by HandlePathDiagnostic().

◆ supportsLogicalOpControlFlow()

virtual bool clang::ento::PathDiagnosticConsumer::supportsLogicalOpControlFlow ( ) const
inlinevirtual

Definition at line 170 of file PathDiagnostic.h.

Member Data Documentation

◆ Diags

llvm::FoldingSet<PathDiagnostic> clang::ento::PathDiagnosticConsumer::Diags
protected

◆ flushed

bool clang::ento::PathDiagnosticConsumer::flushed = false
protected

Definition at line 177 of file PathDiagnostic.h.

Referenced by FlushDiagnostics().


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