home *** CD-ROM | disk | FTP | other *** search
/ RISC DISC 1 / RISC_DISC_1.iso / pd_share / code / smalltalk / !GNUst / st / SeqColl < prev    next >
Encoding:
Text File  |  1991-09-13  |  8.4 KB  |  298 lines
  1. "======================================================================
  2. |
  3. |   SequenceableCollection Method Definitions
  4. |
  5.  ======================================================================"
  6.  
  7.  
  8. "======================================================================
  9. |
  10. | Copyright (C) 1990, 1991 Free Software Foundation, Inc.
  11. | Written by Steve Byrne.
  12. |
  13. | This file is part of GNU Smalltalk.
  14. |
  15. | GNU Smalltalk is free software; you can redistribute it and/or modify it
  16. | under the terms of the GNU General Public License as published by the Free
  17. | Software Foundation; either version 1, or (at your option) any later version.
  18. | 
  19. | GNU Smalltalk is distributed in the hope that it will be useful, but WITHOUT
  20. | ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
  21. | FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more
  22. | details.
  23. | 
  24. | You should have received a copy of the GNU General Public License along with
  25. | GNU Smalltalk; see the file COPYING.  If not, write to the Free Software
  26. | Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  
  27. |
  28.  ======================================================================"
  29.  
  30.  
  31. "
  32. |     Change Log
  33. | ============================================================================
  34. | Author       Date       Change 
  35. | sbb         12 Sep 91      Fixed indexOfSubCollection.
  36. |
  37. | sbyrne     19 Sep 89      Converted to use real method categories.
  38. |
  39. | sbyrne     25 Apr 89      created.
  40. |
  41. "
  42.  
  43. Collection variableSubclass: #SequenceableCollection
  44.        instanceVariableNames: ''
  45.        classVariableNames: ''
  46.        poolDictionaries: ''
  47.        category: nil.
  48.  
  49. SequenceableCollection comment: 
  50. 'My instances represent collections of objects that are ordered.  I provide
  51. some access and manipulation methods.' !
  52.  
  53.  
  54. !SequenceableCollection methodsFor: 'basic'!
  55.  
  56. atAll: aCollection put: anObject
  57.     aCollection do: [ :index | self at: index put: anObject ]
  58. !
  59.  
  60. atAllPut: anObject
  61.     1 to: self size do: [ :index | self at: index put: anObject ]
  62. !
  63.  
  64. first
  65.     ^self at: 1
  66. !
  67.  
  68. last
  69.     self size < 1 ifTrue: [ ^self error: 'last not defined with no elements' ].
  70.     ^self at: self size
  71. !
  72.  
  73. indexOf: anElement ifAbsent: exceptionBlock
  74.     1 to: self size do: [ :index | (self at: index) = anElement
  75.                                      ifTrue: [ ^index ] ].
  76.     ^exceptionBlock value
  77. !
  78.  
  79. indexOf: anElement
  80.     ^self indexOf: anElement ifAbsent: [ ^0 ]
  81. !!
  82.  
  83.  
  84.  
  85. !SequenceableCollection methodsFor: 'nonpublic methods'!
  86.  
  87. matchSubCollection: aSubCollection startingAt: anIndex
  88.     2 to: aSubCollection size do:
  89.         [ :index | (self at: anIndex + index - 1) ~= (aSubCollection at: index)
  90.                    ifTrue: [ ^false ]
  91.     ].
  92.     ^true
  93. !
  94.  
  95. indexOfSubCollection: aSubCollection startingAt: anIndex
  96.     ifAbsent: exceptionBlock
  97.     | selfSize subSize |
  98.     subSize  _ aSubCollection size.
  99.     selfSize _ self size.
  100.     anIndex + subSize - 1 <= selfSize ifTrue:
  101.     [ anIndex to: selfSize - subSize + 1 do:
  102.           [:index | (self at: index) = (aSubCollection at: 1)
  103.                 ifTrue: [(self matchSubCollection: aSubCollection
  104.                        startingAt: index)
  105.                      ifTrue: [^index]
  106.                      ]
  107.                 ]
  108.           ].
  109.     ^exceptionBlock value
  110. !
  111.  
  112. indexOfSubCollection: aSubCollection startingAt: anIndex
  113.     ^self indexOfSubCollection: aSubCollection startingAt: anIndex
  114.         ifAbsent: [ ^0 ]
  115. !
  116.  
  117. replaceFrom: start to: stop with: replacementCollection startingAt: repStart
  118.     (self == replacementCollection and: [ repStart ~= 1 ])
  119.         ifTrue: [ ^self error: 'replaceFrom:to:with:startingAt: called for 
  120. in-place replacement, but starting index was not 1' ].
  121.     1 to: stop - start + 1 do:
  122.         [ :index |
  123.       self at: (start + index - 1)
  124.                put: (replacementCollection at: (repStart + index - 1)) ]
  125. !
  126.  
  127. replaceFrom: start to: stop with: replacementCollection
  128.     stop - start + 1 ~= replacementCollection size
  129.         ifTrue: [ ^self error: 'replacement range does not equal size of
  130. replacement collection' ].
  131.     self replaceFrom: start to: stop with: replacementCollection startingAt: 1
  132. !!
  133.  
  134.  
  135.  
  136. !SequenceableCollection methodsFor: 'copying SequenceableCollections'!
  137.  
  138. , aSequenceableCollection
  139.     | newCollection |
  140.     newCollection _ self species new: (self size + aSequenceableCollection size).
  141.     newCollection replaceFrom: 1 to: self size with: self.
  142.     newCollection replaceFrom: (self size) + 1
  143.                   to: self size + aSequenceableCollection size
  144.           with: aSequenceableCollection.
  145.     ^newCollection
  146. !
  147.  
  148. copyFrom: start to: stop
  149.     | newCollection len |
  150.     len _ stop - start + 1.
  151.     newCollection _ self species new: len.
  152.     newCollection replaceFrom: 1 to: len with: self startingAt: start.
  153.     ^newCollection
  154. !
  155.  
  156. copyReplaceAll: oldSubCollection with: newSubCollection
  157.     | numOld newCollection sizeDifference newSubSize oldSubSize
  158.       newStart oldStart copySize index |
  159.     numOld _ self countSubCollectionOccurrencesOf: oldSubCollection.
  160.     newSubSize _ newSubCollection size.
  161.     sizeDifference _ newSubSize - oldSubCollection size + 1.
  162.     newCollection _ self species new: (self size - (sizeDifference * numOld)).
  163.     oldStart _ newStart _ 1.
  164.     [ index _ self indexOfSubCollection: oldSubCollection
  165.                    startingAt: oldStart.
  166.       index > 0 ] whileTrue:
  167.         [ copySize _ index - oldStart + 1.
  168.       newCollection replaceFrom: newStart
  169.                     to: newStart + copySize - 1
  170.             with: self
  171.             startingAt: oldStart.
  172.       newStart _ newStart + copySize - 1.
  173.       newCollection replaceFrom: newStart
  174.                     to: newStart + newSubSize - 1
  175.             with newSubCollection.
  176.           oldStart _ oldStart + copySize.
  177.           newStart _ newStart + newSubSize ].
  178.     "Copy the remaining part of self onto the tail of the new collection."
  179.     newCollection replaceFrom: newStart
  180.                  to: newCollection size
  181.          with: self
  182.          startingAt: oldStart.
  183.     ^newCollection
  184. !
  185.  
  186. copyReplaceFrom: start to: stop with: replacementCollection
  187.     | newCollection newSize repSize |
  188.     "### check for bounds "
  189.     repSize _ replacementCollection size.
  190.     newSize _ self size + repSize - (stop - start + 1).
  191.     newCollection _ self species new: newSize.
  192.     newCollection replaceFrom: 1 to: start - 1 with: self startingAt: 1.
  193.     newCollection replaceFrom: start
  194.                   to: start + repSize - 1
  195.           with: replacementCollection.
  196.     newCollection replaceFrom: start + repSize
  197.                   to: newCollection size
  198.           with: self
  199.           startingAt: stop + 1.
  200.     ^newCollection
  201. !
  202.  
  203. copyWith: newElement
  204.     | newCollection len |
  205.     len _ self size + 1.
  206.     newCollection _ self species new: len.
  207.     newCollection replaceFrom: 1 to: self size with: self.
  208.     newCollection at: len put: newElement.
  209.     ^newCollection
  210. !
  211.  
  212. copyWithout: oldElement
  213.     | newCollection numOccurrences i |
  214.     numOccurrences _ 0.
  215.     self do:
  216.         [ :element |
  217.       element = oldElement
  218.         ifTrue: [ numOccurrences _ numOccurrences + 1 ] ].
  219.     newCollection _ self species new: (self size - numOccurrences).
  220.     i _ 1.
  221.     self do:
  222.         [ :element |
  223.       element ~= oldElement
  224.         ifTrue: [ newCollection at: i put: element.
  225.                   i _ i + 1 ]
  226.     ].
  227.     ^newCollection
  228. !!
  229.  
  230.  
  231.  
  232. !SequenceableCollection methodsFor: 'enumerating'!
  233.  
  234. do: aBlock
  235.     "Evaluate aBlock for all elements in the sequenceable collection"
  236.     1 to: self size do:
  237.         [ :i | aBlock value: (self at: i) ]
  238. !
  239.  
  240. findFirst: aBlock
  241.     "Returns the index of the first element of the sequenceable collection
  242.     for which aBlock returns true"
  243.     1 to: self size do:
  244.         [ :i | (aBlock value: (self at: i))
  245.              ifTrue: [ ^i ] ].
  246.     ^0
  247. !
  248.  
  249. findLast: aBlock
  250.     self size to: 1 by: -1 do:
  251.         [ :i | (aBlock value: (self at: i))
  252.              ifTrue: [ ^i ] ].
  253.     ^0
  254. !
  255.  
  256. reverseDo: aBlock
  257.     self size to: 1 by: -1 do:
  258.         [ :i | aBlock value: (self at: i) ]
  259. !
  260.  
  261. with: aSequenceableCollection do: aBlock
  262.     self size = aSequenceableCollection size
  263.         ifFalse:
  264.         [ ^self error: 'sequenceable collections must have same size' ].
  265.     1 to: self size do:
  266.         [ :i | aBlock value: (self at: i)
  267.                   value: (aSequenceableCollection at: i) ]
  268. !!
  269.  
  270.  
  271.  
  272. !SequenceableCollection methodsFor: 'private methods'!
  273.  
  274. countSubCollectionOccurrencesOf: aSubCollection
  275.     | colIndex subColIndex count |
  276.     colIndex _ 1.
  277.     count _ 0.
  278.     [ subColIndex _ self indexOfSubCollection: aSubCollection
  279.                          startingAt: colIndex.
  280.       subColIndex > 0 ] whileTrue:
  281.           [ count _ count + 1.
  282.       colIndex _ colIndex + aSubCollection size ].
  283.     ^count
  284. !
  285.  
  286. grow
  287.     | newCollection |
  288.     newCollection _ self species new: self basicSize + self growSize.
  289.     newCollection replaceFrom: 1 to: self size with: self.
  290.     ^self become: newCollection
  291. !
  292.     
  293. growSize
  294.     ^10                "a randomly chosed number"
  295.  
  296. !!
  297.  
  298.