public enum SmvReservedWords extends java.lang.Enum<SmvReservedWords>
Modifier and Type | Class and Description |
---|---|
static class |
SmvReservedWords.Operation
Specific SMV operations.
|
Enum Constant and Description |
---|
ARRAY
Array data type.
|
ASSIGNMENT
Assignment section header.
|
BIT_VECTOR
Bit vector data type.
|
BOOLEAN
Boolean data type.
|
CASE_BEGIN
Case begin keyword.
|
CASE_END
Case end keyword.
|
CTLSPEC
CTL specification header.
|
DEFINE
Definition section header.
|
FALSE
False value.
|
INIT
Initialization assignment keyword.
|
INPUT_VARIABLE
Input variable declaration section header.
|
INT2BV
Integer to bit-vector conversion keyword.
|
INTEGER
Integer data type.
|
INVAR
Invariant header.
|
INVARSPEC
Invariant specification header.
|
LTLSPEC
LTL specification header.
|
MAIN_MODULE
Reserved main module name.
|
MODULE
Announces module declaration.
|
NEXT
Next assignment keyword.
|
PSLSPEC
PSL specification header.
|
SIGNED
Signed attribute.
|
TOBIT
To bit conversion keyword.
|
TOBOOL
To boolean conversion keyword.
|
TOINT
To integer conversion keyword.
|
TRANSITION
Transition header.
|
TRUE
True value.
|
UNSIGNED
Unsigned attribute.
|
VARIABLE
Variable declaration section header.
|
Modifier and Type | Field and Description |
---|---|
static java.lang.String[] |
RESERVED_WORDS
All SMV language reserved words.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
static SmvReservedWords |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static SmvReservedWords[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final SmvReservedWords MODULE
public static final SmvReservedWords VARIABLE
public static final SmvReservedWords INPUT_VARIABLE
public static final SmvReservedWords ASSIGNMENT
public static final SmvReservedWords DEFINE
public static final SmvReservedWords CTLSPEC
public static final SmvReservedWords LTLSPEC
public static final SmvReservedWords PSLSPEC
public static final SmvReservedWords INVAR
public static final SmvReservedWords TRANSITION
public static final SmvReservedWords INIT
public static final SmvReservedWords NEXT
public static final SmvReservedWords CASE_BEGIN
public static final SmvReservedWords CASE_END
public static final SmvReservedWords TOINT
public static final SmvReservedWords TOBOOL
public static final SmvReservedWords TOBIT
public static final SmvReservedWords INT2BV
public static final SmvReservedWords TRUE
public static final SmvReservedWords FALSE
public static final SmvReservedWords SIGNED
public static final SmvReservedWords UNSIGNED
public static final SmvReservedWords BOOLEAN
public static final SmvReservedWords BIT_VECTOR
public static final SmvReservedWords INTEGER
public static final SmvReservedWords ARRAY
public static final SmvReservedWords MAIN_MODULE
public static final SmvReservedWords INVARSPEC
public static final java.lang.String[] RESERVED_WORDS
public static SmvReservedWords[] values()
for (SmvReservedWords c : SmvReservedWords.values()) System.out.println(c);
public static SmvReservedWords 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 toString()
toString
in class java.lang.Enum<SmvReservedWords>