public class JadexXMLReporterWrapper
extends java.lang.Object
implements javax.xml.stream.XMLReporter
| Constructor and Description |
|---|
JadexXMLReporterWrapper(XMLReporter reporter)
Constructor
|
| Modifier and Type | Method and Description |
|---|---|
static javax.xml.stream.XMLReporter |
fromXMLReporter(XMLReporter reporter)
Wraps a reporter object.
|
void |
report(java.lang.String message,
java.lang.String errorType,
java.lang.Object relatedInformation,
javax.xml.stream.Location location)
Report the desired message in an application specific format.
|
public JadexXMLReporterWrapper(XMLReporter reporter)
reporter - The reporter to be wrapped.public void report(java.lang.String message,
java.lang.String errorType,
java.lang.Object relatedInformation,
javax.xml.stream.Location location)
throws javax.xml.stream.XMLStreamException
report in interface javax.xml.stream.XMLReportermessage - the error messageerrorType - an implementation defined error typerelatedInformation - information related to the error, if availablelocation - the location of the error, if availablejavax.xml.stream.XMLStreamExceptionpublic static javax.xml.stream.XMLReporter fromXMLReporter(XMLReporter reporter)
reporter -