public class Options
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.io.File |
_purifiedSchema
If not null, outputs a "purified" schema file into this file.
|
boolean |
debug |
java.lang.String |
newline |
boolean |
noCodeGeneration
Do not generate source code.
|
boolean |
noRuntime
Dpn't copy relaxngcc.runtime package
|
java.io.File |
printAutomata
Directory to write automata gif files.
|
boolean |
printFirstFollow
Print FIRST and FOLLOW.
|
boolean |
smartOverwrite
Don't overwrite files when the Java files are up-to-date.
|
java.io.File |
sourcefile |
java.io.File |
targetdir |
boolean |
usePrivateRuntime
Uses a private copy of runtime code.
|
public java.io.File sourcefile
public java.io.File targetdir
public boolean debug
public java.lang.String newline
public java.io.File printAutomata
public boolean printFirstFollow
public boolean noCodeGeneration
public boolean usePrivateRuntime
public boolean smartOverwrite
public boolean noRuntime
public java.io.File _purifiedSchema
public Options()
public Options(java.lang.String[] args) throws CommandLineException
CommandLineException