-
Notifications
You must be signed in to change notification settings - Fork 4
Expand file tree
/
Copy pathinheritance.snapshot.rb
More file actions
100 lines (88 loc) · 2.56 KB
/
inheritance.snapshot.rb
File metadata and controls
100 lines (88 loc) · 2.56 KB
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
# typed: true
class Z1
# ^^ definition [..] Z1#
extend T::Sig
# ^^^^^^ reference [..] Kernel#extend().
sig { params(a: T::Boolean).void }
# ^^^^^^^ reference [..] T#Boolean.
def write_f(a)
# ^^^^^^^ definition [..] Z1#write_f().
# ^ definition local 1$1000661517
@f = a
# ^^ definition [..] Z1#`@f`.
# ^^^^^^ reference [..] Z1#`@f`.
# ^ reference local 1$1000661517
end
sig { returns(T::Boolean) }
# ^^^^^^^ reference [..] T#Boolean.
def read_f?
# ^^^^^^^ definition [..] Z1#`read_f?`().
@f
# ^^ reference [..] Z1#`@f`.
end
end
class Z2
# ^^ definition [..] Z2#
extend T::Sig
# ^^^^^^ reference [..] Kernel#extend().
sig { returns(T::Boolean) }
# ^^^^^^^ reference [..] T#Boolean.
def read_f?
# ^^^^^^^ definition [..] Z2#`read_f?`().
@f
# ^^ reference [..] Z2#`@f`.
end
sig { params(a: T::Boolean).void }
# ^^^^^^^ reference [..] T#Boolean.
def write_f(a)
# ^^^^^^^ definition [..] Z2#write_f().
# ^ definition local 1$1000661517
@f = a
# ^^ definition [..] Z2#`@f`.
# ^^^^^^ reference [..] Z2#`@f`.
# ^ reference local 1$1000661517
end
end
class Z3 < Z1
# ^^ definition [..] Z3#
# ^^ reference [..] Z1#
extend T::Sig
# ^^^^^^ reference [..] Kernel#extend().
sig { returns(T::Boolean) }
# ^^^^^^^ reference [..] T#Boolean.
def read_f_plus_1?
# ^^^^^^^^^^^^^^ definition [..] Z3#`read_f_plus_1?`().
@f + 1
# ^^ reference [..] Z3#`@f`.
# relation definition=[..] Z1#`@f`.
end
end
class Z4 < Z3
# ^^ definition [..] Z4#
# ^^ reference [..] Z3#
extend T::Sig
# ^^^^^^ reference [..] Kernel#extend().
sig { params(a: T::Boolean).void }
# ^^^^^^^ reference [..] T#Boolean.
def write_f_plus_1(a)
# ^^^^^^^^^^^^^^ definition [..] Z4#write_f_plus_1().
# ^ definition local 1$3337417690
write_f(a)
# ^^^^^^^ reference [..] Z1#write_f().
# ^ reference local 1$3337417690
@f = read_f_plus_1?
# ^^ definition [..] Z4#`@f`.
# relation definition=[..] Z1#`@f`.
# ^^^^^^^^^^^^^^^^^^^ reference [..] Z4#`@f`.
# relation definition=[..] Z1#`@f`.
# ^^^^^^^^^^^^^^ reference [..] Z3#`read_f_plus_1?`().
end
end
Z5 = Object
#^^ definition [..] Z5.
#relation reference=[..] Object#
#^^^^^^^^^^^ reference [..] Z5.
# ^^^^^^ reference [..] Object#
class Z6 < Z5
# ^^ definition [..] Z6#
end