Package jadex.xml.stax

Class JadexLocationWrapper

  • All Implemented Interfaces:
    javax.xml.stream.Location
    public class JadexLocationWrapper
extends java.lang.Object
implements javax.xml.stream.Location
    Wraps a jadex.xml.ILocation Object to provide the javax.xml.stream.Location API.

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      static javax.xml.stream.Location fromLocation​(ILocation loc)
      Static method to wrap a Location object.
      int getCharacterOffset()
      Return the byte or character offset into the input source this location is pointing to.
      int getColumnNumber()
      Return the column number where the current event ends, returns -1 if none is available.
      int getLineNumber()
      Return the line number where the current event ends, returns -1 if none is available.
      java.lang.String getPublicId()
      Returns the public ID of the XML
      java.lang.String getSystemId()
      Returns the system ID of the XML

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • JadexLocationWrapper

        public JadexLocationWrapper​(ILocation loc)
        Constructor
        Parameters:
        loc - The location to be wrapped.

    • Method Detail

      • getLineNumber

        public int getLineNumber()
        Return the line number where the current event ends, returns -1 if none is available.
        Specified by:
        getLineNumber in interface javax.xml.stream.Location
        Returns:
        the current line number

      • getColumnNumber

        public int getColumnNumber()
        Return the column number where the current event ends, returns -1 if none is available.
        Specified by:
        getColumnNumber in interface javax.xml.stream.Location
        Returns:
        the current column number

      • getCharacterOffset

        public int getCharacterOffset()
        Return the byte or character offset into the input source this location is pointing to. If the input source is a file or a byte stream then this is the byte offset into that stream, but if the input source is a character media then the offset is the character offset. Returns -1 if there is no offset available.
        Specified by:
        getCharacterOffset in interface javax.xml.stream.Location
        Returns:
        the current offset

      • getPublicId

        public java.lang.String getPublicId()
        Returns the public ID of the XML
        Specified by:
        getPublicId in interface javax.xml.stream.Location
        Returns:
        the public ID, or null if not available

      • getSystemId

        public java.lang.String getSystemId()
        Returns the system ID of the XML
        Specified by:
        getSystemId in interface javax.xml.stream.Location
        Returns:
        the system ID, or null if not available

      • fromLocation

        public static javax.xml.stream.Location fromLocation​(ILocation loc)
        Static method to wrap a Location object.
        Parameters:
        loc -
        Returns:
        Wrapped Object