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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 97921 - (show annotations)
Tue Sep 22 12:24:39 2015 UTC (3 years, 11 months ago) by alexk
File size: 2266 byte(s)
Added examples for new rules on formal generic parameters tuple unfolding.
1 class TEST
2
3 create
4 make
5
6 feature {NONE} -- Creation
7
8 make
9 -- Run test.
10 local
11 a_1_1: A_1_1
12 a_1_1_i: A_1_1 [INTEGER]
13 a_1_1_ib: A_1_1 [INTEGER, BOOLEAN]
14
15 a_2_1: A_2_1 [INTEGER]
16 a_2_1_i: A_2_1 [INTEGER, INTEGER]
17 a_2_1_ib: A_2_1 [INTEGER, BOOLEAN, INTEGER]
18
19 a_2_2: A_2_2 [INTEGER]
20 a_2_2_i: A_2_2 [INTEGER, INTEGER]
21 a_2_2_ib: A_2_2 [INTEGER, INTEGER, BOOLEAN]
22
23 a_3_1: A_3_1 [INTEGER, INTEGER]
24 a_3_1_i: A_3_1 [INTEGER, INTEGER, INTEGER]
25 a_3_1_ib: A_3_1 [INTEGER, BOOLEAN, INTEGER, INTEGER]
26
27 a_3_2: A_3_2 [INTEGER, INTEGER]
28 a_3_2_i: A_3_2 [INTEGER, INTEGER, INTEGER]
29 a_3_2_ib: A_3_2 [INTEGER, INTEGER, BOOLEAN, INTEGER]
30
31 a_3_3: A_3_3 [INTEGER, INTEGER]
32 a_3_3_i: A_3_3 [INTEGER, INTEGER, INTEGER]
33 a_3_3_ib: A_3_3 [INTEGER, INTEGER, INTEGER, BOOLEAN]
34
35 do
36 create a_1_1.make ("")
37 create a_1_1_i.make ("i")
38 create a_1_1_ib.make ("ib")
39 a_1_1.f
40 print ("%"a_1_1 ()%" is not supported%N") -- a_1_1 -- An empty argument list is not automatically added to an expression.
41 a_1_1_i.f (1)
42 a_1_1_i (2)
43 a_1_1_ib.f (3, True)
44 a_1_1_ib (4, False)
45
46 create a_2_1.make ("")
47 create a_2_1_i.make ("i")
48 create a_2_1_ib.make ("ib")
49 a_2_1.f (5)
50 a_2_1 (6)
51 a_2_1_i.f (7, 8)
52 a_2_1_i (8, 9)
53 a_2_1_ib.f (9, True, 10)
54 a_2_1_ib (10, False, 11)
55
56 create a_2_2.make ("")
57 create a_2_2_i.make ("i")
58 create a_2_2_ib.make ("ib")
59 a_2_2.f (11)
60 a_2_2 (12)
61 a_2_2_i.f (13, 14)
62 a_2_2_i (14, 15)
63 a_2_2_ib.f (15, 16, True)
64 a_2_2_ib (16, 17, False)
65
66 create a_3_1.make ("")
67 create a_3_1_i.make ("i")
68 create a_3_1_ib.make ("ib")
69 a_3_1.f (17, 18)
70 a_3_1 (18, 19)
71 a_3_1_i.f (19, 20, 21)
72 a_3_1_i (20, 21, 22)
73 a_3_1_ib.f (21, True, 22, 23)
74 a_3_1_ib (22, False, 23, 24)
75
76 create a_3_2.make ("")
77 create a_3_2_i.make ("i")
78 create a_3_2_ib.make ("ib")
79 a_3_2.f (23, 24)
80 a_3_2 (24, 25)
81 a_3_2_i.f (25, 26, 27)
82 a_3_2_i (26, 27, 28)
83 a_3_2_ib.f (27, 28, True, 29)
84 a_3_2_ib (28, 29, False, 30)
85
86 create a_3_3.make ("")
87 create a_3_3_i.make ("i")
88 create a_3_3_ib.make ("ib")
89 a_3_3.f (29, 30)
90 a_3_3 (30, 31)
91 a_3_3_i.f (31, 32, 33)
92 a_3_3_i (32, 33, 34)
93 a_3_3_ib.f (33, 34, 35, True)
94 a_3_3_ib (34, 35, 36, False)
95 end
96
97 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23