fmrisc.ProofNavigator.Commands
Interface Command

All Known Subinterfaces:

ProofCommand

All Known Implementing Classes:

Assume, Auto, AutoStar, Case, CommandBase, ContextC, CounterExample, DeclarationC, Decompose, Empty, EnvironmentC, Expand, Flatten, Flip, FormulaC, Goal, Goto, Induction, Instantiate, Lemma, Next, Open, Option, Prev, ProofC, ProofCommandBase, Prove, Proved, Quit, Read, Redo, Scatter, Simplify, Skolemize, Split, StateC, TCC, TypeAxiom, TypeC, Undo, ValueC

public interface Command

Interface to commands.

Method Summary

void	process() process command
org.w3c.dom.Node	toNode(org.w3c.dom.Document document) Convert proof command to external representation as a DOM node.

Method Detail

process

void process()

process command

toNode

org.w3c.dom.Node toNode(org.w3c.dom.Document document)

Convert proof command to external representation as a DOM node.

Parameters:

document - the document to which the node belongs.

Returns:

The representation of the proof command as a DOM node of the document. The name of the node is "fmrisc:command" with an attribute name="" where is the value returned by getName().