-
Notifications
You must be signed in to change notification settings - Fork 11
/
Copy pathdivision-by-zero-default-value-in-client.eo
115 lines (112 loc) · 2.49 KB
/
division-by-zero-default-value-in-client.eo
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
# 2022-07-18T12:42:28.246423200
# j2eo team
+package divByZero
+alias stdlib.lang.class__Object
+alias stdlib.lang.class__System
+alias stdlib.primitives.prim__int
[] > class__A
class__Object > super
super > @
[] > new
class__Object.new > super
super > @
"class__A" > className
[this] > init
seq > @
TRUE
prim__int.constructor_1 > value
prim__int.new
# getValue :: null -> int
[this] > getValue
seq > @
return_1
[] > return_1
simpleReference_1 > @
[] > simpleReference_1
value > @
# setValue :: int -> void
[this v] > setValue
seq > @
statementExpression_1
[] > statementExpression_1
simpleReference_2.write > @
simpleReference_3
[] > simpleReference_2
value > @
[] > simpleReference_3
v > @
# null :: null -> void
[this] > constructor
seq > @
initialization
statementExpression_2
this
[] > initialization
this.init > @
this
[] > statementExpression_2
this.super.constructor > @
this.super
[] > class__Test
class__Object > super
super > @
[] > new
class__Object.new > super
super > @
"class__Test" > className
[this] > init
seq > @
TRUE
# main :: String[] -> void
[args] > main
seq > @
variableDeclaration_1
variableDeclaration_2
statementExpression_3
cage > a
[] > variableDeclaration_1
a.write > @
initializerSimple_1
[] > initializerSimple_1
instanceCreation_1 > @
[] > instanceCreation_1
class__A.constructor > @
class__A.new
prim__int.constructor_1 > result
prim__int.new
[] > variableDeclaration_2
result.write > @
initializerSimple_2
[] > initializerSimple_2
binary_1 > @
[] > binary_1
literal_1.div > @
methodInvocation_1
[] > literal_1
prim__int.constructor_2 > @
prim__int.new
10
[] > methodInvocation_1
a.getValue > @
a
[] > statementExpression_3
class__System.out.println > @
class__System.out
simpleReference_5
[] > simpleReference_5
result > @
# null :: null -> void
[this] > constructor
seq > @
initialization
statementExpression_4
this
[] > initialization
this.init > @
this
[] > statementExpression_4
this.super.constructor > @
this.super
[args...] > main
class__Test.main > @
*