fmrisc.ProofNavigator.Commands
Class StateC

java.lang.Object
  fmrisc.ProofNavigator.Commands.CommandBase
      fmrisc.ProofNavigator.Commands.StateC

All Implemented Interfaces:

Command

public final class StateC
extends CommandBase

Command "state": print denoted state.

Field Summary

static java.lang.String

Name

Constructor Summary

StateC(java.lang.String label, Identifier ident)
Create a "state" command

Method Summary

void	printCore(java.io.PrintWriter out) Prints text representation on out (without new line termination).
void	process() Process command "state": show denoted state.

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

StateC

public StateC(java.lang.String label,
              Identifier ident)

Create a "state" command

Parameters:

label - label of denoted state (or null, if current state)

ident - formula with a proof that has the denoted state (null, if current proof is taken)

Method Detail

process

public void process()

Process command "state": show denoted state.

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