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
      • setOtherLocation

        public void setOtherLocation​(java.lang.Object key,
                                     InputLocation location)
        Parameters:
        key - a key object.
        location - a location object.
      • 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 - a target object.
        sourceDominant - a sourceDominant object.
        source - a source object.
        Returns:
        InputLocation
      • merge

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

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

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