fmrisc.ProofNavigator.Commands
Class Split

java.lang.Object
  extended by fmrisc.ProofNavigator.Commands.CommandBase
      extended by fmrisc.ProofNavigator.Commands.ProofCommandBase
          extended by fmrisc.ProofNavigator.Commands.Split
All Implemented Interfaces:
Command, ProofCommand

public final class Split
extends ProofCommandBase

Command "split": split a proof state.


Field Summary
static java.lang.String Name
           
 
Constructor Summary
Split(java.lang.String label)
          Create a "split" 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).
 
Methods inherited from class fmrisc.ProofNavigator.Commands.ProofCommandBase
process, 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

Split

public Split(java.lang.String label)
Create a "split" command.

Parameters:
label - the label of the formula triggering the split (null, if the single goal is intended to trigger the split)
Method Detail

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