fmrisc.ProofNavigator.Commands
Class Read

java.lang.Object
  extended by fmrisc.ProofNavigator.Commands.CommandBase
      extended by fmrisc.ProofNavigator.Commands.Read
All Implemented Interfaces:
Command

public final class Read
extends CommandBase

Command "read": read command from denoted file.


Field Summary
static java.lang.String Name
           
 
Constructor Summary
Read(java.lang.String path)
          Create a "read" command.
 
Method Summary
 void printCore(java.io.PrintWriter out)
          Prints text representation on out (without new line termination).
 void process()
          Process command "read": only executed in declaration mode.
 
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

Read

public Read(java.lang.String path)
Create a "read" command.

Parameters:
path - the path of the file to be read.
Method Detail

process

public void process()
Process command "read": only executed in declaration mode. Switch to reading commands from denoted file


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