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
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
|
require 'test/unit'
class Array
def iter_test1
collect{|e| [e, yield(e)]}.sort{|a,b|a[1]<=>b[1]}
end
def iter_test2
a = collect{|e| [e, yield(e)]}
a.sort{|a,b|a[1]<=>b[1]}
end
end
class TestIterator < Test::Unit::TestCase
def ttt
assert(iterator?)
end
def test_iterator
assert(!iterator?)
ttt{}
# yield at top level !! here's not toplevel
assert(!defined?(yield))
end
def test_array
$x = [1, 2, 3, 4]
$y = []
# iterator over array
for i in $x
$y.push i
end
assert_equal($x, $y)
end
def tt
1.upto(10) {|i|
yield i
}
end
def tt2(dummy)
yield 1
end
def tt3(&block)
tt2(raise(ArgumentError,""),&block)
end
def test_nested_iterator
i = 0
tt{|i| break if i == 5}
assert_equal(0, i)
assert_raises(ArgumentError) do
tt3{}
end
end
def tt4 &block
tt2(raise(ArgumentError,""),&block)
end
def test_block_argument_without_paren
assert_raises(ArgumentError) do
tt4{}
end
end
# iterator break/redo/next/retry
def test_break
done = true
loop{
break
done = false # should not reach here
}
assert(done)
done = false
$bad = false
loop {
break if done
done = true
next
$bad = true # should not reach here
}
assert(!$bad)
done = false
$bad = false
loop {
break if done
done = true
redo
$bad = true # should not reach here
}
assert(!$bad)
$x = []
for i in 1 .. 7
$x.push i
end
assert_equal(7, $x.size)
assert_equal([1, 2, 3, 4, 5, 6, 7], $x)
$done = false
$x = []
for i in 1 .. 7 # see how retry works in iterator loop
if i == 4 and not $done
$done = true
retry
end
$x.push(i)
end
assert_equal(10, $x.size)
assert_equal([1, 2, 3, 1, 2, 3, 4, 5, 6, 7], $x)
end
def test_append_method_to_built_in_class
$x = [[1,2],[3,4],[5,6]]
assert_equal($x.iter_test1{|x|x}, $x.iter_test2{|x|x})
end
class IterTest
def initialize(e); @body = e; end
def each0(&block); @body.each(&block); end
def each1(&block); @body.each {|*x| block.call(*x) } end
def each2(&block); @body.each {|*x| block.call(x) } end
def each3(&block); @body.each {|x| block.call(*x) } end
def each4(&block); @body.each {|x| block.call(x) } end
def each5; @body.each {|*x| yield(*x) } end
def each6; @body.each {|*x| yield(x) } end
def each7; @body.each {|x| yield(*x) } end
def each8; @body.each {|x| yield(x) } end
def f(a)
a
end
end
def test_itertest
assert_equal([1], IterTest.new(nil).method(:f).to_proc.call([1]))
m = /\w+/.match("abc")
assert_equal([m], IterTest.new(nil).method(:f).to_proc.call([m]))
IterTest.new([0]).each0 {|x| assert_equal(0, x)}
IterTest.new([1]).each1 {|x| assert_equal(1, x)}
IterTest.new([2]).each2 {|x| assert_equal([2], x)}
IterTest.new([4]).each4 {|x| assert_equal(4, x)}
IterTest.new([5]).each5 {|x| assert_equal([5], x)}
IterTest.new([6]).each6 {|x| assert_equal([6], x)}
IterTest.new([8]).each8 {|x| assert_equal(8, x)}
IterTest.new([[0]]).each0 {|x| assert_equal([0], x)}
IterTest.new([[1]]).each1 {|x| assert_equal(1, x)}
IterTest.new([[2]]).each2 {|x| assert_equal([2], x)}
IterTest.new([[3]]).each3 {|x| assert_equal(3, x)}
IterTest.new([[4]]).each4 {|x| assert_equal([4], x)}
IterTest.new([[5]]).each5 {|x| assert_equal([5], x)}
IterTest.new([[6]]).each6 {|x| assert_equal([6], x)}
IterTest.new([[7]]).each7 {|x| assert_equal([7], x)}
IterTest.new([[8]]).each8 {|x| assert_equal([8], x)}
IterTest.new([[0,0]]).each0 {|*x| assert_equal([0,0], x)}
IterTest.new([[8,8]]).each8 {|*x| assert_equal([8,8], x)}
end
def m(var)
var
end
def m1
m(block_given?)
end
def m2
m(block_given?,&proc{})
end
def test_block_given
assert(m1{p 'test'})
assert(m2{p 'test'})
assert(!m1())
assert(!m2())
end
def m3(var, &block)
m(yield(var), &block)
end
def m4(&block)
m(m1(), &block)
end
def test_block_passing
assert(!m4())
assert(!m4 {})
assert_equal(100, m3(10) {|x|x*x})
end
class C
include Enumerable
def initialize
@a = [1,2,3]
end
def each(&block)
@a.each(&block)
end
end
def test_collect
assert_equal([1,2,3], C.new.collect{|n| n})
end
def test_proc
assert_instance_of(Proc, lambda{})
assert_instance_of(Proc, Proc.new{})
lambda{|a|assert_equal(a, 1)}.call(1)
end
def test_block
assert_instance_of(NilClass, get_block)
assert_instance_of(Proc, get_block{})
end
def test_argument
assert_nothing_raised {lambda{||}.call}
assert_raises(ArgumentError) {lambda{||}.call(1)}
assert_nothing_raised {lambda{|a,|}.call(1)}
assert_raises(ArgumentError) {lambda{|a,|}.call()}
assert_raises(ArgumentError) {lambda{|a,|}.call(1,2)}
end
def get_block(&block)
block
end
def test_get_block
assert_instance_of(Proc, get_block{})
assert_nothing_raised {get_block{||}.call()}
assert_nothing_raised {get_block{||}.call(1)}
assert_nothing_raised {get_block{|a,|}.call(1)}
assert_nothing_raised {get_block{|a,|}.call()}
assert_nothing_raised {get_block{|a,|}.call(1,2)}
assert_nothing_raised {get_block(&lambda{||}).call()}
assert_raises(ArgumentError) {get_block(&lambda{||}).call(1)}
assert_nothing_raised {get_block(&lambda{|a,|}).call(1)}
assert_raises(ArgumentError) {get_block(&lambda{|a,|}).call(1,2)}
block = get_block{11}
assert_instance_of(Proc, block)
assert_instance_of(Proc, block.to_proc)
assert_equal(block.clone.call, 11)
assert_instance_of(Proc, get_block(&block))
lmd = lambda{44}
assert_instance_of(Proc, lmd)
assert_instance_of(Proc, lmd.to_proc)
assert_equal(lmd.clone.call, 44)
assert_instance_of(Proc, get_block(&lmd))
assert_equal(1, Proc.new{|a,| a}.call(1,2,3))
assert_nothing_raised {Proc.new{|a,|}.call(1,2)}
end
def return1_test
Proc.new {
return 55
}.call + 5
end
def test_return1
assert_equal(55, return1_test())
end
def return2_test
lambda {
return 55
}.call + 5
end
def test_return2
assert_equal(60, return2_test())
end
def proc_call(&b)
b.call
end
def proc_yield()
yield
end
def proc_return1
proc_call{return 42}+1
end
def test_proc_return1
assert_equal(42, proc_return1())
end
def proc_return2
proc_yield{return 42}+1
end
def test_proc_return2
assert_equal(42, proc_return2())
end
def test_ljump
assert_raises(LocalJumpError) {get_block{break}.call}
# cannot use assert_nothing_raised due to passing block.
begin
val = lambda{break 11}.call
rescue LocalJumpError
assert(false, "LocalJumpError occurred from break in lambda")
else
assert(11, val)
end
block = get_block{11}
lmd = lambda{44}
assert_equal(0, block.arity)
assert_equal(0, lmd.arity)
assert_equal(0, lambda{||}.arity)
assert_equal(1, lambda{|a|}.arity)
assert_equal(1, lambda{|a,|}.arity)
assert_equal(2, lambda{|a,b|}.arity)
end
def marity_test(m)
mobj = method(m)
assert_equal(mobj.arity, mobj.to_proc.arity)
end
def test_marity
marity_test(:assert)
marity_test(:marity_test)
marity_test(:p)
lambda(&method(:assert)).call(true)
lambda(&get_block{|a,n| assert(a,n)}).call(true, "marity")
end
def foo
yield(:key, :value)
end
def bar(&blk)
blk.call(:key, :value)
end
def test_yield_vs_call
foo{|k,v| assert_equal([:key, :value], [k,v])}
bar{|k,v| assert_equal([:key, :value], [k,v])}
end
class H
def each
yield :key, :value
end
end
def test_assoc_yield
[{:key=>:value}, H.new].each {|h|
h.each{|a| assert_equal([:key, :value], a)}
h.each{|*a| assert_equal([:key, :value], a)}
h.each{|k,v| assert_equal([:key, :value], [k,v])}
}
end
class ITER_TEST1
def a
block_given?
end
end
class ITER_TEST2 < ITER_TEST1
include Test::Unit::Assertions
def a
assert(super)
super
end
end
def test_iter_test2
assert(ITER_TEST2.new.a {})
end
class ITER_TEST3
def foo x
return yield if block_given?
x
end
end
class ITER_TEST4 < ITER_TEST3
include Test::Unit::Assertions
def foo x
assert_equal(super, yield)
assert_equal(x, super(x, &nil))
end
end
def test_iter4
ITER_TEST4.new.foo(44){55}
end
def test_break__nested_loop1
_test_break__nested_loop1 do
break
end
end
def _test_break__nested_loop1
while true
yield
end
assert(false, "must not reach here")
end
def test_break__nested_loop2
_test_break__nested_loop2 do
break
end
end
def _test_break__nested_loop2
until false
yield
end
assert(false, "must not reach here")
end
def test_break__nested_loop3
_test_break__nested_loop3 do
break
end
end
def _test_break__nested_loop3
loop do
yield
end
assert(false, "must not reach here")
end
def test_break_from_enum
result = ["a"].inject("ng") {|x,y| break "ok"}
assert_equal("ok", result)
end
def _test_return_trace_func(x)
set_trace_func(proc {})
[].fetch(2) {return x}
ensure
set_trace_func(nil)
end
def test_return_trace_func
ok = "returned gracefully"
result = "skipped"
result = _test_return_trace_func(ok)
ensure
assert_equal(ok, result)
return
end
end
|