fmrisc.ProofNavigator.Commands
Class Read
java.lang.Object
fmrisc.ProofNavigator.Commands.CommandBase
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 java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Name
public static final java.lang.String Name
- See Also:
- Constant Field Values
Read
public Read(java.lang.String path)
- Create a "read" command.
- Parameters:
path
- the path of the file to be read.
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