public interface NativeFile
| Modifier and Type | Method and Description |
|---|---|
java.io.File |
getFilePath()
The source file.
|
java.lang.String |
getSettingsName()
The name of a
NativeSettings for the source file. |
java.io.File |
getWorkingDirectory()
The working directory for the compiler.
|
java.io.File getFilePath()
java.lang.String getSettingsName()
NativeSettings for the source file.java.io.File getWorkingDirectory()