public class LineMapData
extends java.lang.Object
x in [mySourceStart, myCount], lines
[myMappedStart + (x - mySourceStart) * myIncrement, myMappedStart + (x - mySourceStart + 1) * myIncrement)
are mapped to line x.
| Constructor and Description |
|---|
LineMapData(int sourceStart,
int count,
int mappedStart,
int increment) |
| Modifier and Type | Method and Description |
|---|---|
int |
getCount() |
int |
getMappingEnd(int index) |
int |
getMappingStart(int index) |
int |
getSourceLine(int index) |
java.lang.String |
toString() |