public static class ValidityReport.Report extends Object
| Modifier and Type | Field and Description |
|---|---|
String |
description
A textual description of the error or warning.
|
Object |
extension
Some reasoner dependent data structure giving more information
on the problem.
|
boolean |
isError
True if the report is a error, false if it is just a warning.
|
String |
type
The type of the error discovered, the range of
errors types is reasoner-dependent.
|
| Constructor and Description |
|---|
Report(boolean error,
String type,
String description)
Constructor.
|
Report(boolean error,
String type,
String description,
Object extension)
Constructor
|
| Modifier and Type | Method and Description |
|---|---|
String |
getDescription() |
Object |
getExtension() |
String |
getType() |
boolean |
isError() |
String |
toString()
Printable form of the report
|
public String type
public boolean isError
public String description
public Object extension
public Report(boolean error,
String type,
String description)
error - true if the report is an error, false if it is just a warningtype - a string giving a reasoner-dependent classification for the reportdescription - a textual description of the problempublic Report(boolean error,
String type,
String description,
Object extension)
error - true if the report is an error, false if it is just a warningtype - a string giving a reasoner-dependent classification for the reportdescription - a textual description of the problemextension - a reasoner dependent data structure giving more information
on the problem.public String getDescription()
public Object getExtension()
public boolean isError()
public String getType()
Licenced under the Apache License, Version 2.0