public class LineNumberMap
extends java.lang.Object
| Constructor and Description |
|---|
LineNumberMap() |
| Modifier and Type | Method and Description |
|---|---|
int |
getLineNumber(int sequence)
Get the line number corresponding to a given sequence number
|
void |
setLineNumber(int sequence,
int line)
Set the line number corresponding to a given sequence number
|