dotty.tools.dotc.interfaces

Interface Diagnostic

public interface Diagnostic

A diagnostic is a message emitted during the compilation process. It can either be an error, a warning or an information. User code should not implement this interface, but it may have to manipulate objects of this type.

Field Summary

Fields

Modifier and Type	Field and Description
static int	ERROR
static int	INFO
static int	WARNING

Method Summary

Modifier and Type	Method and Description
int	level()
java.lang.String	message()
java.util.Optional<SourcePosition>	position()

Field Detail

ERROR

static final int ERROR

See Also:

Constant Field Values

WARNING

static final int WARNING

See Also:

Constant Field Values

INFO

static final int INFO

See Also:

Constant Field Values

Method Detail

message

java.lang.String message()

Returns:

The message to report

level

int level()

Returns:

Level of the diagnostic, can be either ERROR, WARNING or INFO

position

java.util.Optional<SourcePosition> position()

Returns:

The position in a source file of the code that caused this diagnostic to be emitted.