fmrisc.ProofNavigator.Commands

Class Empty

java.lang.Object

fmrisc.ProofNavigator.Commands.CommandBase

fmrisc.ProofNavigator.Commands.Empty

All Implemented Interfaces:

Command

public final class Empty
extends CommandBase

The virtual "empty" command: do nothing.

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	Name

Constructor Summary

Constructors

Constructor and Description
Empty() create an "empty" command

Method Summary

Methods

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) print command
void	process() Process command "empty": do nothing.

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

Field Detail

Name

public static final java.lang.String Name

See Also:

Constant Field Values

Constructor Detail

Empty

public Empty()

create an "empty" command

Method Detail

process

public void process()

Process command "empty": do nothing.

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)

print command

Specified by:

printCore in class CommandBase

Parameters:

out - the stream on which the text is written