Package | Description |
---|---|
eu.bandm.tools.dtm |
Canonical model of a W3C DTD with evaluated semantics; plus utility applications.
|
Modifier and Type | Field and Description |
---|---|
protected ToolOptions.outputFormat |
ToolOptions.value_outputFormat_0 |
Modifier and Type | Method and Description |
---|---|
ToolOptions.outputFormat |
ToolOptions.get_outputFormat_0()
Getter method for the only argument of option
outputFormat . |
static ToolOptions.outputFormat |
ToolOptions.outputFormat.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static ToolOptions.outputFormat[] |
ToolOptions.outputFormat.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
see also the complete user documentation .