|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<ExprBinary.Op>
edu.mit.csail.sdg.alloy4compiler.ast.ExprBinary.Op
public static enum ExprBinary.Op
This class contains all possible binary operators.
Enum Constant Summary | |
---|---|
AND
&& |
|
ANY_ARROW_LONE
->lone |
|
ANY_ARROW_ONE
->one |
|
ANY_ARROW_SOME
->some |
|
ARROW
-> |
|
DIV
divide |
|
DOMAIN
<: |
|
EQUALS
= |
|
GT
> |
|
GTE
>= |
|
IFF
<=> |
|
IMINUS
int - |
|
IMPLIES
=> |
|
IN
in |
|
INTERSECT
& |
|
IPLUS
int + |
|
ISSEQ_ARROW_LONE
isSeq->lone |
|
JOIN
. |
|
LONE_ARROW_ANY
lone-> |
|
LONE_ARROW_LONE
lone->lone |
|
LONE_ARROW_ONE
lone->one |
|
LONE_ARROW_SOME
lone->some |
|
LT
< |
|
LTE
=< |
|
MINUS
set diff |
|
MUL
multiply |
|
NOT_EQUALS
!= |
|
NOT_GT
!> |
|
NOT_GTE
!>= |
|
NOT_IN
!in |
|
NOT_LT
!< |
|
NOT_LTE
!=< |
|
ONE_ARROW_ANY
one-> |
|
ONE_ARROW_LONE
one->lone |
|
ONE_ARROW_ONE
one->one |
|
ONE_ARROW_SOME
one->some |
|
OR
|| |
|
PLUS
set union |
|
PLUSPLUS
++ |
|
RANGE
:> |
|
REM
remainder |
|
SHA
>> |
|
SHL
<< |
|
SHR
>>> |
|
SOME_ARROW_ANY
some-> |
|
SOME_ARROW_LONE
some->lone |
|
SOME_ARROW_ONE
some->one |
|
SOME_ARROW_SOME
some->some |
Field Summary | |
---|---|
boolean |
isArrow
True if and only if this operator is the Cartesian product "->", a "seq" multiplicity, or is a multiplicity arrow of the form "?->?". |
Method Summary | |
---|---|
Expr |
make(Pos pos,
Pos closingBracket,
Expr left,
Expr right)
Constructs a new ExprBinary node. |
java.lang.String |
toHTML()
Returns the human readable label already encoded for HTML |
java.lang.String |
toString()
Returns the human readable label for this operator. |
static ExprBinary.Op |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static ExprBinary.Op[] |
values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Methods inherited from class java.lang.Enum |
---|
clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, valueOf |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final ExprBinary.Op ARROW
public static final ExprBinary.Op ANY_ARROW_SOME
public static final ExprBinary.Op ANY_ARROW_ONE
public static final ExprBinary.Op ANY_ARROW_LONE
public static final ExprBinary.Op SOME_ARROW_ANY
public static final ExprBinary.Op SOME_ARROW_SOME
public static final ExprBinary.Op SOME_ARROW_ONE
public static final ExprBinary.Op SOME_ARROW_LONE
public static final ExprBinary.Op ONE_ARROW_ANY
public static final ExprBinary.Op ONE_ARROW_SOME
public static final ExprBinary.Op ONE_ARROW_ONE
public static final ExprBinary.Op ONE_ARROW_LONE
public static final ExprBinary.Op LONE_ARROW_ANY
public static final ExprBinary.Op LONE_ARROW_SOME
public static final ExprBinary.Op LONE_ARROW_ONE
public static final ExprBinary.Op LONE_ARROW_LONE
public static final ExprBinary.Op ISSEQ_ARROW_LONE
public static final ExprBinary.Op JOIN
public static final ExprBinary.Op DOMAIN
public static final ExprBinary.Op RANGE
public static final ExprBinary.Op INTERSECT
public static final ExprBinary.Op PLUSPLUS
public static final ExprBinary.Op PLUS
public static final ExprBinary.Op IPLUS
public static final ExprBinary.Op MINUS
public static final ExprBinary.Op IMINUS
public static final ExprBinary.Op MUL
public static final ExprBinary.Op DIV
public static final ExprBinary.Op REM
public static final ExprBinary.Op EQUALS
public static final ExprBinary.Op NOT_EQUALS
public static final ExprBinary.Op IMPLIES
public static final ExprBinary.Op LT
public static final ExprBinary.Op LTE
public static final ExprBinary.Op GT
public static final ExprBinary.Op GTE
public static final ExprBinary.Op NOT_LT
public static final ExprBinary.Op NOT_LTE
public static final ExprBinary.Op NOT_GT
public static final ExprBinary.Op NOT_GTE
public static final ExprBinary.Op SHL
public static final ExprBinary.Op SHA
public static final ExprBinary.Op SHR
public static final ExprBinary.Op IN
public static final ExprBinary.Op NOT_IN
public static final ExprBinary.Op AND
public static final ExprBinary.Op OR
public static final ExprBinary.Op IFF
Field Detail |
---|
public final boolean isArrow
Method Detail |
---|
public static ExprBinary.Op[] values()
for (ExprBinary.Op c : ExprBinary.Op.values()) System.out.println(c);
public static ExprBinary.Op valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.
java.lang.IllegalArgumentException
- if this enum type has no constant
with the specified name
java.lang.NullPointerException
- if the argument is nullpublic final Expr make(Pos pos, Pos closingBracket, Expr left, Expr right)
pos
- - the original position in the source file (can be null if unknown)left
- - the left hand side expressionright
- - the right hand side expressionpublic final java.lang.String toString()
toString
in class java.lang.Enum<ExprBinary.Op>
public final java.lang.String toHTML()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES All Classes | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |