public final class PositionConverter extends Object
Modifier and Type | Method and Description |
---|---|
int |
getJavaSourcePosition(int originalPosition)
Compute position in the virtual Java source for given position
in the document.
|
int |
getOriginalPosition(int javaSourcePosition)
Compute position in the document for given position in the virtual
Java source.
|
public int getOriginalPosition(int javaSourcePosition)
javaSourcePosition
- position in the virtual Java Sourcepublic int getJavaSourcePosition(int originalPosition)
originalPosition
- position in the document