org.jmlspecs.jml4.esc.vc.lang
Class VcOperator

java.lang.Object
  org.jmlspecs.jml4.esc.vc.lang.VcOperator

public class VcOperator
extends java.lang.Object

Field Summary

static VcOperator	DIVIDE
static VcOperator	EQUALS
static VcOperator	EQUIV
static VcOperator	GREATER
static VcOperator	GREATER_EQUALS
static VcOperator	IMPLIES
boolean	isEqualityOp
static VcOperator	LESS
static VcOperator	LESS_EQUALS
static VcOperator	MINUS
java.lang.String	name
static VcOperator	NOT_EQUALS
static VcOperator	NOT_EQUIV
static VcOperator	PLUS
static VcOperator	REMAINDER
static VcOperator	TIMES

Method Summary

int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, notify, notifyAll, wait, wait, wait

Field Detail

EQUALS

public static final VcOperator EQUALS

NOT_EQUALS

public static final VcOperator NOT_EQUALS

GREATER

public static final VcOperator GREATER

GREATER_EQUALS

public static final VcOperator GREATER_EQUALS

LESS

public static final VcOperator LESS

LESS_EQUALS

public static final VcOperator LESS_EQUALS

PLUS

public static final VcOperator PLUS

MINUS

public static final VcOperator MINUS

TIMES

public static final VcOperator TIMES

DIVIDE

public static final VcOperator DIVIDE

REMAINDER

public static final VcOperator REMAINDER

IMPLIES

public static final VcOperator IMPLIES

EQUIV

public static final VcOperator EQUIV

NOT_EQUIV

public static final VcOperator NOT_EQUIV

name

public final java.lang.String name

isEqualityOp

public final boolean isEqualityOp

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object