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

static java.lang.String

Name

Constructor Summary

Empty()
create an "empty" command

Method Summary

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