Class JadexXMLReporterWrapper

  • All Implemented Interfaces:
    javax.xml.stream.XMLReporter

    public class JadexXMLReporterWrapper
    extends java.lang.Object
    implements javax.xml.stream.XMLReporter
    Wraps a jadex.xml.stax.XMLReporter Object to provide the javax.xml.stream.XMLReporter API.
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method 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.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • JadexXMLReporterWrapper

        public JadexXMLReporterWrapper​(XMLReporter reporter)
        Constructor
        Parameters:
        reporter - The reporter to be wrapped.
    • Method Detail

      • report

        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 the desired message in an application specific format. Only warnings and non-fatal errors should be reported through this interface. Fatal errors should be thrown as XMLStreamException.
        Specified by:
        report in interface javax.xml.stream.XMLReporter
        Parameters:
        message - the error message
        errorType - an implementation defined error type
        relatedInformation - information related to the error, if available
        location - the location of the error, if available
        Throws:
        javax.xml.stream.XMLStreamException
      • fromXMLReporter

        public static javax.xml.stream.XMLReporter fromXMLReporter​(XMLReporter reporter)
        Wraps a reporter object.
        Parameters:
        reporter -
        Returns:
        wrapped XMLReporter