Package scphEditor

Interface Summary
ExpressionLayoutManager  
IEmbedding An IEmbedding object encapsulates presentation formatting data of an operator and its operands.
IOperator IOperator models an operator.
OperandVectorView  
OperandView  
OperandVisitor This is the ``visitor'' interface, as in the Visitor pattern, for visiting Operand trees.
ProverShell.IPostExecute IPostExecute is the callback type for asynchronous execution.
 

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