public class LineMapping
extends java.util.ArrayList
| Modifier and Type | Class and Description |
|---|---|
class |
LineMapping.PositionToLocation |
| Constructor and Description |
|---|
LineMapping(java.lang.String text,
int startLine,
int startColumn) |
| Modifier and Type | Method and Description |
|---|---|
Location |
getLocation(int pos)
Converts the string position to a line:column location.
|
Location[] |
getLocations(int startPos,
int endPos)
Converts the string position to a line:column start and end location.
|
Location[] |
getLocations(java.awt.Point pos)
Converts the string position to a line:column start and end location.
|
add, add, addAll, addAll, clear, clone, contains, ensureCapacity, forEach, get, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSizepublic LineMapping(java.lang.String text,
int startLine,
int startColumn)
public Location[] getLocations(java.awt.Point pos)
public Location[] getLocations(int startPos, int endPos)
public Location getLocation(int pos)