blob: 5f90db388edc8085023ffc7d6500843a2473d77a (
plain)
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
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
|
---Copyright: Matra Datavision 1992
---Version:
---History:
-- Version Date Purpose
-- 10/12/92 Creation
generic class HDoubleMap from PCollection ( Key as Storable ;
Item as Storable ;
KeyHash as Hash(Key) ;
ItemHash as Hash(Item) )
---Purpose: A double map is a Collection of bindings between two objects.
-- It can be retrieved either by its Key or its Item;a hash code
-- value must be computed for both.
inherits Persistent from Standard
raises
MultiplyDefined from Standard,
NoMoreObject from Standard,
NoSuchObject from Standard
class DoubleMapNode from PCollection inherits PManaged from PMMgt
---Purpose: Class used in the implementation of the DoubleMap class. It stores
-- Key and Item and two references to DoubleMapNode, one used to make Hashed
-- list for Key , the other to make Hashed list for Item.
is
Create( aKey : Key ; anItem : Item ; nextKey : DoubleMapNode ;
nextItem : DoubleMapNode ) returns mutable DoubleMapNode;
---Purpose: Creates a DoubleMapNode.
SetNextKey ( me : mutable ; aNode : DoubleMapNode ) is static;
---Level: Internal
---Purpose: Sets the next node of Key hashed list.
SetNextItem ( me : mutable ; aNode : DoubleMapNode ) is static;
---Level: Internal
---Purpose: Sets the next node of Item hashed list.
GetKey ( me ) returns any Key is static;
---Level: Internal
---Purpose: Returns the key.
GetItem ( me ) returns any Item is static;
---Level: Internal
---Purpose: Returns the item.
NextKey ( me ) returns any DoubleMapNode is static;
---Level: Internal
---Purpose: Returns the next node of Key hashed list.
NextItem ( me ) returns any DoubleMapNode is static;
---Level: Internal
---Purpose: Returns the next node of Item hashed list.
fields
myKey : Key;
myItem : Item;
myNextKey : DoubleMapNode;
myNextItem : DoubleMapNode;
end DoubleMapNode;
class ArrayDoubleMap instantiates HArray1 from PCollection (DoubleMapNode);
class DoubleMapIterator
---Purpose: This class provides services to iterate on all bindings of
-- a DoubleMap.
raises
NoMoreObject from Standard,
NoSuchObject from Standard
is
Create ( aDoubleMap : HDoubleMap from PCollection)
returns DoubleMapIterator;
---Purpose: Creates an iterator of <aDoubleMap>.
More ( me ) returns Boolean;
---Level: Public
---Purpose: Returns True if there are others couples (Item,Key).
Next ( me : in out )
---Level: Public
---Purpose: Sets the iterator to the next couple (Item,Key).
raises NoMoreObject from Standard;
KeyValue ( me ) returns Key
---Level: Public
---Purpose: Returns the Key value corresponding to the current position
-- of the iterator.
raises NoSuchObject from Standard;
ItemValue ( me ) returns Item
---Level: Public
---Purpose: Returns the Item value corresponding to the current position
-- of the iterator.
raises NoSuchObject from Standard;
fields
myBuckets : ArrayDoubleMap;
myCurrentIndex : Integer;
myCurrentNode : DoubleMapNode;
end DoubleMapIterator;
is
Create ( NbBuckets : Integer; fhKey : KeyHash; fhItem : ItemHash )
returns mutable HDoubleMap;
---Purpose: Creates a double map of <NbBuckets> entries.
NbBuckets ( me ) returns Integer;
---Level: Public
---Purpose: Returns the number of entries in the double map <me>.
Extent ( me ) returns Integer;
---Level: Public
---Purpose: Returns the number of couples (<Key>,<Item>) stored in <me>.
Bind ( me : mutable ; aKey : Key; anItem : Item )
---Level: Public
---Purpose: Adds the pair (<aKey>,<anItem>) to <me>.
---Trigger: Raises an exception if the binding already exists.
raises MultiplyDefined from Standard;
FindItem ( me ; aKey : Key ) returns any Item
---Level: Public
---Purpose: Returns the item bounded by <aKey>.
---Trigger: Raises an exception if the binding does not exist.
raises NoSuchObject from Standard;
FindKey ( me ; anItem : Item ) returns any Key
---Level: Public
---Purpose: Returns the key bounded by <anItem>.
raises NoSuchObject from Standard;
---Trigger: Raises if the binding does not exist.
UnbindKey ( me : mutable ; aKey : Key )
---Level: Public
---Purpose: Unbinds the couple keyed by <aKey>.
raises NoSuchObject from Standard;
---Trigger: Raises if the binding does not exist.
UnbindItem ( me : mutable ; anItem : Item )
---Level: Public
---Purpose: Unbinds the couple keyed by <anItem>.
raises NoSuchObject from Standard;
---Trigger: Raises if the binding does not exist.
Clear ( me : mutable );
---Level: Public
---Purpose: Clears the double map.
IsBoundByKey ( me ; aKey : Key ) returns Boolean;
---Level: Public
---Purpose: Returns True if an element is bound by <aKey>.
IsBoundByItem ( me ; anItem : Item ) returns Boolean;
---Level: Public
---Purpose: Returns True if an element is bound by <anItem>.
IsEmpty ( me ) returns Boolean;
---Level: Public
---Purpose: Returns True if the DoubleMap <me> is empty.
GetArrayKey ( me ) returns ArrayDoubleMap is static private;
---Level: Internal
---Purpose: Returns the ArrayDoubleMap for Key.
fields
myNumber : Integer; -- Number of couples
myArrayKey : ArrayDoubleMap;
myArrayItem : ArrayDoubleMap;
myKeyHash : KeyHash;
myItemHash : ItemHash;
friends
class DoubleMapIterator from PCollection
end HDoubleMap;
|
