1 |
class |
2 |
TEST_PROC [OPEN_ARGS -> TUPLE create default_create end] |
3 |
|
4 |
inherit |
5 |
PROCEDURE [OPEN_ARGS] |
6 |
redefine |
7 |
call |
8 |
end |
9 |
|
10 |
create |
11 |
make |
12 |
|
13 |
feature -- Initialization |
14 |
|
15 |
make (a_unbound_procedure: like unbound_procedure) |
16 |
do |
17 |
unbound_procedure := a_unbound_procedure |
18 |
unbound_arguments := unbound_procedure.empty_operands |
19 |
|
20 |
is_target_closed := True |
21 |
open_count := empty_operands.count |
22 |
end |
23 |
|
24 |
feature -- Access |
25 |
|
26 |
unbound_arguments: TUPLE |
27 |
unbound_procedure: PROCEDURE |
28 |
|
29 |
feature -- Basic operations |
30 |
|
31 |
call alias "()" (args: OPEN_ARGS) |
32 |
-- <Precursor> |
33 |
do |
34 |
unbound_arguments [1] := 47 |
35 |
unbound_procedure.call (unbound_arguments) |
36 |
end |
37 |
end |
38 |
|