/[eiffelstudio]/trunk/eweasel/tests/syntax073/test.e
ViewVC logotype

Contents of /trunk/eweasel/tests/syntax073/test.e

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: 770 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 TEST
2
3 create
4 make
5
6 feature {NONE} -- Creation
7
8 make
9 local
10 list: ARRAYED_LIST [INTEGER]
11 set: ARRAYED_SET [INTEGER]
12 do
13 create list.make (5)
14 list.extend (1)
15 list.extend (2)
16 list.extend (3)
17 list.extend (4)
18 list.extend (5)
19 create set.make_from_iterable (list)
20
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 ¦ ⟳ y: list ¦ if x < y then print (x.out + "<" + y.out + "%N") end ⟲⟲
29 end
30
31 feature {NONE} -- Output
32
33 report (v: BOOLEAN)
34 do
35 io.put_boolean (v)
36 io.put_new_line
37 end
38
39 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23