public final class Region
extends java.lang.Object
implements java.io.Serializable
| Constructor and Description |
|---|
Region(int beginLine,
int endLine,
int beginColumn,
int endColumn) |
Region(java.lang.String fileName,
int beginLine,
int endLine,
int beginColumn,
int endColumn) |
Region(java.lang.String fileName,
TextLocation begin,
TextLocation end) |
Region(TextLocation begin,
TextLocation end) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
int |
getBeginColumn() |
int |
getBeginLine() |
int |
getEndColumn()
Note that
-1 indicates an unknown end. |
int |
getEndLine()
Note that
-1 indicates an unknown end. |
java.lang.String |
getFileName() |
int |
hashCode() |
boolean |
isEmpty() |
boolean |
isInside(int line,
int column) |
boolean |
IsInside(TextLocation location) |
java.lang.String |
toString() |
public static final Region EMPTY
public Region(TextLocation begin, TextLocation end)
public Region(java.lang.String fileName,
TextLocation begin,
TextLocation end)
public Region(int beginLine,
int endLine,
int beginColumn,
int endColumn)
public Region(java.lang.String fileName,
int beginLine,
int endLine,
int beginColumn,
int endColumn)
public final java.lang.String getFileName()
public final int getBeginLine()
public final int getEndLine()
-1 indicates an unknown end.public final int getBeginColumn()
public final int getEndColumn()
-1 indicates an unknown end.public final boolean isEmpty()
public final boolean isInside(int line,
int column)
public final boolean IsInside(TextLocation location)
public final int hashCode()
hashCode in class java.lang.Objectpublic final boolean equals(java.lang.Object obj)
equals in class java.lang.Objectpublic final java.lang.String toString()
toString in class java.lang.Object