public static enum JMLTranslator.JMLKeyWord extends java.lang.Enum<JMLTranslator.JMLKeyWord>
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
jmlName |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
jmlName() |
static JMLTranslator.JMLKeyWord |
jmlValueOf(java.lang.String jmlName) |
java.lang.String |
toString() |
static JMLTranslator.JMLKeyWord |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static JMLTranslator.JMLKeyWord[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final JMLTranslator.JMLKeyWord ARRAY_REF
public static final JMLTranslator.JMLKeyWord INV
public static final JMLTranslator.JMLKeyWord INV_FOR
public static final JMLTranslator.JMLKeyWord STATIC_INV_FOR
public static final JMLTranslator.JMLKeyWord CAST
public static final JMLTranslator.JMLKeyWord CONDITIONAL
public static final JMLTranslator.JMLKeyWord FRESH
public static final JMLTranslator.JMLKeyWord ACCESSIBLE
public static final JMLTranslator.JMLKeyWord ASSIGNABLE
public static final JMLTranslator.JMLKeyWord DEPENDS
public static final JMLTranslator.JMLKeyWord ENSURES
public static final JMLTranslator.JMLKeyWord ENSURES_FREE
public static final JMLTranslator.JMLKeyWord MODEL_METHOD_AXIOM
public static final JMLTranslator.JMLKeyWord REPRESENTS
public static final JMLTranslator.JMLKeyWord REQUIRES
public static final JMLTranslator.JMLKeyWord REQUIRES_FREE
public static final JMLTranslator.JMLKeyWord SIGNALS
public static final JMLTranslator.JMLKeyWord SIGNALS_ONLY
public static final JMLTranslator.JMLKeyWord MERGE_PROC
public static final JMLTranslator.JMLKeyWord FORALL
public static final JMLTranslator.JMLKeyWord EXISTS
public static final JMLTranslator.JMLKeyWord BSUM
public static final JMLTranslator.JMLKeyWord MIN
public static final JMLTranslator.JMLKeyWord MAX
public static final JMLTranslator.JMLKeyWord NUM_OF
public static final JMLTranslator.JMLKeyWord PRODUCT
public static final JMLTranslator.JMLKeyWord SUM
public static final JMLTranslator.JMLKeyWord SEQ_DEF
public static final JMLTranslator.JMLKeyWord STORE_REF_EXPR
public static final JMLTranslator.JMLKeyWord CREATE_LOCSET
public static final JMLTranslator.JMLKeyWord PAIRWISE_DISJOINT
public static final JMLTranslator.JMLKeyWord EMPTY
public static final JMLTranslator.JMLKeyWord UNION
public static final JMLTranslator.JMLKeyWord INTERSECT
public static final JMLTranslator.JMLKeyWord SINGLETON
public static final JMLTranslator.JMLKeyWord SETMINUS
public static final JMLTranslator.JMLKeyWord UNIONINF
public static final JMLTranslator.JMLKeyWord DISJOINT
public static final JMLTranslator.JMLKeyWord SUBSET
public static final JMLTranslator.JMLKeyWord EQUIVALENCE
public static final JMLTranslator.JMLKeyWord ANTIVALENCE
public static final JMLTranslator.JMLKeyWord EQ
public static final JMLTranslator.JMLKeyWord NEQ
public static final JMLTranslator.JMLKeyWord NOT_MOD
public static final JMLTranslator.JMLKeyWord VALUES
public static final JMLTranslator.JMLKeyWord INDEX
public static final JMLTranslator.JMLKeyWord INDEX_OF
public static final JMLTranslator.JMLKeyWord SEQ_CONST
public static final JMLTranslator.JMLKeyWord SEQ_GET
public static final JMLTranslator.JMLKeyWord SEQ_CONCAT
public static final JMLTranslator.JMLKeyWord REACH
public static final JMLTranslator.JMLKeyWord REACH_LOCS
public static final JMLTranslator.JMLKeyWord COMMENTARY
public static final JMLTranslator.JMLKeyWord DL
public static final JMLTranslator.JMLKeyWord ADD
public static final JMLTranslator.JMLKeyWord SUBTRACT
public static final JMLTranslator.JMLKeyWord SHIFT_LEFT
public static final JMLTranslator.JMLKeyWord SHIFT_RIGHT
public static final JMLTranslator.JMLKeyWord UNSIGNED_SHIFT_RIGHT
public static final JMLTranslator.JMLKeyWord BREAKS
public static final JMLTranslator.JMLKeyWord CONTINUES
public static final JMLTranslator.JMLKeyWord RETURNS
public static final JMLTranslator.JMLKeyWord INF_FLOW_SPEC_LIST
public static JMLTranslator.JMLKeyWord[] values()
for (JMLTranslator.JMLKeyWord c : JMLTranslator.JMLKeyWord.values()) System.out.println(c);
public static JMLTranslator.JMLKeyWord valueOf(java.lang.String name)
name
- the name of the enum constant to be returned.java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is nullpublic java.lang.String jmlName()
public java.lang.String toString()
toString
in class java.lang.Enum<JMLTranslator.JMLKeyWord>
public static JMLTranslator.JMLKeyWord jmlValueOf(java.lang.String jmlName) throws java.lang.IllegalArgumentException
java.lang.IllegalArgumentException