author | Claus Gittinger <cg@exept.de> |
Sat, 02 May 2020 21:40:13 +0200 | |
changeset 5476 | 7355a4b11cb6 |
parent 4282 | 241919ca22f1 |
permissions | -rw-r--r-- |
4282 | 1 |
" |
2 |
COPYRIGHT (c) 2013 by Claus Gittinger |
|
3 |
All Rights Reserved |
|
4 |
||
5 |
This software is furnished under a license and may be used |
|
6 |
only in accordance with the terms of that license and with the |
|
7 |
inclusion of the above copyright notice. This software may not |
|
8 |
be provided or otherwise made available to, or used by, any |
|
9 |
other person. No title to or ownership of the software is |
|
10 |
hereby transferred. |
|
11 |
" |
|
2916 | 12 |
"{ Package: 'stx:libbasic2' }" |
13 |
||
3671 | 14 |
"{ NameSpace: Smalltalk }" |
15 |
||
2916 | 16 |
SequenceableCollection subclass:#SegmentedOrderedCollection |
17 |
instanceVariableNames:'segments maxSegmentSize tally' |
|
18 |
classVariableNames:'' |
|
19 |
poolDictionaries:'' |
|
20 |
category:'Collections-Sequenceable' |
|
21 |
! |
|
22 |
||
23 |
!SegmentedOrderedCollection class methodsFor:'documentation'! |
|
24 |
||
4282 | 25 |
copyright |
26 |
" |
|
27 |
COPYRIGHT (c) 2013 by Claus Gittinger |
|
28 |
All Rights Reserved |
|
29 |
||
30 |
This software is furnished under a license and may be used |
|
31 |
only in accordance with the terms of that license and with the |
|
32 |
inclusion of the above copyright notice. This software may not |
|
33 |
be provided or otherwise made available to, or used by, any |
|
34 |
other person. No title to or ownership of the software is |
|
35 |
hereby transferred. |
|
36 |
" |
|
37 |
! |
|
38 |
||
2916 | 39 |
documentation |
40 |
" |
|
3328
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
41 |
SegmentedOrderedCollections are intended as a replacement for huge OrderedCollections or Lists. |
2948
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
42 |
They keep their elements in chunks (segments), allowing for fast |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
43 |
adding/removing at either end AND relatively fast add/remove inside the collection. |
4146 | 44 |
Compared to regular orderedColletions, there is not much of a difference if |
45 |
elements are added at either end. |
|
4241 | 46 |
However, when adding/removing inner elements, the performance of SegmentedOrderedCollections |
4146 | 47 |
is much better above a certain number of elements (actually quite big). |
3328
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
48 |
|
4146 | 49 |
However, notice again: |
50 |
when only removing at either end only, an OrderedCollection is faster. |
|
2916 | 51 |
|
2948
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
52 |
The break-even in performance depends on the number of elements and the usage pattern. |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
53 |
Consider it with (say) > 10000 elements and many adds/removes from the inside. |
2916 | 54 |
|
3328
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
55 |
This class was added to support huge selection-in-lists (>100k elements), which are |
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
56 |
constantly changing by adding/removing elements at arbitrary positions. |
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
57 |
|
2948
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
58 |
Possibly unfinished (may need optimized search and replace). |
2916 | 59 |
|
60 |
[author:] |
|
61 |
Claus Gittinger |
|
62 |
||
63 |
[see also:] |
|
64 |
Array OrderedCollection BTree |
|
65 |
" |
|
66 |
! ! |
|
67 |
||
68 |
!SegmentedOrderedCollection class methodsFor:'instance creation'! |
|
69 |
||
70 |
new |
|
71 |
"return an initialized instance" |
|
72 |
||
73 |
^ self basicNew initialize. |
|
2948
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
74 |
! |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
75 |
|
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
76 |
new:size |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
77 |
"return an initialized instance with space for size elements. |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
78 |
However, be aware that the logical size is 0" |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
79 |
|
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
80 |
^ self basicNew initialize. |
2916 | 81 |
! ! |
82 |
||
83 |
!SegmentedOrderedCollection methodsFor:'accessing'! |
|
84 |
||
85 |
at:index |
|
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
86 |
"return the element at index, anInteger" |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
87 |
|
2916 | 88 |
|segStart segEnd| |
89 |
||
90 |
(index between:1 and:tally) ifFalse:[ |
|
91 |
^ self indexNotIntegerOrOutOfBounds:index |
|
92 |
]. |
|
93 |
segStart := 1. |
|
94 |
segments do:[:seg | |
|
95 |
segEnd := segStart + (seg size - 1). |
|
96 |
(index between:segStart and:segEnd) ifTrue:[ |
|
97 |
^ seg at:(index - segStart + 1). |
|
98 |
]. |
|
99 |
segStart := segEnd + 1. |
|
100 |
]. |
|
101 |
self error:'oops - should not be here' |
|
102 |
! |
|
103 |
||
104 |
at:index put:newElement |
|
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
105 |
"set the element at index, to be anInteger. |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
106 |
Return anObject (sigh)." |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
107 |
|
2916 | 108 |
|segStart segEnd| |
109 |
||
110 |
(index between:1 and:tally) ifFalse:[ |
|
111 |
^ self indexNotIntegerOrOutOfBounds:index |
|
112 |
]. |
|
113 |
||
114 |
segStart := 1. |
|
115 |
segments do:[:seg | |
|
116 |
segEnd := segStart + (seg size - 1). |
|
117 |
(index between:segStart and:segEnd) ifTrue:[ |
|
118 |
^ seg at:(index - segStart + 1) put:newElement. |
|
119 |
]. |
|
120 |
segStart := segEnd + 1. |
|
121 |
]. |
|
122 |
self error:'oops - should not be here' |
|
123 |
! |
|
124 |
||
125 |
first |
|
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
126 |
"return the first element" |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
127 |
|
2916 | 128 |
tally == 0 ifTrue:[^ self emptyCollectionError]. |
129 |
^ segments first first |
|
130 |
! |
|
131 |
||
132 |
last |
|
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
133 |
"return the last element" |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
134 |
|
2916 | 135 |
tally == 0 ifTrue:[^ self emptyCollectionError]. |
136 |
^ segments last last |
|
137 |
! ! |
|
138 |
||
139 |
!SegmentedOrderedCollection methodsFor:'adding & removing'! |
|
140 |
||
141 |
add:anObject |
|
2935
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
142 |
"add anObject to the end. |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
143 |
Returns the object (sigh)" |
2916 | 144 |
|
145 |
|seg| |
|
146 |
||
147 |
(seg := segments last) size >= maxSegmentSize ifTrue:[ |
|
148 |
self splitSegmentAt:(segments size). |
|
149 |
seg := segments last. |
|
150 |
]. |
|
151 |
seg add:anObject. |
|
152 |
tally := tally + 1. |
|
3328
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
153 |
self changed:#insert: with:tally. |
2935
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
154 |
^ anObject. |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
155 |
! |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
156 |
|
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
157 |
add:anObject beforeIndex:index |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
158 |
"insert the first argument, anObject into the collection before slot index. |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
159 |
Return the receiver (sigh - ST-80 compatibility). |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
160 |
|
4004 | 161 |
Notice that this modifies the receiver, NOT a copy." |
2935
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
162 |
|
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
163 |
|prevSeg segStart| |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
164 |
|
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
165 |
index == (tally+1) ifTrue:[ |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
166 |
^ self add:anObject |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
167 |
]. |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
168 |
segStart := 1. |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
169 |
segments do:[:seg | |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
170 |
|segEnd| |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
171 |
|
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
172 |
segEnd := segStart + (seg size - 1). |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
173 |
(index between:segStart and:segEnd) ifTrue:[ |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
174 |
index == segStart ifTrue:[ |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
175 |
prevSeg notNil ifTrue:[ |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
176 |
prevSeg size < seg size ifTrue:[ |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
177 |
prevSeg add:anObject. |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
178 |
tally := tally + 1. |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
179 |
^ anObject |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
180 |
]. |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
181 |
]. |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
182 |
]. |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
183 |
seg add:anObject beforeIndex:(index - segStart + 1). |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
184 |
tally := tally + 1. |
3328
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
185 |
self changed:#insert: with:index. |
2935
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
186 |
^ anObject |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
187 |
]. |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
188 |
segStart := segEnd + 1. |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
189 |
prevSeg := seg. |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
190 |
]. |
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
191 |
self error:'oops - should not be here' |
2916 | 192 |
! |
193 |
||
194 |
addFirst:anObject |
|
195 |
"add anObject to the beginning (insert as new first element)." |
|
196 |
||
197 |
|seg| |
|
198 |
||
199 |
(seg := segments first) size >= maxSegmentSize ifTrue:[ |
|
200 |
self splitSegmentAt:1. |
|
201 |
seg := segments first. |
|
202 |
]. |
|
203 |
seg addFirst:anObject. |
|
204 |
tally := tally + 1. |
|
3328
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
205 |
self changed:#insert: with:1 |
2916 | 206 |
! |
207 |
||
3056
fef823bb10e4
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3014
diff
changeset
|
208 |
removeAll |
fef823bb10e4
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3014
diff
changeset
|
209 |
"remove all elements from the receiver. Returns the receiver." |
fef823bb10e4
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3014
diff
changeset
|
210 |
|
3328
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
211 |
|prevSize| |
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
212 |
|
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
213 |
prevSize := tally. |
3066
5ec162bc812d
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3056
diff
changeset
|
214 |
segments := OrderedCollection with:(OrderedCollection new). |
3056
fef823bb10e4
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3014
diff
changeset
|
215 |
tally := 0. |
3328
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
216 |
self changed:#removeFrom: with:(Array with:1 with:prevSize) |
3066
5ec162bc812d
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3056
diff
changeset
|
217 |
|
3328
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
218 |
|
3066
5ec162bc812d
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3056
diff
changeset
|
219 |
"Modified: / 30-07-2013 / 19:31:05 / cg" |
3056
fef823bb10e4
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3014
diff
changeset
|
220 |
! |
fef823bb10e4
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3014
diff
changeset
|
221 |
|
2916 | 222 |
removeFirst |
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
223 |
"remove the first element from the collection; return the element. |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
224 |
If there is no element in the receiver collection, raise an error." |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
225 |
|
3267
4cd1614af5ca
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3211
diff
changeset
|
226 |
^ self removeFirstIfAbsent:[self emptyCollectionError] |
4cd1614af5ca
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3211
diff
changeset
|
227 |
! |
4cd1614af5ca
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3211
diff
changeset
|
228 |
|
4cd1614af5ca
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3211
diff
changeset
|
229 |
removeFirstIfAbsent:exceptionBlock |
4cd1614af5ca
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3211
diff
changeset
|
230 |
"remove the first element from the collection; return the element. |
4cd1614af5ca
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3211
diff
changeset
|
231 |
If there is no element in the receiver collection, return the value from |
4cd1614af5ca
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3211
diff
changeset
|
232 |
exceptionBlock. |
4cd1614af5ca
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3211
diff
changeset
|
233 |
Destructive: modifies the receiver" |
4cd1614af5ca
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3211
diff
changeset
|
234 |
|
2916 | 235 |
|seg el| |
236 |
||
237 |
tally == 0 ifTrue:[ |
|
3267
4cd1614af5ca
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3211
diff
changeset
|
238 |
^ exceptionBlock value |
2916 | 239 |
]. |
240 |
seg := segments first. |
|
241 |
el := seg removeFirst. |
|
242 |
seg isEmpty ifTrue:[ |
|
3671 | 243 |
tally == 1 ifTrue:[ |
244 |
segments := OrderedCollection with:(OrderedCollection new). |
|
245 |
] ifFalse:[ |
|
246 |
segments removeFirst. |
|
247 |
] |
|
2916 | 248 |
]. |
249 |
tally := tally - 1. |
|
3328
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
250 |
self changed:#remove: with:1. |
2916 | 251 |
^ el |
252 |
! |
|
253 |
||
254 |
removeFromIndex:startIndex toIndex:endIndex |
|
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
255 |
"remove the elements stored under startIndex up to and including |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
256 |
the elements under stopIndex. |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
257 |
Return the receiver. |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
258 |
Returning the receiver here is a historic leftover - it may change. |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
259 |
Please use yourself in a cascade, if you need the receiver's value |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
260 |
when using this method." |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
261 |
|
2916 | 262 |
|segStart segEnd removing segIndex nextSegIndex seg| |
263 |
||
264 |
(startIndex between:1 and:tally) ifFalse:[ |
|
265 |
^ self indexNotIntegerOrOutOfBounds:startIndex |
|
266 |
]. |
|
267 |
(endIndex between:1 and:tally) ifFalse:[ |
|
268 |
^ self indexNotIntegerOrOutOfBounds:endIndex |
|
269 |
]. |
|
270 |
||
271 |
segStart := 1. |
|
272 |
segIndex := 1. |
|
273 |
removing := false. |
|
3211 | 274 |
[ |
2916 | 275 |
seg := segments at:segIndex. |
276 |
nextSegIndex := segIndex + 1. |
|
277 |
||
278 |
segEnd := segStart + (seg size - 1). |
|
279 |
||
280 |
removing ifFalse:[ |
|
2935
d15b179aabfb
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2916
diff
changeset
|
281 |
"still searching for the segment" |
2916 | 282 |
(startIndex between:segStart and:segEnd) ifTrue:[ |
283 |
(endIndex between:segStart and:segEnd) ifTrue:[ |
|
284 |
seg removeFromIndex:(startIndex - segStart + 1) toIndex:(endIndex - segStart + 1). |
|
285 |
seg isEmpty ifTrue:[ |
|
286 |
segments removeAtIndex:segIndex. |
|
3671 | 287 |
segments isEmpty ifTrue:[ |
288 |
segments := OrderedCollection with:(OrderedCollection new). |
|
289 |
] |
|
2916 | 290 |
]. |
291 |
tally := tally - (endIndex - startIndex + 1). |
|
3328
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
292 |
self changed:#removeFrom: with:(Array with:startIndex with:endIndex). |
2916 | 293 |
^ self. |
294 |
]. |
|
295 |
seg removeFromIndex:(startIndex - segStart + 1). |
|
296 |
seg isEmpty ifTrue:[ |
|
297 |
segments removeAtIndex:segIndex. |
|
3671 | 298 |
segments isEmpty ifTrue:[ |
299 |
segments := OrderedCollection with:(OrderedCollection new). |
|
300 |
]. |
|
2916 | 301 |
nextSegIndex := segIndex. |
302 |
]. |
|
303 |
removing := true. |
|
304 |
]. |
|
305 |
] ifTrue:[ |
|
306 |
(endIndex between:segStart and:segEnd) ifTrue:[ |
|
307 |
seg removeFromIndex:1 toIndex:(endIndex - segStart + 1). |
|
308 |
seg isEmpty ifTrue:[ |
|
309 |
segments removeAtIndex:segIndex. |
|
3671 | 310 |
segments isEmpty ifTrue:[ |
311 |
segments := OrderedCollection with:(OrderedCollection new). |
|
312 |
] |
|
2916 | 313 |
]. |
314 |
tally := tally - (endIndex - startIndex + 1). |
|
3328
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
315 |
self changed:#removeFrom: with:(Array with:startIndex with:endIndex). |
2916 | 316 |
^ self. |
317 |
] ifFalse:[ |
|
318 |
"/ remove the whole segment |
|
319 |
segments removeAtIndex:segIndex. |
|
3671 | 320 |
segments isEmpty ifTrue:[ |
321 |
segments := OrderedCollection with:(OrderedCollection new). |
|
322 |
]. |
|
2916 | 323 |
nextSegIndex := segIndex. |
324 |
] |
|
325 |
]. |
|
326 |
segStart := segEnd + 1. |
|
327 |
segIndex := nextSegIndex. |
|
3211 | 328 |
] loop. |
2916 | 329 |
! |
330 |
||
331 |
removeLast |
|
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
332 |
"remove the last element from the collection; return the element" |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
333 |
|
2916 | 334 |
|seg el| |
335 |
||
336 |
tally == 0 ifTrue:[ |
|
337 |
^ self emptyCollectionError |
|
338 |
]. |
|
339 |
seg := segments last. |
|
340 |
el := seg removeLast. |
|
341 |
seg isEmpty ifTrue:[ |
|
3671 | 342 |
tally == 1 ifTrue:[ |
343 |
segments := OrderedCollection with:(OrderedCollection new). |
|
344 |
] ifFalse:[ |
|
345 |
segments removeLast. |
|
346 |
] |
|
2916 | 347 |
]. |
348 |
tally := tally - 1. |
|
3328
deaef41ffd6f
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3327
diff
changeset
|
349 |
self changed:#remove: with:(1 + tally). |
2916 | 350 |
^ el |
351 |
! ! |
|
352 |
||
353 |
!SegmentedOrderedCollection methodsFor:'enumerating'! |
|
354 |
||
355 |
do:aBlock |
|
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
356 |
"evaluate the argument, aBlock for every element in the collection." |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
357 |
|
2916 | 358 |
segments do:[:seg | |
359 |
seg do:aBlock |
|
360 |
]. |
|
361 |
! |
|
362 |
||
363 |
keysAndValuesDo:aBlock |
|
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
364 |
"evaluate the argument, aBlock for every element in the collection, |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
365 |
passing both index and element as arguments." |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
366 |
|
2916 | 367 |
|idx| |
368 |
||
369 |
idx := 1. |
|
370 |
segments do:[:seg | |
|
371 |
seg do:[:each | |
|
372 |
aBlock value:idx value:each. |
|
373 |
idx := idx + 1. |
|
374 |
] |
|
375 |
]. |
|
376 |
! ! |
|
377 |
||
2948
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
378 |
!SegmentedOrderedCollection methodsFor:'grow & shrink'! |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
379 |
|
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
380 |
grow:newSize |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
381 |
"adjust the logical size to newSize" |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
382 |
|
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
383 |
|numExtraSegments segStart segEnd segIndex seg| |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
384 |
|
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
385 |
newSize == 0 ifTrue:[ |
3671 | 386 |
segments := OrderedCollection with:(OrderedCollection new). |
2948
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
387 |
tally := 0. |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
388 |
^ self |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
389 |
]. |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
390 |
|
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
391 |
newSize < tally ifTrue:[ |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
392 |
"/ shrinking |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
393 |
segStart := 1. |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
394 |
segIndex := 1. |
3211 | 395 |
[ |
2948
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
396 |
seg := segments at:segIndex. |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
397 |
segEnd := segStart + (seg size - 1). |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
398 |
(newSize between:segStart and:segEnd) ifTrue:[ |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
399 |
(segments at:segIndex) removeFromIndex:(newSize - segStart + 1 + 1). |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
400 |
segments removeFromIndex:segIndex+1. |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
401 |
tally := newSize. |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
402 |
^ self |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
403 |
]. |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
404 |
segStart := segEnd + 1. |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
405 |
segIndex := segIndex + 1. |
3211 | 406 |
] loop. |
2948
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
407 |
"/ not reached |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
408 |
]. |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
409 |
|
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
410 |
"/ growing |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
411 |
numExtraSegments := (newSize - tally) // maxSegmentSize + 1. |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
412 |
numExtraSegments timesRepeat:[ |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
413 |
segments add:((OrderedCollection new:maxSegmentSize) grow:maxSegmentSize) |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
414 |
]. |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
415 |
tally := newSize |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
416 |
! ! |
dc6efd25377b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2935
diff
changeset
|
417 |
|
2916 | 418 |
!SegmentedOrderedCollection methodsFor:'initialization'! |
419 |
||
420 |
initialize |
|
421 |
"Invoked when a new instance is created." |
|
422 |
||
3066
5ec162bc812d
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3056
diff
changeset
|
423 |
segments := OrderedCollection with:(OrderedCollection new). |
2916 | 424 |
maxSegmentSize := 200. |
425 |
tally := 0. |
|
3066
5ec162bc812d
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3056
diff
changeset
|
426 |
|
5ec162bc812d
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
3056
diff
changeset
|
427 |
"Modified: / 30-07-2013 / 19:31:12 / cg" |
2916 | 428 |
! ! |
429 |
||
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
430 |
!SegmentedOrderedCollection methodsFor:'private'! |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
431 |
|
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
432 |
splitSegmentAt:segmentIndex |
3838 | 433 |
|seg segSize rightPart| |
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
434 |
|
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
435 |
seg := segments at:segmentIndex. |
3838 | 436 |
segSize := seg size. |
437 |
||
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
438 |
rightPart := OrderedCollection new:20. |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
439 |
rightPart grow:10. |
3838 | 440 |
rightPart replaceFrom:1 to:10 with:seg startingAt:(segSize - 9). |
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
441 |
|
3838 | 442 |
seg removeFromIndex:(segSize - 9) toIndex:segSize. |
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
443 |
|
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
444 |
segments add:rightPart afterIndex:segmentIndex. |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
445 |
! ! |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
446 |
|
2916 | 447 |
!SegmentedOrderedCollection methodsFor:'queries'! |
448 |
||
3014 | 449 |
isFixedSize |
450 |
"return true if the receiver cannot grow" |
|
451 |
||
452 |
^ false |
|
453 |
! |
|
454 |
||
2916 | 455 |
size |
2949
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
456 |
"return the number of elements in the collection" |
bc40924d516b
class: SegmentedOrderedCollection
Claus Gittinger <cg@exept.de>
parents:
2948
diff
changeset
|
457 |
|
2916 | 458 |
^ tally |
459 |
! ! |
|
460 |
||
461 |
!SegmentedOrderedCollection class methodsFor:'documentation'! |
|
462 |
||
463 |
version |
|
3671 | 464 |
^ '$Header$' |
2916 | 465 |
! |
466 |
||
467 |
version_CVS |
|
3671 | 468 |
^ '$Header$' |
2916 | 469 |
! ! |
470 |