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

Contents of /trunk/eweasel/tests/attach102/test5.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: 1990 byte(s)
Fixed test by covering erroneously unreported VEVI (bug#18643, test#attach107).
1 class TEST
2
3 inherit
4 A
5 redefine
6 make_agent_precursor
7 end
8
9 create
10 make,
11 make_agent_creation_expression,
12 make_agent_creation_instruction,
13 make_agent_precursor,
14 make_agent_qualified,
15 make_agent_unqualified,
16 make_from
17
18 feature {NONE}
19
20 make
21 -- Create objects that need to initialize their attributes.
22 local
23 t: TEST
24 do
25 create t.make_agent_creation_expression (agent do_nothing)
26 create t.make_agent_creation_instruction (agent do_nothing)
27 create t.make_agent_precursor (agent do_nothing)
28 create t.make_agent_qualified (agent do_nothing)
29 create t.make_agent_unqualified (agent do_nothing)
30 create a
31 end
32
33 make_from (x: ANY)
34 -- Make sure `x' is targeted.
35 do
36 x.do_nothing
37 create a
38 end
39
40 feature {NONE} -- Initialization
41
42 make_agent_unqualified (x: PROCEDURE [ANY, TUPLE])
43 -- Fulfil targeted conditions for agent `x' before initializing all the attributes of `Current'.
44 do
45 access (x) -- VEVI
46 make
47 end
48
49 make_agent_qualified (x: PROCEDURE [ANY, TUPLE])
50 -- Fulfil targeted conditions for agent `x' before initializing all the attributes of `Current'.
51 local
52 t: TEST
53 do
54 create t.make
55 t.access (x) -- VEVI
56 make
57 end
58
59 make_agent_precursor (x: ANY)
60 -- Fulfil targeted conditions for agent `x' before initializing all the attributes of `Current'.
61 do
62 Precursor (x) -- VEVI
63 make
64 end
65
66 make_agent_creation_instruction (x: PROCEDURE [ANY, TUPLE])
67 -- Fulfil targeted conditions for agent `x' before initializing all the attributes of `Current'.
68 local
69 t: TEST
70 do
71 create t.make_from (x) -- VEVI
72 make
73 end
74
75 make_agent_creation_expression (x: PROCEDURE [ANY, TUPLE])
76 -- Fulfil targeted conditions for agent `x' before initializing all the attributes of `Current'.
77 do
78 if create {TEST}.make_from (x) = Void then end -- VEVI
79 make
80 end
81
82 feature -- Access
83
84 access (x: ANY)
85 -- Make sure `x' is targeted.
86 do
87 x.do_nothing
88 end
89
90 feature {NONE} -- Access
91
92 a: ANY
93 -- Storage.
94
95 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23