public class LineNumberMap
extends java.lang.Object
Constructor | Description |
---|---|
LineNumberMap() |
Modifier and Type | Method | 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
|