public class Position
extends java.lang.Object
| Constructor and Description |
|---|
Position() |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
getFile() |
int |
getOffset() |
void |
setFile(java.lang.String file) |
void |
setOffset(int offset) |
java.lang.String |
toString() |