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 -