public abstract class Diag
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static class |
Diag.Kind
Represents diagnosis kind.
|
| Constructor and Description |
|---|
Diag() |
| Modifier and Type | Method and Description |
|---|---|
static Diag |
create(Location location,
java.lang.String message,
Diag.Kind kind,
java.lang.Object... args) |
static Diag |
error(Location location,
java.lang.String message,
java.lang.Object... args)
Creates an error diagnosis.
|
abstract Diag.Kind |
getKind() |
abstract Location |
getLocation() |
abstract java.lang.String |
getMessage() |
java.lang.String |
toString() |
static Diag |
warning(Location location,
java.lang.String message,
java.lang.Object... args)
Creates a warning diagnosis.
|
public static Diag error(Location location, java.lang.String message, java.lang.Object... args)
public static Diag warning(Location location, java.lang.String message, java.lang.Object... args)
public static Diag create(Location location, java.lang.String message, Diag.Kind kind, java.lang.Object... args)
public abstract Diag.Kind getKind()
public abstract Location getLocation()
public abstract java.lang.String getMessage()
public java.lang.String toString()
toString in class java.lang.Object