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 LocationProvider
public int getLineNumber(int locationId)
getLineNumber
in interface LocationProvider