/[eiffelstudio]/trunk/eweasel/tests/attach102/test3.e
ViewVC logotype

Contents of /trunk/eweasel/tests/attach102/test3.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 92831 - (show annotations)
Thu Aug 1 14:20:07 2013 UTC (6 years, 5 months ago) by alexk
File size: 1006 byte(s)
Fixed test by covering erroneously unreported VEVI (bug#18643, test#attach107).
1 class TEST
2
3 inherit
4 A
5
6 create
7 make,
8 make_from,
9 make_self_creation_expression,
10 make_self_creation_instruction
11
12 feature {NONE}
13
14 make
15 -- Create objects that need to initialize their attributes.
16 local
17 t: TEST
18 do
19 create t.make_self_creation_expression
20 create t.make_self_creation_instruction
21 create a
22 end
23
24 make_from (x: ANY)
25 -- Make sure `x' is targeted.
26 do
27 x.do_nothing
28 create a
29 end
30
31 feature {NONE} -- Initialization
32
33 make_self_creation_instruction
34 -- Fulfil targeted conditions for `Current' before initializing all the attributes.
35 local
36 t: TEST
37 do
38 create t.make_from (Current) -- VEVI
39 make
40 end
41
42 make_self_creation_expression
43 -- Fulfil targeted conditions for `Current' before initializing all the attributes.
44 do
45 if create {TEST}.make_from (Current) = Void then end -- VEVI
46 make
47 end
48
49 feature -- Access
50
51 access (x: ANY)
52 -- Make sure `x' is targeted.
53 do
54 x.do_nothing
55 end
56
57 feature {NONE} -- Access
58
59 a: ANY
60 -- Storage.
61
62 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23