Package cruise.umple.nusmv

Enum BasicExpression.Operator

java.lang.Object

java.lang.Enum<BasicExpression.Operator>

cruise.umple.nusmv.BasicExpression.Operator

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<BasicExpression.Operator>, java.lang.constant.Constable

Enclosing class:

BasicExpression

public static enum BasicExpression.Operator
extends java.lang.Enum<BasicExpression.Operator>

Nested Class Summary

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

java.lang.Enum.EnumDesc<E extends java.lang.Enum<E>>

Enum Constant Summary

Enum Constants

Enum Constant	Description
AND
DIV
EQ
GE
GT
IFF
IMPLY
LE
LT
MINUS
MOD
MUL
NE
NOT
NULL
OR
PLUS
XNOR
XOR

Method Summary

Modifier and Type	Method	Description
static BasicExpression.Operator	valueOf(java.lang.String name)	Returns the enum constant of this type with the specified name.
static BasicExpression.Operator[]	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, 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 BasicExpression.Operator AND

OR

public static final BasicExpression.Operator OR

XOR

public static final BasicExpression.Operator XOR

XNOR

public static final BasicExpression.Operator XNOR

IMPLY

public static final BasicExpression.Operator IMPLY

IFF

public static final BasicExpression.Operator IFF

EQ

public static final BasicExpression.Operator EQ

NE

public static final BasicExpression.Operator NE

LT

public static final BasicExpression.Operator LT

GT

public static final BasicExpression.Operator GT

LE

public static final BasicExpression.Operator LE

GE

public static final BasicExpression.Operator GE

NULL

public static final BasicExpression.Operator NULL

NOT

public static final BasicExpression.Operator NOT

MOD

public static final BasicExpression.Operator MOD

PLUS

public static final BasicExpression.Operator PLUS

MUL

public static final BasicExpression.Operator MUL

MINUS

public static final BasicExpression.Operator MINUS

DIV

public static final BasicExpression.Operator DIV

Method Details

values

public static BasicExpression.Operator[] values()

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

Returns:

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

valueOf

public static BasicExpression.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

java.lang.NullPointerException - if the argument is null