|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectscphEditor.DefaultOperator
public class DefaultOperator
DefaultOperator provides a default implementation of the IOperator interface. You provide the operator properties (arity etc.) to the constructor, and these properties will be used by the query services.
Field Summary |
---|
Fields inherited from interface scphEditor.IOperator |
---|
ASSOC, LEFT, nARY, NONASSOC, RIGHT |
Constructor Summary | |
---|---|
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. |
Method Summary | |
---|---|
int |
arity()
Returns the arity of this operator. |
int |
associative()
Returns the associativity of this operator. |
boolean |
commutative()
Returns the commutativity of this operator. |
IEmbedding |
format()
|
java.lang.String |
id()
|
int |
precedence()
Returns the precedence of this operator. |
java.lang.String[] |
proverName()
|
java.lang.String |
proverName0()
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public DefaultOperator(java.lang.String id, int arityOf, int precOf, int assocOf, boolean commOf, IEmbedding format, java.lang.String[] proverName)
id
- the new unique internal ID of the operatorarityOf
- arity of the operatorprecOf
- precedence of the operatorassocOf
- associativity of the operatorcommOf
- commutativity of the operatorformat
- the screen formatting spec for this operatorproverName
- the name(s) of this operator in the proverMethod Detail |
---|
public java.lang.String toString()
toString
in class java.lang.Object
public int precedence()
precedence
in interface IOperator
public int associative()
associative
in interface IOperator
public boolean commutative()
commutative
in interface IOperator
public int arity()
arity
in interface IOperator
public IEmbedding format()
format
in interface IOperator
public java.lang.String id()
id
in interface IOperator
public java.lang.String[] proverName()
proverName
in interface IOperator
public java.lang.String proverName0()
proverName0
in interface IOperator
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |