public final class Option extends ProofCommandBase
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
Name |
Constructor and Description |
---|
Option(java.lang.String name,
java.lang.String value)
Create an "option" command.
|
Modifier and Type | Method and Description |
---|---|
static Command |
newCommand(org.w3c.dom.Node node)
Convert DOM node to command.
|
void |
printCore(java.io.PrintWriter out)
Prints text representation on out (without new line termination).
|
void |
process()
override method to allow command also to be processed when not in proof
|
process
getName, toCommand, toNode, toString
public static final java.lang.String Name
public Option(java.lang.String name, java.lang.String value)
name
- name of the optionvalue
- its value (may be null)public void process()
process
in interface Command
process
in class ProofCommandBase
public static Command newCommand(org.w3c.dom.Node node)
node
- the DOM representation of the command.public void printCore(java.io.PrintWriter out)
printCore
in class CommandBase
out
- the stream on which the text is written