Class Summary |
AtomView |
This AWT component is the view of a simple string, e.g., the name
of an Identifier, a part of an operator. |
CloneableObservable |
This class re-implements java.util.Observable so it can be cloned safely. |
DefaultOperator |
DefaultOperator provides a default implementation of the IOperator interface. |
DOMBuilder |
DOMBuilder builds a DOM tree of Work (typically for saving to files). |
EmbeddingFixed |
An EmbeddingFixed object encapsulates presentation styles, in AWT
terms, of an operator and its operands. |
EmbeddingNary |
An EmbeddingNary object encapsulates presentation styles, in AWT
terms, of an operator and its operands. |
Expression |
This class represents compound expressions. |
ExpressionNary |
This class represents n-ary compound expressions. |
ExpressionNaryView |
This AWT component is the view class for ExpressionNary objects. |
ExpressionView |
This AWT component is the view class for Expression objects. |
Identifier |
This class models terminal expressions, such as variables and constants
like x and 10. |
IdentifierView |
This AWT component is the view class for Identifier objects. |
Loader |
Loader parses scphEditor files. |
MLMLayout2 |
This layout manager provides depth-proportional spacing to
components. |
NullView |
This is the view class/object for a null Operand. |
Operand |
This abstract class models an operand. |
OperandContext |
This class is a simple record containing the context of an operand,
i.e., itself, its position index in its parent, and the parent. |
OperandControl |
|
OperandVector |
This class models a vector of operands. |
OperandViewFactory |
This class is a factory of view objects for Operand objects. |
OperatorStore |
OperatorStore stores operators and provides various retrievals. |
OperatorViewer |
OperatorViewer is the view that displays and permits selection of operators. |
ProofMenu |
|
ProverFrame |
|
ProverFrame.PostExecute |
|
ProverShell |
ProverShell runs the theorem prover at the back. |
RefinementPerspectiveFactory |
RefinementPerspectiveFactory |
RowLayout |
|
ScphEditorContributor |
|
ScphEditorPart |
ScphEditorPart defines our refinement/proof editor. |
ScphEditorPlugin |
The main plugin class to be used in the desktop. |
Shell |
|
TermBuilder |
|
Variable |
|
VariableView |
|
Work |
This class models an scphEditor document, a list of operands and
stuff. |
Workspace |
|
WorkspaceControl |
|