|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Classes in scphEditor used by scphEditor | |
---|---|
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. |
|
Expression
This class represents compound expressions. |
|
ExpressionLayoutManager
|
|
ExpressionNary
This class represents n-ary compound expressions. |
|
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. |
|
IEmbedding
An IEmbedding object encapsulates presentation formatting data of an operator and its operands. |
|
IOperator
IOperator models an operator. |
|
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. |
|
OperandVectorView
|
|
OperandView
|
|
OperandVisitor
This is the ``visitor'' interface, as in the Visitor pattern, for visiting Operand trees. |
|
ProverFrame
|
|
ProverFrame.PostExecute
|
|
ProverShell
ProverShell runs the theorem prover at the back. |
|
ProverShell.IPostExecute
IPostExecute is the callback type for asynchronous execution. |
|
ScphEditorPart
ScphEditorPart defines our refinement/proof editor. |
|
ScphEditorPlugin
The main plugin class to be used in the desktop. |
|
Variable
|
|
Work
This class models an scphEditor document, a list of operands and stuff. |
|
Workspace
|
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |