| 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 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
BLOCK_Constant |
11 |
public static final int |
BLOCK_Documentation |
2 |
public static final int |
BLOCK_Function |
12 |
public static final int |
BLOCK_Header |
0 |
public static final int |
BLOCK_License |
3 |
public static final int |
BLOCK_Method |
13 |
public static final int |
BLOCK_Module |
1 |
public static final int |
BLOCK_Property |
14 |
public static final int |
BLOCK_Type |
10 |
public static final int |
CONSTANT_Array |
9 |
public static final int |
CONSTANT_Byte |
3 |
public static final int |
CONSTANT_False |
2 |
public static final int |
CONSTANT_Function |
13 |
public static final int |
CONSTANT_Int |
5 |
public static final int |
CONSTANT_Method |
14 |
public static final int |
CONSTANT_Null |
0 |
public static final int |
CONSTANT_Record |
10 |
public static final int |
CONSTANT_True |
1 |
public static final int |
CONSTANT_Type |
12 |
public static final int |
MODIFIER_Export |
32 |
public static final int |
MODIFIER_MANGLE_MASK |
48 |
public static final int |
MODIFIER_Native |
16 |
public static final int |
MODIFIER_Private |
0 |
public static final int |
MODIFIER_PROTECTION_MASK |
3 |
public static final int |
MODIFIER_Public |
1 |
public static final int |
TYPE_Any |
0 |
public static final int |
TYPE_Array |
9 |
public static final int |
TYPE_Bool |
3 |
public static final int |
TYPE_Byte |
4 |
public static final int |
TYPE_Function |
11 |
public static final int |
TYPE_Int |
5 |
public static final int |
TYPE_Intersection |
14 |
public static final int |
TYPE_Method |
12 |
public static final int |
TYPE_Negation |
15 |
public static final int |
TYPE_Nominal |
7 |
public static final int |
TYPE_Null |
2 |
public static final int |
TYPE_Property |
16 |
public static final int |
TYPE_Record |
10 |
public static final int |
TYPE_Reference |
8 |
public static final int |
TYPE_Type |
6 |
public static final int |
TYPE_Union |
13 |
public static final int |
TYPE_Void |
1 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
BINARY_ASSIGNABLE |
29 |
public static final int |
BINARY_OPERATOR |
23 |
public static final int |
NARY_ASSIGNABLE |
60 |
public static final int |
OPCODE_add |
30 |
public static final int |
OPCODE_aliasdecl |
7 |
public static final int |
OPCODE_all |
67 |
public static final int |
OPCODE_array |
53 |
public static final int |
OPCODE_arraygen |
52 |
public static final int |
OPCODE_arrayindex |
51 |
public static final int |
OPCODE_arraylength |
50 |
public static final int |
OPCODE_assert |
2 |
public static final int |
OPCODE_assign |
68 |
public static final int |
OPCODE_assume |
3 |
public static final int |
OPCODE_bitwiseand |
47 |
public static final int |
OPCODE_bitwiseinvert |
44 |
public static final int |
OPCODE_bitwiseor |
45 |
public static final int |
OPCODE_bitwisexor |
46 |
public static final int |
OPCODE_block |
69 |
public static final int |
OPCODE_break |
4 |
public static final int |
OPCODE_const |
22 |
public static final int |
OPCODE_continue |
5 |
public static final int |
OPCODE_convert |
21 |
public static final int |
OPCODE_debug |
12 |
public static final int |
OPCODE_dereference |
56 |
public static final int |
OPCODE_div |
33 |
public static final int |
OPCODE_dowhile |
65 |
public static final int |
OPCODE_eq |
35 |
public static final int |
OPCODE_fail |
1 |
public static final int |
OPCODE_fieldload |
20 |
public static final int |
OPCODE_ge |
40 |
public static final int |
OPCODE_gt |
39 |
public static final int |
OPCODE_if |
23 |
public static final int |
OPCODE_ifelse |
24 |
public static final int |
OPCODE_ifis |
9 |
public static final int |
OPCODE_indirectinvoke |
62 |
public static final int |
OPCODE_invoke |
61 |
public static final int |
OPCODE_is |
55 |
public static final int |
OPCODE_lambda |
63 |
public static final int |
OPCODE_le |
38 |
public static final int |
OPCODE_logicaland |
42 |
public static final int |
OPCODE_logicalnot |
41 |
public static final int |
OPCODE_logicalor |
43 |
public static final int |
OPCODE_lt |
37 |
public static final int |
OPCODE_mul |
32 |
public static final int |
OPCODE_namedblock |
70 |
public static final int |
OPCODE_ne |
36 |
public static final int |
OPCODE_neg |
29 |
public static final int |
OPCODE_newobject |
57 |
public static final int |
OPCODE_record |
54 |
public static final int |
OPCODE_rem |
34 |
public static final int |
OPCODE_return |
8 |
public static final int |
OPCODE_shl |
48 |
public static final int |
OPCODE_shr |
49 |
public static final int |
OPCODE_skip |
11 |
public static final int |
OPCODE_some |
66 |
public static final int |
OPCODE_sub |
31 |
public static final int |
OPCODE_switch |
10 |
public static final int |
OPCODE_varcopy |
58 |
public static final int |
OPCODE_vardecl |
0 |
public static final int |
OPCODE_vardeclinit |
6 |
public static final int |
OPCODE_varmove |
59 |
public static final int |
OPCODE_while |
64 |
public static final int |
UNARY_ASSIGNABLE |
13 |
public static final int |
UNARY_OPERATOR |
8 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
ARGUMENTS |
0 |
public static final int |
BODY |
0 |
public static final int |
CONDITION |
0 |
public static final int |
END |
2 |
public static final int |
ENVIRONMENT |
0 |
public static final int |
FALSEBRANCH |
1 |
public static final int |
LEFTHANDSIDE |
0 |
public static final int |
PARAMETERS |
0 |
public static final int |
RIGHTHANDSIDE |
1 |
public static final int |
START |
1 |
public static final int |
TRUEBRANCH |
0 |
public static final int |
VARIABLE |
0 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final byte |
K_ANY |
1 |
public static final byte |
K_ARRAY |
12 |
public static final byte |
K_BOOL |
4 |
public static final byte |
K_BYTE |
5 |
public static final byte |
K_FUNCTION |
19 |
public static final byte |
K_INT |
7 |
public static final int |
K_INTERSECTION |
17 |
public static final byte |
K_META |
2 |
public static final byte |
K_METHOD |
20 |
public static final byte |
K_NEGATION |
18 |
public static final byte |
K_NOMINAL |
21 |
public static final byte |
K_NULL |
3 |
public static final byte |
K_PROPERTY |
22 |
public static final byte |
K_RECORD |
15 |
public static final byte |
K_REFERENCE |
14 |
public static final byte |
K_UNION |
16 |
public static final byte |
K_VOID |
0 |
Copyright © 2017. All rights reserved.