public class FilePosition
extends java.lang.Object
Constructor and Description |
---|
FilePosition(java.io.File file,
int line,
int column) |
FilePosition(java.io.File file,
int startLine,
int startColumn,
int endLine,
int endColumn) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
int |
getEndColumn() |
int |
getEndLine() |
java.io.File |
getFile() |
int |
getStartColumn() |
int |
getStartLine() |
int |
hashCode() |
public FilePosition(java.io.File file, int line, int column)
file
- fileline
- 0-based line numbercolumn
- 0-based column numberpublic FilePosition(java.io.File file, int startLine, int startColumn, int endLine, int endColumn)
file
- filestartLine
- 0-based start line numberstartColumn
- 0-based start column numberendLine
- 0-based end numberendColumn
- 0-based end column numberpublic java.io.File getFile()
public int getStartLine()
public int getStartColumn()
public int getEndLine()
public int getEndColumn()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object