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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 92556 - (show annotations)
Mon May 20 19:08:33 2013 UTC (6 years, 8 months ago) by alexk
File size: 1236 byte(s)
Adapted test to separate reports of errors.
1 class TEST
2
3 inherit
4 A
5 redefine
6 make_self_precursor
7 end
8
9 create
10 make,
11 make_agent_agent,
12 make_from,
13 make_self_agent,
14 make_self_precursor
15
16 feature {NONE}
17
18 make
19 -- Create objects that need to initialize their attributes.
20 local
21 t: TEST
22 do
23 create t.make_agent_agent (agent do_nothing)
24 create t.make_self_agent
25 create t.make_self_precursor (t)
26 create a
27 end
28
29 make_from (x: ANY)
30 -- Make sure `x' is targeted.
31 do
32 x.do_nothing
33 end
34
35 feature {NONE} -- Initialization
36
37 make_self_precursor (x: ANY)
38 -- Fulfil targeted conditions for `Current' before initializing all the attributes.
39 do
40 Precursor (Current) -- VEVI
41 make
42 end
43
44 make_self_agent
45 -- Fulfil targeted conditions for `Current' before initializing all the attributes.
46 local
47 y: PROCEDURE [ANY, TUPLE]
48 do
49 y := agent (z: ANY) do z.do_nothing end (Current) -- VEVI
50 y.call ([])
51 make
52 end
53
54 make_agent_agent (x: PROCEDURE [ANY, TUPLE])
55 -- Fulfil targeted conditions for agent `x' before initializing all the attributes of `Current'.
56 local
57 y: PROCEDURE [ANY, TUPLE]
58 do
59 y := agent (z: ANY) do z.do_nothing end (x) -- VEVI
60 y.call ([])
61 make
62 end
63
64 feature {NONE} -- Access
65
66 a: ANY
67 -- Storage.
68
69 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23