java.io.Serializable
, LocationProvider
public class LocationMap extends java.lang.Object implements LocationProvider, java.io.Serializable
Constructor | Description |
---|---|
LocationMap() |
Modifier and Type | Method | Description |
---|---|---|
int |
allocateLocationId(java.lang.String module,
int lineNumber) |
Allocate a location identifier to an expression
|
int |
getLineNumber(int locationId) |
Get the line number corresponding to a locationId
|
java.lang.String |
getSystemId(int locationId) |
Get the system identifier corresponding to a locationId
|
public int allocateLocationId(java.lang.String module, int lineNumber)
public java.lang.String getSystemId(int locationId)
getSystemId
in interface LocationProvider
locationId
- identifier of the location in question (as passed down the Receiver pipeline)public int getLineNumber(int locationId)
getLineNumber
in interface LocationProvider
locationId
- identifier of the location in question (as passed down the Receiver pipeline)