1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
-- File: Dynamic_MethodInstance.cdl
-- Created: Thu Dec 23 17:26:53 1993
-- Author: Gilles DEBARBOUILLE
-- <gde@mastox>
---Copyright: Matra Datavision 1993
generic class MethodInstance from Dynamic (Dictionary as Transient)
inherits
Method from Dynamic
---Purpose: This class describes the facilities available to
-- manipulate methods objects. It is a generic class
-- because the creation of a MethodInstance requests
-- a specific dictionary of definitions. In a method
-- instance, it is only possible to set
-- VariableInstance which are roughtly a copy of the
-- variable set in the method definition and a
-- pointer on the variable, describing the signature
-- of the complex method in the process of build or
-- addressing the user value.
uses
CString from Standard,
OStream from Standard,
Boolean from Standard,
ModeEnum from Dynamic,
Parameter from Dynamic,
Variable from Dynamic,
VariableNode from Dynamic,
AsciiString from TCollection
is
Create(atype : CString from Standard) returns mutable MethodInstance from Dynamic;
---Level: Public
--- Purpose: Creates a MethodInstance object of the type <atype>.
-- If <atype> is not defined in the dictionary, the object
-- created will have no definition.
Create(amethodinstance : MethodInstance from Dynamic) returns mutable MethodInstance from Dynamic;
---Level: Public
--- Purpose: Creates a MethodInstance with as definition the method
-- instance <amethodinstance>.
Type(me) returns AsciiString from TCollection
---Level: Public
---Purpose: Returns the type of object read in the definition.
is redefined;
Definition(me) returns Method from Dynamic
---Level: Public
---Purpose: Returns a reference to the definition of the
-- MethodInstance.
is static;
Variable(me : mutable ; aparameter : Parameter from Dynamic
; amode : ModeEnum from Dynamic
; avariable : Variable from Dynamic)
---Level: Public
---Purpose: Creates and adds to the instance <me> the variable
-- instance build with <aparameter> and <amode> and
-- adresses the variable .
is static;
Value(me ; aname : CString from Standard
; aparameter : out any Parameter from Dynamic
; amode : out ModeEnum from Dynamic
; avariable : out any Variable from Dynamic) returns Boolean
---Level: Public
---Purpose: Returns True, if there is a variable instance named
-- <aname>, False otherwise. It returns in the argument
-- <aparameter> the signature of the variable, in <amode>
-- the variable is in, out, inout, internal or constant
-- and in <avariable>, the reference to the effective
-- value used by the instance or a reference to the
-- variable defining the signature of the complex method
-- using this instance of method.
is static;
Value(me ; aname : CString from Standard
; aparameter : out any Parameter from Dynamic
; amode : out ModeEnum from Dynamic
; avariablenode : out any VariableNode from Dynamic) returns Boolean from Standard
---Level: Public
---Purpose: Returns True, if there is a variable instance named
-- <aname>, False otherwise. It returns in the argument
-- <aparameter> the signature of the variable, in <amode>
-- the variable is in, out, inout, internal or constant
-- and in <avariablenode>, the head of the effective
-- referenced value used by the instance or the head of
-- the variables reference defining the signature of the
-- complex method using this instance of method.
is static;
Dump(me ; astream : in out OStream from Standard)
---Level: Internal
---Purpose: Useful for debugging.
is redefined;
fields
thedefinition : Method from Dynamic;
end MethodInstance;
|
