fmrisc.ProofNavigator.Commands
Class Option

java.lang.Object
  fmrisc.ProofNavigator.Commands.CommandBase
      fmrisc.ProofNavigator.Commands.ProofCommandBase
          fmrisc.ProofNavigator.Commands.Option

All Implemented Interfaces:

Command, ProofCommand

public final class Option
extends ProofCommandBase

The "option" command: set a system option.

Field Summary

static java.lang.String

Name

Constructor Summary

Option(java.lang.String name, java.lang.String value)
Create an "option" command.

Method Summary

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

Methods inherited from class fmrisc.ProofNavigator.Commands.ProofCommandBase

process

Methods inherited from class fmrisc.ProofNavigator.Commands.CommandBase

getName, toCommand, toNode, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface fmrisc.ProofNavigator.Commands.Command

toNode

Field Detail

Name

public static final java.lang.String Name

See Also:

Constant Field Values

Constructor Detail

Option

public Option(java.lang.String name,
              java.lang.String value)

Create an "option" command.

Parameters:

name - name of the option

value - its value (may be null)

Method Detail

process

public void process()

override method to allow command also to be processed when not in proof

Specified by:

process in interface Command

Overrides:

process in class ProofCommandBase

newCommand

public static Command newCommand(org.w3c.dom.Node node)

Convert DOM node to command.

Parameters:

node - the DOM representation of the command.

Returns:

the command (null, if an error occured).

printCore

public void printCore(java.io.PrintWriter out)

Prints text representation on out (without new line termination).

Specified by:

printCore in class CommandBase

Parameters:

out - the stream on which the text is written