public interface TAMEScriptReaderOptions
Modifier and Type | Method and Description |
---|---|
java.lang.String[] |
getDefines()
Gets what to predefine in the preprocessor.
|
java.nio.charset.Charset |
getInputCharset()
Gets the charset to use for reading module source.
|
java.io.PrintStream |
getVerboseStream()
Gets the output stream to print verbose messages to.
|
boolean |
isOptimizing()
Gets if this reader optimizes finished blocks.
|
java.nio.charset.Charset getInputCharset()
java.lang.String[] getDefines()
boolean isOptimizing()
java.io.PrintStream getVerboseStream()