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.XMLReporter
message
- the error messageerrorType
- an implementation defined error typerelatedInformation
- information related to the error, if availablelocation
- the location of the error, if availablejavax.xml.stream.XMLStreamException
public static javax.xml.stream.XMLReporter fromXMLReporter(XMLReporter reporter)
reporter
-