public interface Position
| Modifier and Type | Method and Description |
|---|---|
java.util.Optional<java.lang.Integer> |
line() |
java.lang.String |
lineContent() |
java.util.Optional<java.lang.Integer> |
offset() |
java.util.Optional<java.lang.Integer> |
pointer() |
java.util.Optional<java.lang.String> |
pointerSpace() |
java.util.Optional<java.io.File> |
sourceFile() |
java.util.Optional<java.lang.String> |
sourcePath() |
java.util.Optional<java.lang.Integer> line()
java.lang.String lineContent()
java.util.Optional<java.lang.Integer> offset()
java.util.Optional<java.lang.Integer> pointer()
java.util.Optional<java.lang.String> pointerSpace()
java.util.Optional<java.lang.String> sourcePath()
java.util.Optional<java.io.File> sourceFile()