public class Location
extends java.lang.Object
| Constructor and Description |
|---|
Location() |
Location(int line,
int column) |
Location(java.lang.String file,
int line,
int column) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object o) |
int |
getColumn() |
java.lang.String |
getFile() |
int |
getLine() |
boolean |
precedes(Location other)
Returns true if this location precedes the specified one.
|
Location |
setColumn(int column) |
Location |
setFile(java.lang.String file) |
Location |
setLine(int line) |
java.lang.String |
toString() |
public Location()
public Location(int line,
int column)
public Location(java.lang.String file,
int line,
int column)
public final Location setFile(java.lang.String file)
public final java.lang.String getFile()
public final Location setLine(int line)
public final int getLine()
public final Location setColumn(int column)
public final int getColumn()
public final boolean precedes(Location other)
public final boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic final java.lang.String toString()
toString in class java.lang.Object