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.

A C D E F G I K L M N O P R S T U V W