IdSet.st
author claus
Fri, 16 Jul 1993 11:39:45 +0200
changeset 1 a27a279701f8
child 3 24d81bf47225
permissions -rw-r--r--
Initial revision
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
1
a27a279701f8 Initial revision
claus
parents:
diff changeset
     1
"
a27a279701f8 Initial revision
claus
parents:
diff changeset
     2
 COPYRIGHT (c) 1993 by Claus Gittinger
a27a279701f8 Initial revision
claus
parents:
diff changeset
     3
              All Rights Reserved
a27a279701f8 Initial revision
claus
parents:
diff changeset
     4
a27a279701f8 Initial revision
claus
parents:
diff changeset
     5
 This software is furnished under a license and may be used
a27a279701f8 Initial revision
claus
parents:
diff changeset
     6
 only in accordance with the terms of that license and with the
a27a279701f8 Initial revision
claus
parents:
diff changeset
     7
 inclusion of the above copyright notice.   This software may not
a27a279701f8 Initial revision
claus
parents:
diff changeset
     8
 be provided or otherwise made available to, or used by, any
a27a279701f8 Initial revision
claus
parents:
diff changeset
     9
 other person.  No title to or ownership of the software is
a27a279701f8 Initial revision
claus
parents:
diff changeset
    10
 hereby transferred.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    11
"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    12
a27a279701f8 Initial revision
claus
parents:
diff changeset
    13
Set subclass:#IdentitySet
a27a279701f8 Initial revision
claus
parents:
diff changeset
    14
         instanceVariableNames:''
a27a279701f8 Initial revision
claus
parents:
diff changeset
    15
         classVariableNames:''
a27a279701f8 Initial revision
claus
parents:
diff changeset
    16
         poolDictionaries:''
a27a279701f8 Initial revision
claus
parents:
diff changeset
    17
         category:'Collections-Unordered'
a27a279701f8 Initial revision
claus
parents:
diff changeset
    18
!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    19
a27a279701f8 Initial revision
claus
parents:
diff changeset
    20
IdentitySet comment:'
a27a279701f8 Initial revision
claus
parents:
diff changeset
    21
a27a279701f8 Initial revision
claus
parents:
diff changeset
    22
COPYRIGHT (c) 1993 by Claus Gittinger
a27a279701f8 Initial revision
claus
parents:
diff changeset
    23
              All Rights Reserved
a27a279701f8 Initial revision
claus
parents:
diff changeset
    24
a27a279701f8 Initial revision
claus
parents:
diff changeset
    25
same as a Set but compares elements using == (i.e. they must be identical
a27a279701f8 Initial revision
claus
parents:
diff changeset
    26
- not just equal in structure).
a27a279701f8 Initial revision
claus
parents:
diff changeset
    27
Since compare is on identity, hashing is also done via
a27a279701f8 Initial revision
claus
parents:
diff changeset
    28
identityHash instead of hash.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    29
a27a279701f8 Initial revision
claus
parents:
diff changeset
    30
%W% %E%
a27a279701f8 Initial revision
claus
parents:
diff changeset
    31
a27a279701f8 Initial revision
claus
parents:
diff changeset
    32
written jan 93 by claus
a27a279701f8 Initial revision
claus
parents:
diff changeset
    33
'!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    34
a27a279701f8 Initial revision
claus
parents:
diff changeset
    35
!IdentitySet methodsFor:'private'!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    36
a27a279701f8 Initial revision
claus
parents:
diff changeset
    37
find:key ifAbsent:aBlock
a27a279701f8 Initial revision
claus
parents:
diff changeset
    38
    "Look for the key in the receiver.  If it is found, return
a27a279701f8 Initial revision
claus
parents:
diff changeset
    39
     the index of the slot containing the key, otherwise
a27a279701f8 Initial revision
claus
parents:
diff changeset
    40
     return the value of evaluating aBlock.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    41
     Redefined to compare for identity instead of equality"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    42
a27a279701f8 Initial revision
claus
parents:
diff changeset
    43
    |index      "{ Class:SmallInteger }"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    44
     length     "{ Class:SmallInteger }"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    45
     startIndex "{ Class:SmallInteger }" 
a27a279701f8 Initial revision
claus
parents:
diff changeset
    46
     probe |
a27a279701f8 Initial revision
claus
parents:
diff changeset
    47
a27a279701f8 Initial revision
claus
parents:
diff changeset
    48
    length := contentsArray basicSize.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    49
    startIndex := key identityHash \\ length + 1.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    50
a27a279701f8 Initial revision
claus
parents:
diff changeset
    51
    index := startIndex.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    52
    [true] whileTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    53
        probe := (contentsArray basicAt:index).
a27a279701f8 Initial revision
claus
parents:
diff changeset
    54
        probe == key ifTrue:[^ index].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    55
        probe isNil ifTrue:[^ aBlock value].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    56
a27a279701f8 Initial revision
claus
parents:
diff changeset
    57
        index == length ifTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    58
            index := 1
a27a279701f8 Initial revision
claus
parents:
diff changeset
    59
        ] ifFalse:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    60
	    index := index + 1
a27a279701f8 Initial revision
claus
parents:
diff changeset
    61
	].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    62
        index == startIndex ifTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    63
            ^ aBlock value
a27a279701f8 Initial revision
claus
parents:
diff changeset
    64
        ]
a27a279701f8 Initial revision
claus
parents:
diff changeset
    65
    ]
a27a279701f8 Initial revision
claus
parents:
diff changeset
    66
!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    67
a27a279701f8 Initial revision
claus
parents:
diff changeset
    68
findElementOrNil:key
a27a279701f8 Initial revision
claus
parents:
diff changeset
    69
    "Look for the key in the receiver.  Redefined to compare for
a27a279701f8 Initial revision
claus
parents:
diff changeset
    70
     identity instead of equality"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    71
a27a279701f8 Initial revision
claus
parents:
diff changeset
    72
    |index      "{ Class:SmallInteger }"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    73
     length     "{ Class:SmallInteger }"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    74
     startIndex "{ Class:SmallInteger }"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    75
     probe |
a27a279701f8 Initial revision
claus
parents:
diff changeset
    76
a27a279701f8 Initial revision
claus
parents:
diff changeset
    77
    length := contentsArray basicSize.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    78
    startIndex := key identityHash \\ length + 1.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    79
a27a279701f8 Initial revision
claus
parents:
diff changeset
    80
    index := startIndex.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    81
    [true] whileTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    82
        probe := contentsArray basicAt:index.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    83
        (probe isNil or: [key == probe]) ifTrue:[^ index].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    84
a27a279701f8 Initial revision
claus
parents:
diff changeset
    85
        index == length ifTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    86
            index := 1
a27a279701f8 Initial revision
claus
parents:
diff changeset
    87
        ] ifFalse:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    88
	    index := index + 1
a27a279701f8 Initial revision
claus
parents:
diff changeset
    89
	].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    90
        index == startIndex ifTrue: [
a27a279701f8 Initial revision
claus
parents:
diff changeset
    91
            ^ self grow findElementOrNil:key
a27a279701f8 Initial revision
claus
parents:
diff changeset
    92
        ]
a27a279701f8 Initial revision
claus
parents:
diff changeset
    93
    ]
a27a279701f8 Initial revision
claus
parents:
diff changeset
    94
! !