org.jmlspecs.jml4.esc.gc.lang.expr
Class CfgOperator

java.lang.Object
  org.jmlspecs.jml4.esc.gc.lang.expr.CfgOperator

public class CfgOperator
extends java.lang.Object

Field Summary

static CfgOperator	AND
static CfgOperator	DIVIDE
static CfgOperator	EQUALS
static CfgOperator	EQUIV
static CfgOperator	GREATER
static CfgOperator	GREATER_EQUALS
static CfgOperator	IMPLIES
static CfgOperator	LESS
static CfgOperator	LESS_EQUALS
static CfgOperator	MINUS
java.lang.String	name
static CfgOperator	NOT_EQUALS
static CfgOperator	NOT_EQUIV
static CfgOperator	OR
static CfgOperator	PLUS
static CfgOperator	REMAINDER
static CfgOperator	REV_IMPLIES
static CfgOperator	TIMES

Method Summary

java.lang.String

toString()

Methods inherited from class java.lang.Object

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

Field Detail

AND

public static final CfgOperator AND

OR

public static final CfgOperator OR

EQUALS

public static final CfgOperator EQUALS

NOT_EQUALS

public static final CfgOperator NOT_EQUALS

GREATER

public static final CfgOperator GREATER

GREATER_EQUALS

public static final CfgOperator GREATER_EQUALS

LESS

public static final CfgOperator LESS

LESS_EQUALS

public static final CfgOperator LESS_EQUALS

PLUS

public static final CfgOperator PLUS

MINUS

public static final CfgOperator MINUS

TIMES

public static final CfgOperator TIMES

DIVIDE

public static final CfgOperator DIVIDE

REMAINDER

public static final CfgOperator REMAINDER

IMPLIES

public static final CfgOperator IMPLIES

REV_IMPLIES

public static final CfgOperator REV_IMPLIES

EQUIV

public static final CfgOperator EQUIV

NOT_EQUIV

public static final CfgOperator NOT_EQUIV

name

public final java.lang.String name

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object