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

Annotation of /trunk/eweasel/tests/attach102/test5.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 92831 - (hide annotations)
Thu Aug 1 14:20:07 2013 UTC (6 years, 6 months ago) by alexk
File size: 1990 byte(s)
Fixed test by covering erroneously unreported VEVI (bug#18643, test#attach107).
1 alexk 92556 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 alexk 92831 create a
38 alexk 92556 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