Class Region

  • All Implemented Interfaces:
    java.io.Serializable

    public final class Region
    extends java.lang.Object
    implements java.io.Serializable
    See Also:
    Serialized Form
    • Field Detail

      • EMPTY

        public static final Region EMPTY
      • _fileName

        private final java.lang.String _fileName
      • _beginLine

        private final int _beginLine
      • _endLine

        private final int _endLine
      • _beginColumn

        private final int _beginColumn
      • _endColumn

        private final int _endColumn
    • Constructor Detail

      • Region

        public Region​(int beginLine,
                      int endLine,
                      int beginColumn,
                      int endColumn)
      • Region

        public Region​(java.lang.String fileName,
                      int beginLine,
                      int endLine,
                      int beginColumn,
                      int endColumn)
    • Method Detail

      • getFileName

        public final java.lang.String getFileName()
      • getBeginLine

        public final int getBeginLine()
      • getEndLine

        public final int getEndLine()
        Note that -1 indicates an unknown end.
      • getBeginColumn

        public final int getBeginColumn()
      • getEndColumn

        public final int getEndColumn()
        Note that -1 indicates an unknown end.
      • isEmpty

        public final boolean isEmpty()
      • isInside

        public final boolean isInside​(int line,
                                      int column)
      • IsInside

        public final boolean IsInside​(TextLocation location)
      • hashCode

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

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

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