fmrisc.ProofNavigator.Commands
Class ContextC

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

All Implemented Interfaces:

Command

public final class ContextC
extends CommandBase

Command "newcontext": change context to denoted path.

Field Summary

static java.lang.String

Name

Constructor Summary

ContextC(java.lang.String path)
Create a "newcontext" command.

Method Summary

void	printCore(java.io.PrintWriter out) print command
void	process() Process command "newcontext": 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

ContextC

public ContextC(java.lang.String path)

Create a "newcontext" command.

Parameters:

path - the context path (if null, then default path is used).

Method Detail

process

public void process()

Process command "newcontext": only executed in declaration mode. Switch to denoted context (directory) for storing files.

printCore

public void printCore(java.io.PrintWriter out)

print command

Specified by:

printCore in class CommandBase

Parameters:

out - the stream on which the text is written