This class is a utility diagnostic handler for use with llvm::SourceMgr that verifies that emitted diagnostics match 'expected-*' lines on the corresponding line of the source file. More...

#include "mlir/IR/Diagnostics.h"

Inheritance diagram for mlir::SourceMgrDiagnosticVerifierHandler:

Public Types
enum class	Level { None = 0 , All , OnlyExpected }

Public Types inherited from mlir::SourceMgrDiagnosticHandler
using	ShouldShowLocFn = llvm::unique_function< bool(Location)>
	This type represents a functor used to filter out locations when printing a diagnostic. More...

Public Member Functions
	SourceMgrDiagnosticVerifierHandler (llvm::SourceMgr &srcMgr, MLIRContext *ctx, raw_ostream &out, Level level=Level::All)

	SourceMgrDiagnosticVerifierHandler (llvm::SourceMgr &srcMgr, MLIRContext *ctx, Level level=Level::All)

	~SourceMgrDiagnosticVerifierHandler ()

LogicalResult	verify ()
	Returns the status of the handler and verifies that all expected diagnostics were emitted. More...

Public Member Functions inherited from mlir::SourceMgrDiagnosticHandler
	SourceMgrDiagnosticHandler (llvm::SourceMgr &mgr, MLIRContext *ctx, raw_ostream &os, ShouldShowLocFn &&shouldShowLocFn={})

	SourceMgrDiagnosticHandler (llvm::SourceMgr &mgr, MLIRContext *ctx, ShouldShowLocFn &&shouldShowLocFn={})

	~SourceMgrDiagnosticHandler ()

void	emitDiagnostic (Location loc, Twine message, DiagnosticSeverity kind, bool displaySourceLine=true)
	Emit the given diagnostic information with the held source manager. More...

void	setCallStackLimit (unsigned limit)
	Set the maximum depth that a call stack will be printed. Defaults to 10. More...

Public Member Functions inherited from mlir::ScopedDiagnosticHandler
	ScopedDiagnosticHandler (MLIRContext *ctx)

template<typename FuncTy >
	ScopedDiagnosticHandler (MLIRContext *ctx, FuncTy &&handler)

	~ScopedDiagnosticHandler ()

Additional Inherited Members
Protected Member Functions inherited from mlir::SourceMgrDiagnosticHandler
void	emitDiagnostic (Diagnostic &diag)
	Emit the given diagnostic with the held source manager. More...

const llvm::MemoryBuffer *	getBufferForFile (StringRef filename)
	Get a memory buffer for the given file, or nullptr if no file is available. More...

Protected Member Functions inherited from mlir::ScopedDiagnosticHandler
template<typename FuncTy >
void	setHandler (FuncTy &&handler)
	Set the handler to manage via RAII. More...

Protected Attributes inherited from mlir::SourceMgrDiagnosticHandler
llvm::SourceMgr &	mgr
	The source manager that we are wrapping. More...

raw_ostream &	os
	The output stream to use when printing diagnostics. More...

ShouldShowLocFn	shouldShowLocFn
	A functor used when determining if a location for a diagnostic should be shown. More...

Detailed Description

This class is a utility diagnostic handler for use with llvm::SourceMgr that verifies that emitted diagnostics match 'expected-*' lines on the corresponding line of the source file.

Definition at line 627 of file Diagnostics.h.

Member Enumeration Documentation

◆ Level

enum mlir::SourceMgrDiagnosticVerifierHandler::Level

strong

Enumerator
None
All
OnlyExpected

Definition at line 629 of file Diagnostics.h.

Constructor & Destructor Documentation

◆ SourceMgrDiagnosticVerifierHandler() [1/2]

SourceMgrDiagnosticVerifierHandler::SourceMgrDiagnosticVerifierHandler	(	llvm::SourceMgr &	srcMgr,
		MLIRContext *	ctx,
		raw_ostream &	out,
		Level	level = `Level::All`
	)

Definition at line 815 of file Diagnostics.cpp.

References diag(), mlir::SourceMgrDiagnosticHandler::mgr, and mlir::ScopedDiagnosticHandler::setHandler().

◆ SourceMgrDiagnosticVerifierHandler() [2/2]

SourceMgrDiagnosticVerifierHandler::SourceMgrDiagnosticVerifierHandler	(	llvm::SourceMgr &	srcMgr,
		MLIRContext *	ctx,
		Level	level = `Level::All`
	)

Definition at line 835 of file Diagnostics.cpp.

◆ ~SourceMgrDiagnosticVerifierHandler()

SourceMgrDiagnosticVerifierHandler::~SourceMgrDiagnosticVerifierHandler ( )

Definition at line 839 of file Diagnostics.cpp.

References verify().

Member Function Documentation

◆ verify()

LogicalResult SourceMgrDiagnosticVerifierHandler::verify ( )

Returns the status of the handler and verifies that all expected diagnostics were emitted.

Returns the status of the verifier and verifies that all expected diagnostics were emitted.

This return success if all diagnostics were verified correctly, failure otherwise.

Definition at line 847 of file Diagnostics.cpp.

References getDiagKindStr(), mlir::SourceMgrDiagnosticHandler::mgr, and mlir::SourceMgrDiagnosticHandler::os.

Referenced by ~SourceMgrDiagnosticVerifierHandler().

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

include/mlir/IR/Diagnostics.h
lib/IR/Diagnostics.cpp

Public Types

Public Member Functions

Additional Inherited Members