/[eiffelstudio]/trunk/eweasel/tests/syntax073/output_p
ViewVC logotype

Contents of /trunk/eweasel/tests/syntax073/output_p

Parent Directory Parent Directory | Revision Log Revision Log


Revision 103515 - (show annotations)
Wed Sep 18 18:03:25 2019 UTC (5 months, 1 week ago) by alexk
File size: 842 byte(s)
Updated the test to the currently adopted slightly different syntax for loop instructions that use a bar and a circle arrow pointing to an opposite direction.
1 class
2 TEST
3
4 create
5 make
6
7 feature {NONE} -- Creation
8
9 make
10 local
11 list: ARRAYED_LIST [INTEGER]
12 set: ARRAYED_SET [INTEGER]
13 do
14 create list.make (5)
15 list.extend (1)
16 list.extend (2)
17 list.extend (3)
18 list.extend (4)
19 list.extend (5)
20 create set.make_from_iterable (list)
21 report (∀ x: list ¦ x > 0)
22 report (∀ x: list ¦ x > 1)
23 report (∃ x: list ¦ x > 4)
24 report (∃ x: list ¦ x > 5)
25 report (∀ x: list ¦ ∃ y: list ¦ y >= x)
26 report (∃ x: list ¦ ∀ y: list ¦ y >= x)
27 report (∀ x: list ¦ set ∋ x)
28 ⟳ x: list ¦
29 ⟳ y: list ¦
30 if x < y then
31 print (x.out + "<" + y.out + "%N")
32 end
33
34
35 end
36
37 feature {NONE} -- Output
38
39 report (v: BOOLEAN)
40 do
41 io.put_boolean (v)
42 io.put_new_line
43 end
44
45 end

  ViewVC Help
Powered by ViewVC 1.1.23