fmrisc.ProofNavigator.Commands

Class Quit

java.lang.Object

fmrisc.ProofNavigator.Commands.CommandBase

fmrisc.ProofNavigator.Commands.Quit

All Implemented Interfaces:

Command

public final class Quit
extends CommandBase

"quit": quit from current proof or session.

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
Quit() create a "quit" command

Method Summary

Modifier and Type	Method and Description
void	printCore(java.io.PrintWriter out) Prints text representation on out (without new line termination).
void	process() process command "quit".

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

Quit

public Quit()

create a "quit" command

Method Detail

process

public void process()

process command "quit". This means - within proof mode: quit from current proof. - outside proof mode: quit from current session.

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