public final class StateC extends CommandBase
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
Name |
Constructor and Description |
---|
StateC(java.lang.String label,
Identifier ident)
Create a "state" command
|
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 "state": show denoted state.
|
getName, toCommand, toNode, toString
public static final java.lang.String Name
public StateC(java.lang.String label, Identifier ident)
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)public void process()
public void printCore(java.io.PrintWriter out)
printCore
in class CommandBase
out
- the stream on which the text is written