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