public final class SourceLocation extends Object
Constructor and Description |
---|
SourceLocation(int line,
int column,
String url)
Creates a new instance with a given line, column number and
url of the source.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Object obj) |
int |
getColumnNumber()
Gets the source column number.
|
int |
getLineNumber()
Gets the source line number.
|
String |
getUrl()
Gets the url of the source location.
|
int |
hashCode() |
public SourceLocation(int line, int column, String url)
line
- the source line number, or -1 if not availablecolumn
- the source column number, or -1 if not availableurl
- the source location, or null if not availablepublic int getLineNumber()
public int getColumnNumber()
public String getUrl()
Copyright © 2010–2016 Planetary Data System. All rights reserved.