Class LineMappingProvider.LineMapping

  • Enclosing class:
    LineMappingProvider

    public static class LineMappingProvider.LineMapping
    extends java.lang.Object
    • Field Detail

      • sourceStartLine

        public int sourceStartLine
      • targetStartLine

        public int targetStartLine
      • targetEndLine

        public int targetEndLine
    • Constructor Detail

      • LineMapping

        public LineMapping​(int sourceStartLine,
                           int targetStartLine,
                           int targetEndLine,
                           SourceRelativeURI source)
    • Method Detail

      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • toString

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