public class StringMappingData
extends java.lang.Object
Constructor and Description |
---|
StringMappingData(int[] lineColumnDataArray,
int endLine,
int endColumn) |
Modifier and Type | Method and Description |
---|---|
int |
findContainingSegment(int line,
int col)
Finds a segment, that includes position (line, col).
|
int |
getEndColumn() |
int |
getEndLine() |
int |
getLastSegmentId() |
static int |
getNextSegmentId(int segmentId) |
int |
getSegmentBeginColumn(int segmentId) |
int |
getSegmentBeginLine(int segementId) |
public StringMappingData(int[] lineColumnDataArray, int endLine, int endColumn)
lineColumnDataArray
- non-empty array of pairs (line, column); first pair must correspond
to the beginning of the whole substringendLine
- end line of the whole substringendColumn
- end column of the whole substringpublic int getEndLine()
public int getEndColumn()
public int findContainingSegment(int line, int col)
public int getSegmentBeginLine(int segementId)
segementId
- internal id of the segment that was returned by other
methods of the classpublic int getSegmentBeginColumn(int segmentId)
segementId
- internal id of the segment that was returned by other
methods of the classpublic int getLastSegmentId()
public static int getNextSegmentId(int segmentId)
Copyright (c) IBM Corp. and others 2000, 2016. All Rights Reserved.