public class FilePositionInfo
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.io.File |
file
The preprocessing file
|
private int |
stringIndex
The current string index in the file
|
Constructor and Description |
---|
FilePositionInfo(java.io.File file,
int stringIndex) |
Modifier and Type | Method and Description |
---|---|
java.io.File |
getFile() |
int |
getStringIndex() |
java.lang.String |
toString() |