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