Serialized Form


Package scphEditor

Class scphEditor.AtomView extends java.awt.Component implements Serializable

Serialized Fields

text

java.lang.String text

printimage

java.awt.Image printimage

simpleprint

boolean simpleprint

Class scphEditor.Expression extends Operand implements Serializable

Serialized Fields

op

IOperator op
[Rooting] Operator in this expression.


children

java.util.Vector<E> children
List of child operands.


paren

boolean paren
True iff this operand is parenthesized.


splitted

boolean splitted
True iff the view should split this expression across lines.

Class scphEditor.ExpressionNary extends Expression implements Serializable

Class scphEditor.ExpressionNaryView extends ExpressionView implements Serializable

Serialized Fields

myClient

ExpressionNary myClient

Class scphEditor.ExpressionView extends java.awt.Container implements Serializable

Serialized Fields

myClient

Expression myClient
The expression viewed by me.


myEmbedding

IEmbedding myEmbedding
The Embedding for the Operator of my expression.


paren

boolean paren
True iff I am showing parentheses.


myControl

OperandControl myControl
Remembers my control object (event listener), so I can pass it on to children.

Class scphEditor.Identifier extends Operand implements Serializable

Serialized Fields

name

java.lang.String name

pname

java.lang.String pname

Class scphEditor.IdentifierView extends AtomView implements Serializable

Serialized Fields

myClient

Identifier myClient
My Identifier object.

Class scphEditor.NullView extends AtomView implements Serializable

Class scphEditor.Operand extends OperandVector implements Serializable

Class scphEditor.OperandVector extends CloneableObservable implements Serializable

Class scphEditor.ProverFrame extends java.awt.Frame implements Serializable

Serialized Fields

ps

Shell ps

display

java.awt.TextArea display

commandline

java.awt.TextField commandline

output

java.lang.StringBuffer output

ready

boolean ready

callback

ProverFrame.PostExecute callback

Class scphEditor.Variable extends Identifier implements Serializable

Serialized Fields

type

java.lang.String type

Class scphEditor.VariableView extends IdentifierView implements Serializable

Class scphEditor.Work extends OperandVector implements Serializable

Serialized Fields

content

java.util.Vector<E> content
List of operands and stuff.

Class scphEditor.Workspace extends java.awt.Panel implements Serializable

Serialized Fields

myClient

Work myClient

childControl

OperandControl childControl

master

ScphEditorPart master

offscreen

java.awt.Image offscreen

selected

java.awt.Component[] selected