|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IOperator
IOperator models an operator. An IOperator object is an immutable object (so sorry, no clone), and should be used as singletons and flyweights. You can query an IOperator object for its properties as specified by this interface.
Some examples:
Field Summary | |
---|---|
static int |
ASSOC
If associative() returns ASSOC, this operator is (two-way) associative. |
static int |
LEFT
If associative() returns LEFT, this operator is left-associative. |
static int |
nARY
If arity() returns nARY, this operator is an n-ary operator, without an upper limit for the number of operands, though the lower limit is 2. |
static int |
NONASSOC
If associative() returns NONASSOC, this operator is non-associative. |
static int |
RIGHT
If associative() returns RIGHT, this operator is right-associative. |
Method Summary | |
---|---|
int |
arity()
Returns the arity of this operator. |
int |
associative()
Returns the associativity of this operator. |
boolean |
commutative()
Returns true iff this operator is commutative. |
IEmbedding |
format()
|
java.lang.String |
id()
|
int |
precedence()
Returns the precedence, as a number, of this operator. |
java.lang.String[] |
proverName()
|
java.lang.String |
proverName0()
|
Field Detail |
---|
static final int nARY
arity()
,
Constant Field Valuesstatic final int NONASSOC
associative()
,
Constant Field Valuesstatic final int LEFT
associative()
,
Constant Field Valuesstatic final int RIGHT
associative()
,
Constant Field Valuesstatic final int ASSOC
associative()
,
Constant Field ValuesMethod Detail |
---|
int precedence()
int associative()
boolean commutative()
int arity()
java.lang.String id()
IEmbedding format()
java.lang.String[] proverName()
java.lang.String proverName0()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |