Constant Field Values

Contents

• wyal.io.*
• wyal.lang.*

wyal.io.*

wyal.io.WyalFileLexer

Modifier and Type	Constant Field	Value
public static final char	UC_ELEMENTOF	8712
public static final char	UC_EMPTYSET	8709
public static final char	UC_EXISTS	8707
public static final char	UC_FORALL	8704
public static final char	UC_GREATEREQUALS	8805
public static final char	UC_LESSEQUALS	8804
public static final char	UC_LOGICALAND	8743
public static final char	UC_LOGICALOR	8744
public static final char	UC_SETINTERSECTION	8745
public static final char	UC_SETUNION	8746
public static final char	UC_SUBSET	8834
public static final char	UC_SUBSETEQ	8838
public static final char	UC_SUPSET	8835
public static final char	UC_SUPSETEQ	8839

wyal.lang.*

wyal.lang.WyalFile

Modifier and Type	Constant Field	Value
public static final int	DECL_assert	19
public static final int	DECL_blkcomment	17
public static final int	DECL_fun	21
public static final int	DECL_import	18
public static final int	DECL_linecomment	16
public static final int	DECL_macro	22
public static final int	DECL_mask	16
public static final int	DECL_type	20
public static final int	ERR_verify	23
public static final int	EXPR_add	121
public static final int	EXPR_and	105
public static final int	EXPR_arrgen	155
public static final int	EXPR_arridx	152
public static final int	EXPR_arrinit	156
public static final int	EXPR_arrlen	153
public static final int	EXPR_arrrange	157
public static final int	EXPR_arrupdt	154
public static final int	EXPR_bitwiseand	129
public static final int	EXPR_bitwisenot	128
public static final int	EXPR_bitwiseor	130
public static final int	EXPR_bitwiseshl	132
public static final int	EXPR_bitwiseshr	133
public static final int	EXPR_bitwisexor	131
public static final int	EXPR_cast	100
public static final int	EXPR_const	99
public static final int	EXPR_deref	136
public static final int	EXPR_div	124
public static final int	EXPR_eq	112
public static final int	EXPR_exists	109
public static final int	EXPR_forall	110
public static final int	EXPR_gt	116
public static final int	EXPR_gteq	117
public static final int	EXPR_iff	108
public static final int	EXPR_implies	107
public static final int	EXPR_indirectinvoke	103
public static final int	EXPR_invoke	101
public static final int	EXPR_is	118
public static final int	EXPR_lambda	139
public static final int	EXPR_lt	114
public static final int	EXPR_lteq	115
public static final int	EXPR_mask	96
public static final int	EXPR_mul	123
public static final int	EXPR_neg	120
public static final int	EXPR_neq	113
public static final int	EXPR_new	137
public static final int	EXPR_not	104
public static final int	EXPR_or	106
public static final int	EXPR_qualifiedinvoke	102
public static final int	EXPR_qualifiedlambda	138
public static final int	EXPR_recfield	144
public static final int	EXPR_recinit	146
public static final int	EXPR_recupdt	145
public static final int	EXPR_rem	125
public static final int	EXPR_staticvar	98
public static final int	EXPR_sub	122
public static final int	EXPR_varcopy	96
public static final int	EXPR_varmove	97
public static final int	STMT_block	64
public static final int	STMT_caseof	67
public static final int	STMT_exists	68
public static final int	STMT_forall	69
public static final int	STMT_ifthen	66
public static final int	STMT_mask	64
public static final int	STMT_vardecl	65
public static final int	TYPE_and	47
public static final int	TYPE_any	33
public static final int	TYPE_arr	40
public static final int	TYPE_bool	35
public static final int	TYPE_byte	49
public static final int	TYPE_fun	42
public static final int	TYPE_int	36
public static final int	TYPE_inv	45
public static final int	TYPE_mask	32
public static final int	TYPE_meth	43
public static final int	TYPE_nom	37
public static final int	TYPE_not	48
public static final int	TYPE_null	34
public static final int	TYPE_or	46
public static final int	TYPE_property	44
public static final int	TYPE_rec	41
public static final int	TYPE_ref	38
public static final int	TYPE_void	32