IdentityDictionary.st
author claus
Mon, 04 Oct 1993 11:32:33 +0100
changeset 2 6526dde5f3ac
parent 1 a27a279701f8
child 3 24d81bf47225
permissions -rw-r--r--
2.7.2
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) 1992 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
Dictionary subclass:#IdentityDictionary
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
IdentityDictionary comment:'
a27a279701f8 Initial revision
claus
parents:
diff changeset
    21
a27a279701f8 Initial revision
claus
parents:
diff changeset
    22
COPYRIGHT (c) 1992 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 Dictionary but key must be identical - not just equal.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    26
Since compare is on identity keys, hashing is also done via
a27a279701f8 Initial revision
claus
parents:
diff changeset
    27
identityHash instead of hash.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    28
a27a279701f8 Initial revision
claus
parents:
diff changeset
    29
%W% %E%
a27a279701f8 Initial revision
claus
parents:
diff changeset
    30
a27a279701f8 Initial revision
claus
parents:
diff changeset
    31
written jul 92 by claus
a27a279701f8 Initial revision
claus
parents:
diff changeset
    32
'!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    33
a27a279701f8 Initial revision
claus
parents:
diff changeset
    34
!IdentityDictionary methodsFor:'private'!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    35
a27a279701f8 Initial revision
claus
parents:
diff changeset
    36
findKeyOrNil:key
a27a279701f8 Initial revision
claus
parents:
diff changeset
    37
    "Look for the key in the receiver.  If it is found, return
a27a279701f8 Initial revision
claus
parents:
diff changeset
    38
     the index of the association containing the key, otherwise
a27a279701f8 Initial revision
claus
parents:
diff changeset
    39
     return the index of the first unused slot. Grow the receiver,
a27a279701f8 Initial revision
claus
parents:
diff changeset
    40
     if key was not found, and no unused slots where present"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    41
a27a279701f8 Initial revision
claus
parents:
diff changeset
    42
    |index  "{ Class:SmallInteger }"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    43
     length "{ Class:SmallInteger }"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    44
     startIndex
a27a279701f8 Initial revision
claus
parents:
diff changeset
    45
     probe |
a27a279701f8 Initial revision
claus
parents:
diff changeset
    46
a27a279701f8 Initial revision
claus
parents:
diff changeset
    47
    length := keyArray basicSize.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    48
    startIndex := key identityHash \\ length + 1.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    49
a27a279701f8 Initial revision
claus
parents:
diff changeset
    50
    index := startIndex.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    51
    [true] whileTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    52
        probe := keyArray basicAt:index.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    53
        (probe isNil or: [probe == key]) ifTrue:[^ index].
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:[^ self grow findKeyOrNil:key].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    61
    ]
a27a279701f8 Initial revision
claus
parents:
diff changeset
    62
!
a27a279701f8 Initial revision
claus
parents:
diff changeset
    63
a27a279701f8 Initial revision
claus
parents:
diff changeset
    64
findKey:key ifAbsent:aBlock
a27a279701f8 Initial revision
claus
parents:
diff changeset
    65
    "Look for the key in the receiver.  If it is found, return
a27a279701f8 Initial revision
claus
parents:
diff changeset
    66
     the index of the association containing the key, otherwise
a27a279701f8 Initial revision
claus
parents:
diff changeset
    67
     return the value of evaluating aBlock."
a27a279701f8 Initial revision
claus
parents:
diff changeset
    68
a27a279701f8 Initial revision
claus
parents:
diff changeset
    69
    |index  "{ Class:SmallInteger }"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    70
     length "{ Class:SmallInteger }"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    71
     startIndex
a27a279701f8 Initial revision
claus
parents:
diff changeset
    72
     probe|
a27a279701f8 Initial revision
claus
parents:
diff changeset
    73
a27a279701f8 Initial revision
claus
parents:
diff changeset
    74
    length := keyArray basicSize.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    75
    length < 10 ifTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    76
        "assuming, that for small dictionaries the overhead of hashing
a27a279701f8 Initial revision
claus
parents:
diff changeset
    77
         is large ... maybe that proves wrong (if overhead of comparing
a27a279701f8 Initial revision
claus
parents:
diff changeset
    78
         is high)"
a27a279701f8 Initial revision
claus
parents:
diff changeset
    79
        index := keyArray identityIndexOf:key.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    80
        index == 0 ifTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    81
            ^ aBlock value
a27a279701f8 Initial revision
claus
parents:
diff changeset
    82
        ].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    83
        ^ index
a27a279701f8 Initial revision
claus
parents:
diff changeset
    84
    ].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    85
a27a279701f8 Initial revision
claus
parents:
diff changeset
    86
    startIndex := key identityHash \\ length + 1.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    87
a27a279701f8 Initial revision
claus
parents:
diff changeset
    88
    index := startIndex.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    89
    [true] whileTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    90
        probe := keyArray basicAt:index.
a27a279701f8 Initial revision
claus
parents:
diff changeset
    91
        probe == key ifTrue:[^ index].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    92
a27a279701f8 Initial revision
claus
parents:
diff changeset
    93
        index == length ifTrue:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    94
            index := 1
a27a279701f8 Initial revision
claus
parents:
diff changeset
    95
        ] ifFalse:[
a27a279701f8 Initial revision
claus
parents:
diff changeset
    96
            index := index + 1
a27a279701f8 Initial revision
claus
parents:
diff changeset
    97
        ].
a27a279701f8 Initial revision
claus
parents:
diff changeset
    98
        (probe isNil or:[index == startIndex]) ifTrue:[^ aBlock value]
a27a279701f8 Initial revision
claus
parents:
diff changeset
    99
    ]
a27a279701f8 Initial revision
claus
parents:
diff changeset
   100
! !