public final class SourceLocation
extends java.lang.Object
Constructor and Description |
---|
SourceLocation(int line,
int column,
java.lang.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(java.lang.Object obj) |
int |
getColumnNumber()
Gets the source column number.
|
int |
getLineNumber()
Gets the source line number.
|
java.lang.String |
getUrl()
Gets the url of the source location.
|
int |
hashCode() |
public SourceLocation(int line, int column, java.lang.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 java.lang.String getUrl()
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
Copyright © 2010-2018 Planetary Data System. All Rights Reserved.