|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<BinaryIntExpression.Operator>
kodkod.ast.BinaryIntExpression.Operator
public static enum BinaryIntExpression.Operator
Binary operators on integer expressions.
Enum Constant Summary | |
---|---|
AND
Bitwise AND operator |
|
DIVIDE
`/' operator |
|
MINUS
`-' operator |
|
MODULO
`%' operator |
|
MULTIPLY
`*' operator |
|
OR
Bitwise OR operator |
|
PLUS
`+' operator |
|
SHA
Right shift operator with sign extension |
|
SHL
Left shift operator |
|
SHR
Right shift operator with zero extension |
|
XOR
Bitwise XOR operator |
Method Summary | |
---|---|
static BinaryIntExpression.Operator |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static BinaryIntExpression.Operator[] |
values()
Returns an array containing the constants of this enum type, in the order they're declared. |
Methods inherited from class java.lang.Enum |
---|
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final BinaryIntExpression.Operator PLUS
public static final BinaryIntExpression.Operator MINUS
public static final BinaryIntExpression.Operator MULTIPLY
public static final BinaryIntExpression.Operator DIVIDE
public static final BinaryIntExpression.Operator MODULO
public static final BinaryIntExpression.Operator AND
public static final BinaryIntExpression.Operator OR
public static final BinaryIntExpression.Operator XOR
public static final BinaryIntExpression.Operator SHL
public static final BinaryIntExpression.Operator SHR
public static final BinaryIntExpression.Operator SHA
Method Detail |
---|
public static final BinaryIntExpression.Operator[] values()
for(BinaryIntExpression.Operator c : BinaryIntExpression.Operator.values()) System.out.println(c);
public static BinaryIntExpression.Operator 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
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |