Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
I
K
L
M
N
O
P
R
S
T
U
V
W
S
scphEditor
- package scphEditor
ScphEditorContributor
- Class in
scphEditor
ScphEditorContributor()
- Constructor for class scphEditor.
ScphEditorContributor
ScphEditorPart
- Class in
scphEditor
ScphEditorPart defines our refinement/proof editor.
ScphEditorPart()
- Constructor for class scphEditor.
ScphEditorPart
ScphEditorPlugin
- Class in
scphEditor
The main plugin class to be used in the desktop.
ScphEditorPlugin()
- Constructor for class scphEditor.
ScphEditorPlugin
The constructor.
select(int, Component)
- Method in class scphEditor.
Workspace
selected
- Variable in class scphEditor.
Workspace
self
- Variable in class scphEditor.
OperandContext
Itself.
selfview
- Variable in class scphEditor.
OperandContext
Display rep of itself.
send(OperandContext)
- Method in class scphEditor.
ProofMenu
setActiveEditor(IEditorPart)
- Method in class scphEditor.
ScphEditorContributor
Remembers the most recent active proof editor.
setChild(Operand, int)
- Method in class scphEditor.
Expression
setChild(Operand, int)
- Method in class scphEditor.
ExpressionNary
setChild(Operand, int)
- Method in class scphEditor.
OperandVector
Adopts the given new child as my child at the given index, replacing the previous child at the same index.
setChild(Operand, int)
- Method in class scphEditor.
Work
setFocus()
- Method in class scphEditor.
OperatorViewer
Pass the focus request to the viewer's control.
setFocus()
- Method in class scphEditor.
ScphEditorPart
setGap(int)
- Method in class scphEditor.
RowLayout
setOperandView(int, Component)
- Method in class scphEditor.
ExpressionView
Helper function.
setSplit(boolean)
- Method in class scphEditor.
Expression
setSplit(boolean)
- Method in interface scphEditor.
ExpressionLayoutManager
setSplit(boolean)
- Method in class scphEditor.
MLMLayout2
setSplit(boolean)
- Method in class scphEditor.
Operand
Sets my split status.
setText(String)
- Method in class scphEditor.
AtomView
Changes the string displayed by this view.
Shell
- Class in
scphEditor
Shell(String)
- Constructor for class scphEditor.
Shell
simplify()
- Method in class scphEditor.
ProofMenu
simplify(OperandContext)
- Method in class scphEditor.
ProofMenu
simplify
- Variable in class scphEditor.
ScphEditorContributor
split
- Variable in class scphEditor.
ScphEditorContributor
split(boolean)
- Method in class scphEditor.
Workspace
splitted
- Variable in class scphEditor.
Expression
True iff the view should split this expression across lines.
start(BundleContext)
- Method in class scphEditor.
ScphEditorPlugin
This method is called upon plug-in activation
start()
- Method in class scphEditor.
Shell
startElement(String, String, String, Attributes)
- Method in class scphEditor.
Loader
stop(BundleContext)
- Method in class scphEditor.
ScphEditorPlugin
This method is called when the plug-in is stopped
stub
- Variable in class scphEditor.
ScphEditorPart
swap
- Variable in class scphEditor.
ScphEditorContributor
swap()
- Method in class scphEditor.
Workspace
symbol(int)
- Method in class scphEditor.
EmbeddingFixed
symbol(int)
- Method in class scphEditor.
EmbeddingNary
symbol(int)
- Method in interface scphEditor.
IEmbedding
Gives the operator symbol at the component index, or null if there should be an operand at the component index.
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
C
D
E
F
G
I
K
L
M
N
O
P
R
S
T
U
V
W