IdSet.st
author claus
Wed, 13 Oct 1993 01:19:00 +0100
changeset 3 24d81bf47225
parent 1 a27a279701f8
child 10 4f1f9a91e406
permissions -rw-r--r--
*** empty log message ***
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
3
24d81bf47225 *** empty log message ***
claus
parents: 1
diff changeset
    30
$Header: /cvs/stx/stx/libbasic/Attic/IdSet.st,v 1.3 1993-10-13 00:16:12 claus Exp $
1
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 }"
3
24d81bf47225 *** empty log message ***
claus
parents: 1
diff changeset
    44
     length startIndex probe |
1
a27a279701f8 Initial revision
claus
parents:
diff changeset
    45
a27a279701f8 Initial revision
claus
parents:
diff changeset
    46
    length := contentsArray basicSize.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    47
    startIndex := key identityHash \\ length + 1.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    48
a27a279701f8 Initial revision
claus
parents:
diff changeset
    49
    index := startIndex.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    50
    [true] whileTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    51
        probe := (contentsArray basicAt:index).
a27a279701f8 Initial revision
claus
parents:
diff changeset
    52
        probe == key ifTrue:[^ index].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    53
        probe isNil ifTrue:[^ aBlock value].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    54
a27a279701f8 Initial revision
claus
parents:
diff changeset
    55
        index == length ifTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    56
            index := 1
a27a279701f8 Initial revision
claus
parents:
diff changeset
    57
        ] ifFalse:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    58
	    index := index + 1
a27a279701f8 Initial revision
claus
parents:
diff changeset
    59
	].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    60
        index == startIndex ifTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    61
            ^ aBlock value
a27a279701f8 Initial revision
claus
parents:
diff changeset
    62
        ]
a27a279701f8 Initial revision
claus
parents:
diff changeset
    63
    ]
a27a279701f8 Initial revision
claus
parents:
diff changeset
    64
!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    65
a27a279701f8 Initial revision
claus
parents:
diff changeset
    66
findElementOrNil:key
a27a279701f8 Initial revision
claus
parents:
diff changeset
    67
    "Look for the key in the receiver.  Redefined to compare for
a27a279701f8 Initial revision
claus
parents:
diff changeset
    68
     identity instead of equality"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    69
a27a279701f8 Initial revision
claus
parents:
diff changeset
    70
    |index      "{ Class:SmallInteger }"
3
24d81bf47225 *** empty log message ***
claus
parents: 1
diff changeset
    71
     length startIndex probe |
1
a27a279701f8 Initial revision
claus
parents:
diff changeset
    72
a27a279701f8 Initial revision
claus
parents:
diff changeset
    73
    length := contentsArray basicSize.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    74
    startIndex := key identityHash \\ length + 1.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    75
a27a279701f8 Initial revision
claus
parents:
diff changeset
    76
    index := startIndex.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    77
    [true] whileTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    78
        probe := contentsArray basicAt:index.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    79
        (probe isNil or: [key == probe]) ifTrue:[^ index].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    80
a27a279701f8 Initial revision
claus
parents:
diff changeset
    81
        index == length ifTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    82
            index := 1
a27a279701f8 Initial revision
claus
parents:
diff changeset
    83
        ] ifFalse:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    84
	    index := index + 1
a27a279701f8 Initial revision
claus
parents:
diff changeset
    85
	].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    86
        index == startIndex ifTrue: [
a27a279701f8 Initial revision
claus
parents:
diff changeset
    87
            ^ self grow findElementOrNil:key
a27a279701f8 Initial revision
claus
parents:
diff changeset
    88
        ]
a27a279701f8 Initial revision
claus
parents:
diff changeset
    89
    ]
a27a279701f8 Initial revision
claus
parents:
diff changeset
    90
! !