public final class Diagnostic extends Object
| Modifier and Type | Class and Description |
|---|---|
static class |
Diagnostic.Level |
| Constructor and Description |
|---|
Diagnostic(Diagnostic.Level level,
Location location,
String format,
Object... args) |
Diagnostic(Diagnostic.Level level,
Throwable thrown,
Location location,
String format,
Object... args) |
| Modifier and Type | Method and Description |
|---|---|
Diagnostic.Level |
getLevel() |
Throwable |
getThrown() |
void |
print(PrintStream os) |
String |
toString() |
StringBuilder |
toString(StringBuilder b) |
public Diagnostic(Diagnostic.Level level, Location location, String format, Object... args)
public Diagnostic(Diagnostic.Level level, Throwable thrown, Location location, String format, Object... args)
public void print(PrintStream os)
public StringBuilder toString(StringBuilder b)
public Throwable getThrown()
public Diagnostic.Level getLevel()
Copyright © 2020 JBoss by Red Hat. All rights reserved.