"

 COPYRIGHT (c) 1989 by Claus Gittinger

              All Rights Reserved

 This software is furnished under a license and may be used

 only in accordance with the terms of that license and with the

 inclusion of the above copyright notice.   This software may not

 be provided or otherwise made available to, or used by, any

 other person.  No title to or ownership of the software is

 hereby transferred.

"

SequenceableCollection subclass:#ArrayedCollection

       instanceVariableNames:''

       classVariableNames:''

       poolDictionaries:''

       category:'Collections-Abstract'

!

ArrayedCollection comment:'

COPYRIGHT (c) 1989 by Claus Gittinger

              All Rights Reserved

'!

!ArrayedCollection class methodsFor:'documentation'!

copyright

"

 COPYRIGHT (c) 1989 by Claus Gittinger

              All Rights Reserved

 This software is furnished under a license and may be used

 only in accordance with the terms of that license and with the

 inclusion of the above copyright notice.   This software may not

 be provided or otherwise made available to, or used by, any

 other person.  No title to or ownership of the software is

 hereby transferred.

"

!

version

"

"

!

documentation

"

    ArrayedCollections are collections where the elements can be accessed via an integer index.

"

! !

!ArrayedCollection class methodsFor:'queries'!

growIsCheap

    "return true, if this collection can easily grow

     (i.e. without a need for become:).

     Since this is the superclass of all indexed fix-size collections,

     return false here."

    ^ false

! !

!ArrayedCollection class methodsFor:'instance creation'!

with:element

    "return a new SequenceableCollection with one element:anObject"

    |newCollection|

    newCollection := self new:1.

    newCollection at:1 put:element.

    ^newCollection

!

with:first with:second

    "return a new SequenceableCollection with two elements"

    |newCollection|

    newCollection := self new:2.

    newCollection at:1 put:first.

    newCollection at:2 put:second.

    ^newCollection

!

with:first with:second with:third

    "return a new SequenceableCollection with three elements"

    |newCollection|

    newCollection := self new:3.

    newCollection at:1 put:first.

    newCollection at:2 put:second.

    newCollection at:3 put:third.

    ^newCollection

!

with:first with:second with:third with:forth

    "return a new SequenceableCollection with four elements"

    |newCollection|

    newCollection := self new:4.

    newCollection at:1 put:first.

    newCollection at:2 put:second.

    newCollection at:3 put:third.

    newCollection at:4 put:forth.

    ^newCollection

!

with:one with:two with:three with:four with:five

    "return a new SequenceableCollection with five elements"

    |newCollection|

    newCollection := self new:5.

    newCollection at:1 put:one.

    newCollection at:2 put:two.

    newCollection at:3 put:three.

    newCollection at:4 put:four.

    newCollection at:5 put:five.

    ^newCollection

!

withAll:aCollection

    "return a new Collection with all elements taken from the argument,

     aCollection"

    |newCollection newSize

     index "{ Class: SmallInteger }" |

    newSize := aCollection size.

    newCollection := self new:newSize.

    aCollection isSequenceableCollection ifTrue:[

        "aCollection has indexed elements"

        newCollection replaceFrom:1 to:newSize with:aCollection startingAt:1

    ] ifFalse:[

        "must enumerate the elements"

        index := 1.

        aCollection do:[:element |

            newCollection at:index put:element.

            index := index + 1

        ]

    ].

    ^ newCollection

! !

!ArrayedCollection methodsFor:'accessing'!

at:index ifAbsent:exceptionBlock

    "return the element at index. 

     If the index is invalid, return the value of evaluating exceptionBlock.

     NOTICE: in ST-80, this message is only defined for Dictionaries,

             however, having a common protocol with indexed collections

             often simplifies things."

    (index < 1 or:[index > self size]) ifTrue:[

        ^ exceptionBlock value

    ].

    ^ self at:index

    "

     #(1 2 3) at:4 ifAbsent:['no such index']  

     #(1 2 3) at:3 ifAbsent:['no such index']  

    "

! !

!ArrayedCollection methodsFor:'testing'!

includesKey:anIndex

    "return true, if anIndex is a valid key.

     NOTICE: in ST-80, this message is only defined for Dictionaries,

             however, having a common protocol with indexed collections

             often simplifies things."

    ^ (anIndex >= 1) and:[anIndex <= self size]

    "

     #(1 2 3) includesKey:4 

     #(1 2 3) includesKey:3  

    "

!

size

    "redefined to re-enable size->basicSize forwarding

     (it is cought in SequencableCollection)"

    ^ self basicSize

! !

!ArrayedCollection methodsFor:'resizing'!

grow:newSize

    |newArray oldSize|

    oldSize := self size.

    (newSize ~~ oldSize) ifTrue:[

        newArray := self species new:newSize.

        self become:newArray.

    ]

! !

!ArrayedCollection methodsFor:'error handling'!

fixedSizeError

    "report an error that size of the collection cannot be changed.

     This is obsolete now."

    ^ self error:'cannot change size'

! !

!ArrayedCollection methodsFor:'storing'!

storeOn:aStream

    "output a printed representation (which can be re-read)

     onto the argument aStream.

     Redefined to output index access."

    |index "{ Class: SmallInteger }"|

    thisContext isRecursive ifTrue:[

        Transcript showCr:'Error: storeOn: of self referencing collection.'.

        aStream nextPutAll:'#("recursive")'.

        ^ self

    ].

    aStream nextPutAll:'('.

    aStream nextPutAll:self class name.

    aStream nextPutAll:' new:'.

    self size printOn:aStream.

    aStream nextPutAll:')'.

    index := 1.

    self do:[:element |

        aStream nextPutAll:' at:'.

        index printOn:aStream.

        aStream nextPutAll:' put:('.

        element storeOn:aStream.

        aStream nextPutAll:');'.

        index := index + 1

    ].

    index > 1 ifTrue:[aStream nextPutAll:' yourself'].

    aStream nextPut:$)

! !