wyal.lang

Enum WyalFile.Opcode

java.lang.Object

java.lang.Enum<WyalFile.Opcode>

wyal.lang.WyalFile.Opcode

All Implemented Interfaces:

Serializable, Comparable<WyalFile.Opcode>

Enclosing class:

WyalFile

public static enum WyalFile.Opcode
extends Enum<WyalFile.Opcode>

Enum Constant Summary

Enum Constants

Enum Constant and Description
CONST_bool
CONST_int
CONST_null
CONST_utf8
DECL_assert
DECL_blkcomment
DECL_fun
DECL_import
DECL_linecomment
DECL_macro
DECL_type
ERR_verify
EXPR_add
EXPR_and
EXPR_arrgen
EXPR_arridx
EXPR_arrinit
EXPR_arrlen
EXPR_arrupdt
EXPR_cast
EXPR_const
EXPR_deref
EXPR_div
EXPR_eq
EXPR_exists
EXPR_forall
EXPR_gt
EXPR_gteq
EXPR_iff
EXPR_implies
EXPR_invoke
EXPR_is
EXPR_lt
EXPR_lteq
EXPR_mul
EXPR_neg
EXPR_neq
EXPR_not
EXPR_or
EXPR_recfield
EXPR_recinit
EXPR_recupdt
EXPR_rem
EXPR_sub
EXPR_var
ITEM_ident
ITEM_name
ITEM_pair
ITEM_path
ITEM_tuple
STMT_block
STMT_caseof
STMT_exists
STMT_forall
STMT_ifthen
STMT_vardecl
TYPE_and
TYPE_any
TYPE_arr
TYPE_bool
TYPE_byte
TYPE_fun
TYPE_int
TYPE_inv
TYPE_macro
TYPE_meth
TYPE_nom
TYPE_not
TYPE_null
TYPE_or
TYPE_rec
TYPE_ref
TYPE_void

Field Summary

Fields

Modifier and Type	Field and Description
int	offset

Method Summary

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.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

ITEM_pair

public static final WyalFile.Opcode ITEM_pair

ITEM_tuple

public static final WyalFile.Opcode ITEM_tuple

ITEM_ident

public static final WyalFile.Opcode ITEM_ident

ITEM_path

public static final WyalFile.Opcode ITEM_path

ITEM_name

public static final WyalFile.Opcode ITEM_name

DECL_linecomment

public static final WyalFile.Opcode DECL_linecomment

DECL_blkcomment

public static final WyalFile.Opcode DECL_blkcomment

DECL_import

public static final WyalFile.Opcode DECL_import

DECL_assert

public static final WyalFile.Opcode DECL_assert

DECL_type

public static final WyalFile.Opcode DECL_type

DECL_fun

public static final WyalFile.Opcode DECL_fun

DECL_macro

public static final WyalFile.Opcode DECL_macro

ERR_verify

public static final WyalFile.Opcode ERR_verify

TYPE_void

public static final WyalFile.Opcode TYPE_void

TYPE_any

public static final WyalFile.Opcode TYPE_any

TYPE_null

public static final WyalFile.Opcode TYPE_null

TYPE_bool

public static final WyalFile.Opcode TYPE_bool

TYPE_int

public static final WyalFile.Opcode TYPE_int

TYPE_nom

public static final WyalFile.Opcode TYPE_nom

TYPE_ref

public static final WyalFile.Opcode TYPE_ref

TYPE_arr

public static final WyalFile.Opcode TYPE_arr

TYPE_rec

public static final WyalFile.Opcode TYPE_rec

TYPE_fun

public static final WyalFile.Opcode TYPE_fun

TYPE_meth

public static final WyalFile.Opcode TYPE_meth

TYPE_macro

public static final WyalFile.Opcode TYPE_macro

TYPE_inv

public static final WyalFile.Opcode TYPE_inv

TYPE_or

public static final WyalFile.Opcode TYPE_or

TYPE_and

public static final WyalFile.Opcode TYPE_and

TYPE_not

public static final WyalFile.Opcode TYPE_not

TYPE_byte

public static final WyalFile.Opcode TYPE_byte

STMT_block

public static final WyalFile.Opcode STMT_block

STMT_vardecl

public static final WyalFile.Opcode STMT_vardecl

STMT_ifthen

public static final WyalFile.Opcode STMT_ifthen

STMT_caseof

public static final WyalFile.Opcode STMT_caseof

STMT_exists

public static final WyalFile.Opcode STMT_exists

STMT_forall

public static final WyalFile.Opcode STMT_forall

EXPR_var

public static final WyalFile.Opcode EXPR_var

EXPR_const

public static final WyalFile.Opcode EXPR_const

EXPR_cast

public static final WyalFile.Opcode EXPR_cast

EXPR_invoke

public static final WyalFile.Opcode EXPR_invoke

EXPR_not

public static final WyalFile.Opcode EXPR_not

EXPR_and

public static final WyalFile.Opcode EXPR_and

EXPR_or

public static final WyalFile.Opcode EXPR_or

EXPR_implies

public static final WyalFile.Opcode EXPR_implies

EXPR_iff

public static final WyalFile.Opcode EXPR_iff

EXPR_exists

public static final WyalFile.Opcode EXPR_exists

EXPR_forall

public static final WyalFile.Opcode EXPR_forall

EXPR_eq

public static final WyalFile.Opcode EXPR_eq

EXPR_neq

public static final WyalFile.Opcode EXPR_neq

EXPR_lt

public static final WyalFile.Opcode EXPR_lt

EXPR_lteq

public static final WyalFile.Opcode EXPR_lteq

EXPR_gt

public static final WyalFile.Opcode EXPR_gt

EXPR_gteq

public static final WyalFile.Opcode EXPR_gteq

EXPR_is

public static final WyalFile.Opcode EXPR_is

EXPR_neg

public static final WyalFile.Opcode EXPR_neg

EXPR_add

public static final WyalFile.Opcode EXPR_add

EXPR_sub

public static final WyalFile.Opcode EXPR_sub

EXPR_mul

public static final WyalFile.Opcode EXPR_mul

EXPR_div

public static final WyalFile.Opcode EXPR_div

EXPR_rem

public static final WyalFile.Opcode EXPR_rem

EXPR_deref

public static final WyalFile.Opcode EXPR_deref

EXPR_recfield

public static final WyalFile.Opcode EXPR_recfield

EXPR_recupdt

public static final WyalFile.Opcode EXPR_recupdt

EXPR_arridx

public static final WyalFile.Opcode EXPR_arridx

EXPR_arrlen

public static final WyalFile.Opcode EXPR_arrlen

EXPR_arrupdt

public static final WyalFile.Opcode EXPR_arrupdt

EXPR_arrgen

public static final WyalFile.Opcode EXPR_arrgen

EXPR_arrinit

public static final WyalFile.Opcode EXPR_arrinit

EXPR_recinit

public static final WyalFile.Opcode EXPR_recinit

CONST_null

public static final WyalFile.Opcode CONST_null

CONST_bool

public static final WyalFile.Opcode CONST_bool

CONST_int

public static final WyalFile.Opcode CONST_int

CONST_utf8

public static final WyalFile.Opcode CONST_utf8

Field Detail

offset

public int offset

Method Detail

values

public static WyalFile.Opcode[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (WyalFile.Opcode c : WyalFile.Opcode.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static WyalFile.Opcode valueOf(String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

IllegalArgumentException - if this enum type has no constant with the specified name

NullPointerException - if the argument is null