This class contains all of the information necessary to report a diagnostic to the DiagnosticEngine. More...

#include "mlir/IR/Diagnostics.h"

Public Types
using	note_iterator = llvm::pointee_iterator< NoteVector::iterator >

using	const_note_iterator = llvm::pointee_iterator< NoteVector::const_iterator >

Public Member Functions
	Diagnostic (Location loc, DiagnosticSeverity severity)

	Diagnostic (Diagnostic &&)=default

Diagnostic &	operator= (Diagnostic &&)=default

DiagnosticSeverity	getSeverity () const
	Returns the severity of this diagnostic. More...

Location	getLocation () const
	Returns the source location for this diagnostic. More...

MutableArrayRef< DiagnosticArgument >	getArguments ()
	Returns the current list of diagnostic arguments. More...

ArrayRef< DiagnosticArgument >	getArguments () const

template<typename Arg >
std::enable_if_t<!std::is_convertible< Arg, StringRef >::value &&std::is_constructible< DiagnosticArgument, Arg >::value, Diagnostic & >	operator<< (Arg &&val)
	Stream operator for inserting new diagnostic arguments. More...

Diagnostic &	operator<< (StringAttr val)

template<size_t n>
Diagnostic &	operator<< (const char(&val)[n])
	Stream in a string literal. More...

Diagnostic &	operator<< (char val)
	Stream in a Twine argument. More...

Diagnostic &	operator<< (const Twine &val)

Diagnostic &	operator<< (Twine &&val)

Diagnostic &	operator<< (OperationName val)
	Stream in an OperationName. More...

Diagnostic &	operator<< (Operation &op)
	Stream in an Operation. More...

Diagnostic &	operator<< (Operation *op)

Diagnostic &	appendOp (Operation &op, const OpPrintingFlags &flags)
	Append an operation with the given printing flags. More...

Diagnostic &	operator<< (Value val)
	Stream in a Value. More...

template<typename T , typename ValueT = llvm::detail::ValueOfRange<T>>
std::enable_if_t<!std::is_constructible< DiagnosticArgument, T >::value, Diagnostic & >	operator<< (T &&range)
	Stream in a range. More...

template<typename T >
Diagnostic &	appendRange (const T &c, const char *delim=", ")
	Append a range to the diagnostic. More...

template<typename Arg1 , typename Arg2 , typename... Args>
Diagnostic &	append (Arg1 &&arg1, Arg2 &&arg2, Args &&...args)
	Append arguments to the diagnostic. More...

template<typename Arg >
Diagnostic &	append (Arg &&arg)
	Append one argument to the diagnostic. More...

void	print (raw_ostream &os) const
	Outputs this diagnostic to a stream. More...

std::string	str () const
	Converts the diagnostic to a string. More...

Diagnostic &	attachNote (std::optional< Location > noteLoc=std::nullopt)
	Attaches a note to this diagnostic. More...

iterator_range< note_iterator >	getNotes ()
	Returns the notes held by this diagnostic. More...

iterator_range< const_note_iterator >	getNotes () const

	operator LogicalResult () const
	Allow a diagnostic to be converted to 'failure'. More...

	operator ParseResult () const
	Allow a diagnostic to be converted to 'failure'. More...

template<typename T >
	operator FailureOr< T > () const
	Allow a diagnostic to be converted to FailureOr<T>. More...

SmallVectorImpl< DiagnosticArgument > &	getMetadata ()
	Returns the current list of diagnostic metadata. More...

Detailed Description

This class contains all of the information necessary to report a diagnostic to the DiagnosticEngine.

It should generally not be constructed directly, and instead used transitively via InFlightDiagnostic.

Definition at line 155 of file Diagnostics.h.

Member Typedef Documentation

◆ const_note_iterator

using mlir::Diagnostic::const_note_iterator = llvm::pointee_iterator<NoteVector::const_iterator>

Definition at line 251 of file Diagnostics.h.

◆ note_iterator

using mlir::Diagnostic::note_iterator = llvm::pointee_iterator<NoteVector::iterator>

Definition at line 250 of file Diagnostics.h.

Constructor & Destructor Documentation

◆ Diagnostic() [1/2]

mlir::Diagnostic::Diagnostic	(	Location	loc,
		DiagnosticSeverity	severity
	)

inline

Definition at line 159 of file Diagnostics.h.

◆ Diagnostic() [2/2]

mlir::Diagnostic::Diagnostic ( Diagnostic && )

default

Member Function Documentation

◆ append() [1/2]

template<typename Arg >

Diagnostic& mlir::Diagnostic::append ( Arg && arg )

inline

Append one argument to the diagnostic.

Definition at line 234 of file Diagnostics.h.

◆ append() [2/2]

template<typename Arg1 , typename Arg2 , typename... Args>

Diagnostic& mlir::Diagnostic::append	(	Arg1 &&	arg1,
		Arg2 &&	arg2,
		Args &&...	args
	)

inline

Append arguments to the diagnostic.

Definition at line 228 of file Diagnostics.h.

◆ appendOp()

Diagnostic & Diagnostic::appendOp	(	Operation &	op,
		const OpPrintingFlags &	flags
	)

Append an operation with the given printing flags.

Definition at line 141 of file Diagnostics.cpp.

References adjustPrintingFlags(), mlir::Operation::print(), and str().

Referenced by operator<<().

◆ appendRange()

template<typename T >

Diagnostic& mlir::Diagnostic::appendRange	(	const T &	c,
		const char *	delim = `", "`
	)

inline

Append a range to the diagnostic.

The default delimiter between elements is ','.

Definition at line 220 of file Diagnostics.h.

◆ attachNote()

Diagnostic & Diagnostic::attachNote ( std::optional< Location > noteLoc = std::nullopt )

Attaches a note to this diagnostic.

A new location may be optionally provided, if not, then the location defaults to the one specified for this diagnostic. Notes may not be attached to other notes.

Append and return a new note.

Definition at line 177 of file Diagnostics.cpp.

References mlir::Note.

◆ getArguments() [1/2]

MutableArrayRef<DiagnosticArgument> mlir::Diagnostic::getArguments ( )

inline

Returns the current list of diagnostic arguments.

Definition at line 171 of file Diagnostics.h.

Referenced by print().

◆ getArguments() [2/2]

ArrayRef<DiagnosticArgument> mlir::Diagnostic::getArguments ( ) const

inline

Definition at line 172 of file Diagnostics.h.

◆ getLocation()

Location mlir::Diagnostic::getLocation ( ) const

inline

Returns the source location for this diagnostic.

Definition at line 168 of file Diagnostics.h.

◆ getMetadata()

SmallVectorImpl<DiagnosticArgument>& mlir::Diagnostic::getMetadata ( )

inline

Returns the current list of diagnostic metadata.

Definition at line 276 of file Diagnostics.h.

◆ getNotes() [1/2]

iterator_range<note_iterator> mlir::Diagnostic::getNotes ( )

inline

Returns the notes held by this diagnostic.

Definition at line 255 of file Diagnostics.h.

◆ getNotes() [2/2]

iterator_range<const_note_iterator> mlir::Diagnostic::getNotes ( ) const

inline

Definition at line 258 of file Diagnostics.h.

◆ getSeverity()

DiagnosticSeverity mlir::Diagnostic::getSeverity ( ) const

inline

Returns the severity of this diagnostic.

Definition at line 165 of file Diagnostics.h.

◆ operator FailureOr< T >()

template<typename T >

mlir::Diagnostic::operator FailureOr< T > ( ) const

inline

Allow a diagnostic to be converted to FailureOr<T>.

Always results in 'failure' because this cast cannot possibly return an object of 'T'.

Definition at line 271 of file Diagnostics.h.

◆ operator LogicalResult()

Diagnostic::operator LogicalResult ( ) const

Allow a diagnostic to be converted to 'failure'.

Definition at line 193 of file Diagnostics.cpp.

◆ operator ParseResult()

mlir::Diagnostic::operator ParseResult ( ) const

inline

Allow a diagnostic to be converted to 'failure'.

Definition at line 266 of file Diagnostics.h.

◆ operator<<() [1/11]

template<typename Arg >

std::enable_if_t<!std::is_convertible<Arg, StringRef>::value && std::is_constructible<DiagnosticArgument, Arg>::value, Diagnostic &> mlir::Diagnostic::operator<< ( Arg && val )

inline

Stream operator for inserting new diagnostic arguments.

Definition at line 172 of file Diagnostics.h.

◆ operator<<() [2/11]

Diagnostic & Diagnostic::operator<< ( char val )

Stream in a Twine argument.

Definition at line 102 of file Diagnostics.cpp.

◆ operator<<() [3/11]

template<size_t n>

Diagnostic& mlir::Diagnostic::operator<< ( const char(&) val[n] )

inline

Stream in a string literal.

Definition at line 187 of file Diagnostics.h.

◆ operator<<() [4/11]

Diagnostic & Diagnostic::operator<< ( const Twine & val )

Definition at line 103 of file Diagnostics.cpp.

References twineToStrRef().

◆ operator<<() [5/11]

Diagnostic & Diagnostic::operator<< ( Operation & op )

Stream in an Operation.

Definition at line 137 of file Diagnostics.cpp.

References appendOp().

◆ operator<<() [6/11]

Diagnostic& mlir::Diagnostic::operator<< ( Operation * op )

inline

Definition at line 202 of file Diagnostics.h.

◆ operator<<() [7/11]

Diagnostic & Diagnostic::operator<< ( OperationName val )

Stream in an OperationName.

Definition at line 118 of file Diagnostics.cpp.

References mlir::OperationName::getStringRef().

◆ operator<<() [8/11]

Diagnostic & Diagnostic::operator<< ( StringAttr val )

Definition at line 112 of file Diagnostics.cpp.

◆ operator<<() [9/11]

template<typename T , typename ValueT = llvm::detail::ValueOfRange<T>>

std::enable_if_t<!std::is_constructible<DiagnosticArgument, T>::value, Diagnostic &> mlir::Diagnostic::operator<< ( T && range )

inline

Stream in a range.

Definition at line 207 of file Diagnostics.h.

◆ operator<<() [10/11]

Diagnostic & Diagnostic::operator<< ( Twine && val )

Definition at line 107 of file Diagnostics.cpp.

References twineToStrRef().

◆ operator<<() [11/11]

Diagnostic & Diagnostic::operator<< ( Value val )

Stream in a Value.

Definition at line 153 of file Diagnostics.cpp.

References adjustPrintingFlags(), mlir::Value::print(), and str().

◆ operator=()

Diagnostic& mlir::Diagnostic::operator= ( Diagnostic && )

default

◆ print()

void Diagnostic::print ( raw_ostream & os ) const

Outputs this diagnostic to a stream.

Definition at line 161 of file Diagnostics.cpp.

References getArguments().

Referenced by mlirAffineExprPrint(), mlirAffineMapPrint(), mlirDiagnosticPrint(), mlirIntegerSetPrint(), and str().

◆ str()

std::string Diagnostic::str ( ) const

Converts the diagnostic to a string.

Convert the diagnostic to a string.

Definition at line 167 of file Diagnostics.cpp.

References print().

Referenced by appendOp(), and operator<<().

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

Detailed Description

Member Typedef Documentation

◆ const_note_iterator

◆ note_iterator

Constructor & Destructor Documentation

◆ Diagnostic() [1/2]

◆ Diagnostic() [2/2]

Member Function Documentation

◆ append() [1/2]

◆ append() [2/2]

◆ appendOp()

◆ appendRange()

◆ attachNote()

◆ getArguments() [1/2]

◆ getArguments() [2/2]

◆ getLocation()

◆ getMetadata()

◆ getNotes() [1/2]

◆ getNotes() [2/2]

◆ getSeverity()

◆ operator FailureOr< T >()

◆ operator LogicalResult()

◆ operator ParseResult()

◆ operator<<() [1/11]

◆ operator<<() [2/11]

◆ operator<<() [3/11]

◆ operator<<() [4/11]

◆ operator<<() [5/11]

◆ operator<<() [6/11]

◆ operator<<() [7/11]

◆ operator<<() [8/11]

◆ operator<<() [9/11]

◆ operator<<() [10/11]

◆ operator<<() [11/11]

◆ operator=()

◆ print()

◆ str()