Class InputLocation

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Cloneable, InputLocationTracker

    public final class InputLocation
    extends java.lang.Object
    implements java.io.Serializable, java.lang.Cloneable, InputLocationTracker
    Class InputLocation.
    Version:
    $Revision$ $Date$
    See Also:
    Serialized Form
    • Constructor Detail

      • InputLocation

        public InputLocation​(int lineNumber,
                             int columnNumber)
      • InputLocation

        public InputLocation​(int lineNumber,
                             int columnNumber,
                             InputSource source)
    • Method Detail

      • clone

        public InputLocation clone()
        Method clone.
        Overrides:
        clone in class java.lang.Object
        Returns:
        InputLocation
      • getColumnNumber

        public int getColumnNumber()
        Get the one-based column number. The value will be non-positive if unknown.
        Returns:
        int
      • getLineNumber

        public int getLineNumber()
        Get the one-based line number. The value will be non-positive if unknown.
        Returns:
        int
      • getLocations

        public java.util.Map<java.lang.Object,​InputLocation> getLocations()
        Returns:
        Map
      • getSource

        public InputSource getSource()
        Get the source field.
        Returns:
        InputSource
      • merge

        public static InputLocation merge​(InputLocation target,
                                          InputLocation source,
                                          boolean sourceDominant)
        Method merge.
        Parameters:
        target -
        sourceDominant -
        source -
        Returns:
        InputLocation
      • merge

        public static InputLocation merge​(InputLocation target,
                                          InputLocation source,
                                          java.util.Collection<java.lang.Integer> indices)
        Method merge.
        Parameters:
        target -
        indices -
        source -
        Returns:
        InputLocation
      • setLocations

        public void setLocations​(java.util.Map<java.lang.Object,​InputLocation> locations)
        Parameters:
        locations -
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object