Serialized Form
text
java.lang.String text
printimage
java.awt.Image printimage
simpleprint
boolean simpleprint
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.
myClient
ExpressionNary myClient
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.
name
java.lang.String name
pname
java.lang.String pname
myClient
Identifier myClient
- My Identifier object.
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
type
java.lang.String type
content
java.util.Vector<E> content
- List of operands and stuff.
myClient
Work myClient
childControl
OperandControl childControl
master
ScphEditorPart master
offscreen
java.awt.Image offscreen
selected
java.awt.Component[] selected