kodkod.ast
Enum BinaryIntExpression.Operator

java.lang.Object
  extended by java.lang.Enum<BinaryIntExpression.Operator>
      extended by kodkod.ast.BinaryIntExpression.Operator
All Implemented Interfaces:
java.io.Serializable, java.lang.Comparable<BinaryIntExpression.Operator>
Enclosing class:
BinaryIntExpression

public static enum BinaryIntExpression.Operator
extends java.lang.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

PLUS

public static final BinaryIntExpression.Operator PLUS
`+' operator


MINUS

public static final BinaryIntExpression.Operator MINUS
`-' operator


MULTIPLY

public static final BinaryIntExpression.Operator MULTIPLY
`*' operator


DIVIDE

public static final BinaryIntExpression.Operator DIVIDE
`/' operator


MODULO

public static final BinaryIntExpression.Operator MODULO
`%' operator


AND

public static final BinaryIntExpression.Operator AND
Bitwise AND operator


OR

public static final BinaryIntExpression.Operator OR
Bitwise OR operator


XOR

public static final BinaryIntExpression.Operator XOR
Bitwise XOR operator


SHL

public static final BinaryIntExpression.Operator SHL
Left shift operator


SHR

public static final BinaryIntExpression.Operator SHR
Right shift operator with zero extension


SHA

public static final BinaryIntExpression.Operator SHA
Right shift operator with sign extension

Method Detail

values

public static final BinaryIntExpression.Operator[] values()
Returns an array containing the constants of this enum type, in the order they're declared. This method may be used to iterate over the constants as follows:
for(BinaryIntExpression.Operator c : BinaryIntExpression.Operator.values())
        System.out.println(c);

Returns:
an array containing the constants of this enum type, in the order they're declared

valueOf

public static BinaryIntExpression.Operator valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:
name - the name of the enum constant to be returned.
Returns:
the enum constant with the specified name
Throws:
java.lang.IllegalArgumentException - if this enum type has no constant with the specified name