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

Contents of /trunk/eweasel/tests/attach102/test1.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: 3847 byte(s)
Adapted test to separate reports of errors.
1 class TEST
2
3 inherit
4 A
5 redefine
6 make_agent_precursor,
7 make_self_precursor
8 end
9
10 create
11 make,
12 make_agent_agent,
13 make_agent_creation_expression,
14 make_agent_creation_instruction,
15 make_agent_precursor,
16 make_agent_qualified,
17 make_agent_unqualified,
18 make_from,
19 make_self_agent,
20 make_self_creation_expression,
21 make_self_creation_instruction,
22 make_self_precursor,
23 make_self_qualified,
24 make_self_unqualified
25
26 feature {NONE}
27
28 make
29 -- Create objects that need to initialize their attributes.
30 local
31 t: TEST
32 do
33 create a
34 create t.make_self_agent
35 create t.make_self_creation_expression
36 create t.make_self_creation_instruction
37 create t.make_self_precursor (t)
38 create t.make_self_qualified
39 create t.make_self_unqualified
40 create t.make_agent_agent (agent do_nothing)
41 create t.make_agent_creation_expression (agent do_nothing)
42 create t.make_agent_creation_instruction (agent do_nothing)
43 create t.make_agent_precursor (agent do_nothing)
44 create t.make_agent_qualified (agent do_nothing)
45 create t.make_agent_unqualified (agent do_nothing)
46 end
47
48 make_from (x: ANY)
49 -- Make sure `x' is targeted.
50 do
51 create a
52 x.do_nothing
53 end
54
55 feature {NONE} -- Initialization
56
57 make_self_unqualified
58 -- Fulfil targeted conditions for `Current' before initializing all the attributes.
59 do
60 make
61 access (Current) -- VEVI
62 end
63
64 make_self_qualified
65 -- Fulfil targeted conditions for `Current' before initializing all the attributes.
66 local
67 t: TEST
68 do
69 create t.make
70 make
71 t.access (Current) -- VEVI
72 end
73
74 make_self_precursor (x: ANY)
75 -- Fulfil targeted conditions for `Current' before initializing all the attributes.
76 do
77 make
78 Precursor (Current) -- VEVI
79 end
80
81 make_self_creation_instruction
82 -- Fulfil targeted conditions for `Current' before initializing all the attributes.
83 local
84 t: TEST
85 do
86 make
87 create t.make_from (Current) -- VEVI
88 end
89
90 make_self_creation_expression
91 -- Fulfil targeted conditions for `Current' before initializing all the attributes.
92 do
93 make
94 if create {TEST}.make_from (Current) = Void then end -- VEVI
95 end
96
97 make_self_agent
98 -- Fulfil targeted conditions for `Current' before initializing all the attributes.
99 local
100 y: PROCEDURE [ANY, TUPLE]
101 do
102 make
103 y := agent (z: ANY) do z.do_nothing end (Current) -- VEVI
104 end
105
106 make_agent_unqualified (x: PROCEDURE [ANY, TUPLE])
107 -- Fulfil targeted conditions for agent `x' before initializing all the attributes of `Current'.
108 do
109 make
110 access (x) -- VEVI
111 end
112
113 make_agent_qualified (x: PROCEDURE [ANY, TUPLE])
114 -- Fulfil targeted conditions for agent `x' before initializing all the attributes of `Current'.
115 local
116 t: TEST
117 do
118 create t.make
119 make
120 t.access (x) -- VEVI
121 end
122
123 make_agent_precursor (x: ANY)
124 -- Fulfil targeted conditions for agent `x' before initializing all the attributes of `Current'.
125 do
126 make
127 Precursor (x) -- VEVI
128 end
129
130 make_agent_creation_instruction (x: PROCEDURE [ANY, TUPLE])
131 -- Fulfil targeted conditions for agent `x' before initializing all the attributes of `Current'.
132 local
133 t: TEST
134 do
135 make
136 create t.make_from (x) -- VEVI
137 end
138
139 make_agent_creation_expression (x: PROCEDURE [ANY, TUPLE])
140 -- Fulfil targeted conditions for agent `x' before initializing all the attributes of `Current'.
141 do
142 make
143 if create {TEST}.make_from (x) = Void then end -- VEVI
144 end
145
146 make_agent_agent (x: PROCEDURE [ANY, TUPLE])
147 -- Fulfil targeted conditions for agent `x' before initializing all the attributes of `Current'.
148 local
149 y: PROCEDURE [ANY, TUPLE]
150 do
151 make
152 y := agent (z: ANY) do z.do_nothing end (x) -- VEVI
153 end
154
155 feature -- Access
156
157 access (x: ANY)
158 -- Make sure `x' is targeted.
159 do
160 x.do_nothing
161 end
162
163 feature {NONE} -- Access
164
165 a: ANY
166 -- Storage.
167
168 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23