PageRenderTime 5ms CodeModel.GetById 1ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/test/language/unclassified/wmh/test_wmh06.e

http://github.com/tybor/Liberty
Specman e | 35 lines | 28 code | 6 blank | 1 comment | 1 complexity | 89b6c1def6f5b38de2f0374826ff721f MD5 | raw file
 1class TEST_WMH06
 2   -- From: Wai-Ming Ho <waimingh@irisa.fr>
 3
 4insert
 5   MEMORY
 6
 7create {}
 8   make
 9
10feature {}
11   make
12      local
13         i: INTEGER; memory: ARRAY[AUX_WMH06]; item: AUX_WMH06
14      do
15         create memory.make(1, max)
16         from
17            i := 0
18         until
19            i >= max_loop
20         loop
21            create item.make
22            memory.put(item, i \\ max + 1)
23            i := i + 1
24            if i \\ max = 0 then
25               full_collect
26            end
27         end
28      end
29
30feature {}
31   max: INTEGER 40
32
33   max_loop: INTEGER 4000
34
35end -- class TEST_WMH06