Module dev.civl.mc

Package dev.civl.mc.model.IF.expression

Enum Class BinaryExpression.BINARY_OPERATOR

java.lang.Object

java.lang.Enum<BinaryExpression.BINARY_OPERATOR>

dev.civl.mc.model.IF.expression.BinaryExpression.BINARY_OPERATOR

All Implemented Interfaces:

Serializable, Comparable<BinaryExpression.BINARY_OPERATOR>, Constable

Enclosing interface:

BinaryExpression

public static enum BinaryExpression.BINARY_OPERATOR
extends Enum<BinaryExpression.BINARY_OPERATOR>

This defines all CIVL binary operators:

AND: invalid input: '&'invalid input: '&' (logical and);

LEFT_SHIFT: invalid input: '<' (bitwise left shift);

RIGHT_SHIFT: >> (bitwise right shift);

BITAND: invalid input: '&' (bitwise and);

BITCOMPLEMENT: ~ (bitwise complement);

BITOR: | (bitwise or);

BITXOR: ^ (bitwise xor);

DIVIDE: / (division);

EQUAL: == (equal to);

IMPLIES: (implication);

LESS_THAN: invalid input: '<' (less than);

LESS_THAN_EQUAL: invalid input: '<'= (less than or equal to);

MINUS: - (subtraction);

MODULO: % (modulo);

NOT_EQUAL: != (not equal to);

OR: || (logical or);

PLUS: + (addition);

POINTER_ADD: + (pointer addition);

POINTER_SUBTRACT: - (pointer subtraction);

TIMES: * (multiplication);

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Enum

Enum.EnumDesc<E extends Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
AND
BIT_AND
BIT_OR
BIT_XOR
BITCOMPLEMENT
DIVIDE
EQUAL
IMPLIES
LESS_THAN
LESS_THAN_EQUAL
MINUS
MODULO
NOT_EQUAL
OR
PLUS
POINTER_ADD
POINTER_SUBTRACT
SHIFTLEFT
SHIFTRIGHT
TIMES
VALID	VALID: a binary operator on a pair of a pointer p and an offsets expression e: (p + e) is/are valid pointers

Method Summary

Modifier and Type	Method	Description
static BinaryExpression.BINARY_OPERATOR	valueOf(String name)	Returns the enum constant of this class with the specified name.
static BinaryExpression.BINARY_OPERATOR[]	values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, describeConstable, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Details

AND

public static final BinaryExpression.BINARY_OPERATOR AND

BIT_AND

public static final BinaryExpression.BINARY_OPERATOR BIT_AND

BITCOMPLEMENT

public static final BinaryExpression.BINARY_OPERATOR BITCOMPLEMENT

BIT_OR

public static final BinaryExpression.BINARY_OPERATOR BIT_OR

BIT_XOR

public static final BinaryExpression.BINARY_OPERATOR BIT_XOR

DIVIDE

public static final BinaryExpression.BINARY_OPERATOR DIVIDE

EQUAL

public static final BinaryExpression.BINARY_OPERATOR EQUAL

IMPLIES

public static final BinaryExpression.BINARY_OPERATOR IMPLIES

LESS_THAN

public static final BinaryExpression.BINARY_OPERATOR LESS_THAN

LESS_THAN_EQUAL

public static final BinaryExpression.BINARY_OPERATOR LESS_THAN_EQUAL

MINUS

public static final BinaryExpression.BINARY_OPERATOR MINUS

MODULO

public static final BinaryExpression.BINARY_OPERATOR MODULO

NOT_EQUAL

public static final BinaryExpression.BINARY_OPERATOR NOT_EQUAL

OR

public static final BinaryExpression.BINARY_OPERATOR OR

PLUS

public static final BinaryExpression.BINARY_OPERATOR PLUS

POINTER_ADD

public static final BinaryExpression.BINARY_OPERATOR POINTER_ADD

POINTER_SUBTRACT

public static final BinaryExpression.BINARY_OPERATOR POINTER_SUBTRACT

SHIFTLEFT

public static final BinaryExpression.BINARY_OPERATOR SHIFTLEFT

SHIFTRIGHT

public static final BinaryExpression.BINARY_OPERATOR SHIFTRIGHT

TIMES

public static final BinaryExpression.BINARY_OPERATOR TIMES

VALID

public static final BinaryExpression.BINARY_OPERATOR VALID

VALID: a binary operator on a pair of a pointer p and an offsets expression e: (p + e) is/are valid pointers

Method Details

values

public static BinaryExpression.BINARY_OPERATOR[] values()

Returns an array containing the constants of this enum class, in the order they are declared.

Returns:

an array containing the constants of this enum class, in the order they are declared

valueOf

public static BinaryExpression.BINARY_OPERATOR valueOf(String name)

Returns the enum constant of this class with the specified name. The string must match exactly an identifier used to declare an enum constant in this class. (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:

IllegalArgumentException - if this enum class has no constant with the specified name

NullPointerException - if the argument is null