public static enum WyalFile.Opcode extends Enum<WyalFile.Opcode>
| Modifier and Type | Field and Description |
|---|---|
int |
offset |
| Modifier and Type | Method and Description |
|---|---|
static WyalFile.Opcode |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static WyalFile.Opcode[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final WyalFile.Opcode ITEM_pair
public static final WyalFile.Opcode ITEM_tuple
public static final WyalFile.Opcode ITEM_ident
public static final WyalFile.Opcode ITEM_path
public static final WyalFile.Opcode ITEM_name
public static final WyalFile.Opcode DECL_linecomment
public static final WyalFile.Opcode DECL_blkcomment
public static final WyalFile.Opcode DECL_import
public static final WyalFile.Opcode DECL_assert
public static final WyalFile.Opcode DECL_type
public static final WyalFile.Opcode DECL_fun
public static final WyalFile.Opcode DECL_macro
public static final WyalFile.Opcode ERR_verify
public static final WyalFile.Opcode TYPE_void
public static final WyalFile.Opcode TYPE_any
public static final WyalFile.Opcode TYPE_null
public static final WyalFile.Opcode TYPE_bool
public static final WyalFile.Opcode TYPE_int
public static final WyalFile.Opcode TYPE_nom
public static final WyalFile.Opcode TYPE_ref
public static final WyalFile.Opcode TYPE_arr
public static final WyalFile.Opcode TYPE_rec
public static final WyalFile.Opcode TYPE_fun
public static final WyalFile.Opcode TYPE_meth
public static final WyalFile.Opcode TYPE_macro
public static final WyalFile.Opcode TYPE_inv
public static final WyalFile.Opcode TYPE_or
public static final WyalFile.Opcode TYPE_and
public static final WyalFile.Opcode TYPE_not
public static final WyalFile.Opcode TYPE_byte
public static final WyalFile.Opcode STMT_block
public static final WyalFile.Opcode STMT_vardecl
public static final WyalFile.Opcode STMT_ifthen
public static final WyalFile.Opcode STMT_caseof
public static final WyalFile.Opcode STMT_exists
public static final WyalFile.Opcode STMT_forall
public static final WyalFile.Opcode EXPR_var
public static final WyalFile.Opcode EXPR_const
public static final WyalFile.Opcode EXPR_cast
public static final WyalFile.Opcode EXPR_invoke
public static final WyalFile.Opcode EXPR_not
public static final WyalFile.Opcode EXPR_and
public static final WyalFile.Opcode EXPR_or
public static final WyalFile.Opcode EXPR_implies
public static final WyalFile.Opcode EXPR_iff
public static final WyalFile.Opcode EXPR_exists
public static final WyalFile.Opcode EXPR_forall
public static final WyalFile.Opcode EXPR_eq
public static final WyalFile.Opcode EXPR_neq
public static final WyalFile.Opcode EXPR_lt
public static final WyalFile.Opcode EXPR_lteq
public static final WyalFile.Opcode EXPR_gt
public static final WyalFile.Opcode EXPR_gteq
public static final WyalFile.Opcode EXPR_is
public static final WyalFile.Opcode EXPR_neg
public static final WyalFile.Opcode EXPR_add
public static final WyalFile.Opcode EXPR_sub
public static final WyalFile.Opcode EXPR_mul
public static final WyalFile.Opcode EXPR_div
public static final WyalFile.Opcode EXPR_rem
public static final WyalFile.Opcode EXPR_deref
public static final WyalFile.Opcode EXPR_recfield
public static final WyalFile.Opcode EXPR_recupdt
public static final WyalFile.Opcode EXPR_arridx
public static final WyalFile.Opcode EXPR_arrlen
public static final WyalFile.Opcode EXPR_arrupdt
public static final WyalFile.Opcode EXPR_arrgen
public static final WyalFile.Opcode EXPR_arrinit
public static final WyalFile.Opcode EXPR_recinit
public static final WyalFile.Opcode CONST_null
public static final WyalFile.Opcode CONST_bool
public static final WyalFile.Opcode CONST_int
public static final WyalFile.Opcode CONST_utf8
public static WyalFile.Opcode[] values()
for (WyalFile.Opcode c : WyalFile.Opcode.values()) System.out.println(c);
public static WyalFile.Opcode valueOf(String name)
name - the name of the enum constant to be returned.IllegalArgumentException - if this enum type has no constant with the specified nameNullPointerException - if the argument is nullCopyright © 2017. All rights reserved.