|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Uses of IEmbedding in scphEditor |
---|
Classes in scphEditor that implement IEmbedding | |
---|---|
class |
EmbeddingFixed
An EmbeddingFixed object encapsulates presentation styles, in AWT terms, of an operator and its operands. |
class |
EmbeddingNary
An EmbeddingNary object encapsulates presentation styles, in AWT terms, of an operator and its operands. |
Fields in scphEditor declared as IEmbedding | |
---|---|
protected IEmbedding |
ExpressionView.myEmbedding
The Embedding for the Operator of my expression. |
Methods in scphEditor that return IEmbedding | |
---|---|
IEmbedding |
DefaultOperator.format()
|
IEmbedding |
IOperator.format()
|
IEmbedding |
Identifier.format()
|
IEmbedding |
ExpressionView.getEmbedding()
Returns the Embedding for the Operator of my Expression. |
Constructors in scphEditor with parameters of type IEmbedding | |
---|---|
DefaultOperator(java.lang.String id,
int arityOf,
int precOf,
int assocOf,
boolean commOf,
IEmbedding format,
java.lang.String[] proverName)
Constructs an DefaultOperator object with the given properties. |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |