public class DefaultReaderOptions extends java.lang.Object implements TAMEScriptReaderOptions
| Constructor and Description |
|---|
DefaultReaderOptions()
Creates a set of reader options.
|
| 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.
|
void |
setDefines(java.lang.String... defines)
Sets the defines used for compiling.
|
void |
setInputCharset(java.nio.charset.Charset inputCharset)
Sets the charset to use for reading module source.
|
void |
setOptimizing(boolean optimizing)
Gets if this reader optimizes finished blocks.
|
void |
setVerboseStream(java.io.PrintStream verboseOut)
Sets the output stream to print verbose messages to.
|
public DefaultReaderOptions()
public void setDefines(java.lang.String... defines)
defines - the list of defined tokens.public java.lang.String[] getDefines()
TAMEScriptReaderOptionsgetDefines in interface TAMEScriptReaderOptionspublic void setOptimizing(boolean optimizing)
optimizing - true if optimizing, false if not.public boolean isOptimizing()
TAMEScriptReaderOptionsisOptimizing in interface TAMEScriptReaderOptionspublic void setVerboseStream(java.io.PrintStream verboseOut)
null.verboseOut - the print stream to print to.public java.io.PrintStream getVerboseStream()
TAMEScriptReaderOptionsgetVerboseStream in interface TAMEScriptReaderOptionspublic void setInputCharset(java.nio.charset.Charset inputCharset)
inputCharset - the charset to use.public java.nio.charset.Charset getInputCharset()
TAMEScriptReaderOptionsgetInputCharset in interface TAMEScriptReaderOptions