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()
TAMEScriptReaderOptions
getDefines
in interface TAMEScriptReaderOptions
public void setOptimizing(boolean optimizing)
optimizing
- true if optimizing, false if not.public boolean isOptimizing()
TAMEScriptReaderOptions
isOptimizing
in interface TAMEScriptReaderOptions
public void setVerboseStream(java.io.PrintStream verboseOut)
null
.verboseOut
- the print stream to print to.public java.io.PrintStream getVerboseStream()
TAMEScriptReaderOptions
getVerboseStream
in interface TAMEScriptReaderOptions
public void setInputCharset(java.nio.charset.Charset inputCharset)
inputCharset
- the charset to use.public java.nio.charset.Charset getInputCharset()
TAMEScriptReaderOptions
getInputCharset
in interface TAMEScriptReaderOptions