java.io.Serializable, LocationProviderpublic class LocationMap extends java.lang.Object implements LocationProvider, java.io.Serializable
| Constructor | Description |
|---|---|
LocationMap() |
Create a location map
|
| Modifier and Type | Method | Description |
|---|---|---|
int |
allocateLocationId(java.lang.String module,
int lineNumber) |
Allocate a location identifier to an expression
|
int |
getColumnNumber(long locationId) |
Get the column number within the document or module containing a particular location
|
int |
getLineNumber(long locationId) |
Get the line number corresponding to a locationId
|
java.lang.String |
getSystemId(long locationId) |
Get the system identifier corresponding to a locationId
|
public int allocateLocationId(java.lang.String module,
int lineNumber)
module - the URI (system identifier) of the modulelineNumber - the line number of the expression within the modulepublic java.lang.String getSystemId(long locationId)
getSystemId in interface LocationProviderlocationId - the location identifierpublic int getLineNumber(long locationId)
getLineNumber in interface LocationProviderlocationId - the location identifierpublic int getColumnNumber(long locationId)
LocationProvidergetColumnNumber in interface LocationProviderlocationId - identifier of the location in question (as passed down the Receiver pipeline)