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, trimToSize
public 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)