src/core/arrayed.slate

   1
   2 Array traitsWindow _delegates := {Mapping traits. Collection traits. Sequence traits. Array traits}.
   3
   4 "Ensures that the primitive Array type has the behaviors and features of a
   5 Sequence."
   6
   7 a@(Array traits) new &capacity: n
   8 "Array capacity is its size, and newSize: is a primitive."
   9 [a newSize: (n ifNil: [0])].
  10
  11 a@(Array traits) new* [| *rest | rest].
  12
  13 a@(Array traits) copy [a clone].
  14
  15 a@(Array traits) arrayType [a].
  16
  17 _@(Array traits) elementType [Root].
  18
  19 a@(Array traits) hasIndexedSlots [a ~== Array traits].
  20
  21 _@(Root traits) hasIndexedSlots [False].
  22
  23 ByteArray traitsWindow _delegates := {Mapping traits. Collection traits. Sequence traits. ByteArray traits}.
  24
  25 "Ensures that the primitive ByteArray type has the behaviors and features of
  26 a Sequence."
  27
  28 a@(ByteArray traits) new &capacity: n
  29 "Array capacity is its size, and newSize: is a primitive."
  30 [a newSize: (n ifNil: [0])].
  31
  32 a@(ByteArray traits) copy [a clone].
  33
  34 a@(ByteArray traits) arrayType [a].
  35
  36 _@(ByteArray traits) elementType [SmallInteger].
  37
  38 _@(ByteArray traits) hasIndexedSlots
  39 "TODO: This is done since hasIndexedSlots callers cannot reliably handle a
  40 BitArray and/or ByteArray yet."
  41 [False].
  42
  43 _@(ByteArray traits) defaultElement [16r00].
  44
  45 _@(ByteArray traits) accepts: i@(SmallInteger traits)
  46 [i between: 16r00 and: 16rFF].
  47
  48 a@(ByteArray traits) at: i
  49 [a byteAt: i].
  50
  51 a@(ByteArray traits) at: i put: obj
  52 [a cannotAccept: obj in: i].
  53
  54 a@(ByteArray traits) at: i put: byte@(Integer traits)
  55 [a byteAt: i put: byte].
  56
  57 a@(ByteArray traits) isLittleEndian
  58 "TODO: factor this out, maybe use Platform current endianness?"
  59 [-1.0 first isZero].
  60
  61 a@(ByteArray traits) int16At: offset
  62 [
  63   a isLittleEndian ifTrue: [a littleEndianInt16At: offset] ifFalse: [a bigEndianInt16At: offset]
  64 ].
  65
  66 a@(ByteArray traits) int32At: offset
  67 [
  68   a isLittleEndian ifTrue: [a littleEndianInt32At: offset] ifFalse: [a bigEndianInt32At: offset]
  69 ].
  70
  71 a@(ByteArray traits) int64At: offset
  72 [
  73   a isLittleEndian ifTrue: [a littleEndianInt64At: offset] ifFalse: [a bigEndianInt64At: offset]
  74 ].
  75
  76 a@(ByteArray traits) int16At: offset put: value
  77 [
  78   a isLittleEndian ifTrue: [a littleEndianInt16At: offset put: value] ifFalse: [a bigEndianInt16At: offset put: value]
  79 ].
  80
  81 a@(ByteArray traits) int32At: offset put: value
  82 [
  83   a isLittleEndian ifTrue: [a littleEndianInt32At: offset put: value] ifFalse: [a bigEndianInt32At: offset put: value]
  84 ].
  85
  86 a@(ByteArray traits) int64At: offset put: value
  87 [
  88   a isLittleEndian ifTrue: [a littleEndianInt64At: offset put: value] ifFalse: [a bigEndianInt64At: offset put: value]
  89 ].
  90
  91 a@(ByteArray traits) bigEndianInt16At: offset
  92 [
  93   offset *= 2.
  94   ((a byteAt: offset    ) byteShift: 1 ) +
  95    (a byteAt: offset + 1)
  96 ].
  97
  98 a@(ByteArray traits) bigEndianInt32At: offset
  99 [
 100   offset *= 4.
 101   ((a byteAt: offset    ) byteShift: 3) +
 102   ((a byteAt: offset + 1) byteShift: 2) +
 103   ((a byteAt: offset + 2) byteShift: 1) +
 104    (a byteAt: offset + 3)
 105 ].
 106
 107 a@(ByteArray traits) bigEndianInt64At: offset
 108 [
 109   offset *= 8.
 110   ((a byteAt: offset    ) byteShift: 7) +
 111   ((a byteAt: offset + 1) byteShift: 6) +
 112   ((a byteAt: offset + 2) byteShift: 5) +
 113   ((a byteAt: offset + 3) byteShift: 4) +
 114   ((a byteAt: offset + 4) byteShift: 3) +
 115   ((a byteAt: offset + 5) byteShift: 2) +
 116   ((a byteAt: offset + 6) byteShift: 1) +
 117    (a byteAt: offset + 7)
 118 ].
 119
 120 a@(ByteArray traits) bigEndianInt16At: offset put: word@(ByteArray traits)
 121 [
 122   offset *= 2.
 123   a byteAt: offset     put: (word byteAt: 1).
 124   a byteAt: offset + 1 put: (word byteAt: 0).
 125   word
 126 ].
 127
 128 a@(ByteArray traits) bigEndianInt16At: offset put: word@(Integer traits)
 129 [
 130   offset *= 2.
 131   a byteAt: offset     put: (word bitShift: -8) intoByte.
 132   a byteAt: offset + 1 put: word intoByte.
 133   word
 134 ].
 135
 136 a@(ByteArray traits) bigEndianInt32At: offset put: word@(ByteArray traits)
 137 [
 138   offset *= 4.
 139   a byteAt: offset     put: (word byteAt: 3).
 140   a byteAt: offset + 1 put: (word byteAt: 2).
 141   a byteAt: offset + 2 put: (word byteAt: 1).
 142   a byteAt: offset + 3 put: (word byteAt: 0).
 143   word
 144 ].
 145
 146 a@(ByteArray traits) bigEndianInt32At: offset put: word@(Integer traits)
 147 [
 148   offset *= 4.
 149   a byteAt: offset     put: (word bitShift: -24) intoByte.
 150   a byteAt: offset + 1 put: (word bitShift: -16) intoByte.
 151   a byteAt: offset + 2 put: (word bitShift: -8) intoByte.
 152   a byteAt: offset + 3 put: word intoByte.
 153   word
 154 ].
 155
 156 a@(ByteArray traits) bigEndianInt64At: offset put: word@(ByteArray traits)
 157 [
 158   offset *= 8.
 159   a byteAt: offset     put: (word byteAt: 7).
 160   a byteAt: offset + 1 put: (word byteAt: 6).
 161   a byteAt: offset + 2 put: (word byteAt: 5).
 162   a byteAt: offset + 3 put: (word byteAt: 4).
 163   a byteAt: offset + 4 put: (word byteAt: 3).
 164   a byteAt: offset + 5 put: (word byteAt: 2).
 165   a byteAt: offset + 6 put: (word byteAt: 1).
 166   a byteAt: offset + 7 put: (word byteAt: 0).
 167   word
 168 ].
 169
 170 a@(ByteArray traits) bigEndianInt64At: offset put: word@(Integer traits)
 171 [
 172   offset *= 8.
 173   a byteAt: offset     put: (word bitShift: -56) intoByte.
 174   a byteAt: offset + 1 put: (word bitShift: -48) intoByte.
 175   a byteAt: offset + 2 put: (word bitShift: -40) intoByte.
 176   a byteAt: offset + 3 put: (word bitShift: -32) intoByte.
 177   a byteAt: offset + 4 put: (word bitShift: -24) intoByte.
 178   a byteAt: offset + 5 put: (word bitShift: -16) intoByte.
 179   a byteAt: offset + 6 put: (word bitShift: -8) intoByte.
 180   a byteAt: offset + 7 put: word intoByte.
 181   word
 182 ].
 183
 184 a@(ByteArray traits) littleEndianInt16At: offset
 185 [
 186   offset *= 2.
 187    (a byteAt: offset    )               +
 188   ((a byteAt: offset + 1) byteShift: 1)
 189 ].
 190
 191 a@(ByteArray traits) littleEndianInt32At: offset
 192 [
 193   offset *= 4.
 194    (a byteAt: offset    )               +
 195   ((a byteAt: offset + 1) byteShift: 1) +
 196   ((a byteAt: offset + 2) byteShift: 2) +
 197   ((a byteAt: offset + 3) byteShift: 3)
 198 ].
 199
 200 a@(ByteArray traits) littleEndianInt64At: offset
 201 [
 202   offset *= 8.
 203    (a byteAt: offset    )               +
 204   ((a byteAt: offset + 1) byteShift: 1) +
 205   ((a byteAt: offset + 2) byteShift: 2) +
 206   ((a byteAt: offset + 3) byteShift: 3) +
 207   ((a byteAt: offset + 4) byteShift: 4) +
 208   ((a byteAt: offset + 5) byteShift: 5) +
 209   ((a byteAt: offset + 6) byteShift: 6) +
 210   ((a byteAt: offset + 7) byteShift: 7)
 211 ].
 212
 213 a@(ByteArray traits) littleEndianInt16At: offset put: word@(ByteArray traits)
 214 [
 215   offset *= 2.
 216   a byteAt: offset     put: (word byteAt: 0).
 217   a byteAt: offset + 1 put: (word byteAt: 1).
 218   word
 219 ].
 220
 221 a@(ByteArray traits) littleEndianInt16At: offset put: word@(Integer traits)
 222 [
 223   offset *= 2.
 224   a byteAt: offset     put: word intoByte.
 225   a byteAt: offset + 1 put: (word bitShift: -8) intoByte.
 226   word
 227 ].
 228
 229 a@(ByteArray traits) littleEndianInt32At: offset put: word@(ByteArray traits)
 230 [
 231   offset *= 4.
 232   a byteAt: offset     put: (word byteAt: 0).
 233   a byteAt: offset + 1 put: (word byteAt: 1).
 234   a byteAt: offset + 2 put: (word byteAt: 2).
 235   a byteAt: offset + 3 put: (word byteAt: 3).
 236   word
 237 ].
 238
 239 a@(ByteArray traits) littleEndianInt32At: offset put: word@(Integer traits)
 240 [
 241   offset *= 4.
 242   a byteAt: offset     put: word intoByte.
 243   a byteAt: offset + 1 put: (word bitShift: -8) intoByte.
 244   a byteAt: offset + 2 put: (word bitShift: -16) intoByte.
 245   a byteAt: offset + 3 put: (word bitShift: -24) intoByte.
 246   word
 247 ].
 248
 249 a@(ByteArray traits) littleEndianInt64At: offset put: word@(ByteArray traits)
 250 [
 251   offset *= 8.
 252   a byteAt: offset     put: (word byteAt: 0).
 253   a byteAt: offset + 1 put: (word byteAt: 1).
 254   a byteAt: offset + 2 put: (word byteAt: 2).
 255   a byteAt: offset + 3 put: (word byteAt: 3).
 256   a byteAt: offset + 4 put: (word byteAt: 4).
 257   a byteAt: offset + 5 put: (word byteAt: 5).
 258   a byteAt: offset + 6 put: (word byteAt: 6).
 259   a byteAt: offset + 7 put: (word byteAt: 7).
 260   word
 261 ].
 262
 263 a@(ByteArray traits) littleEndianInt64At: offset put: word@(Integer traits)
 264 [
 265   offset *= 8.
 266   a byteAt: offset     put: word intoByte.
 267   a byteAt: offset + 1 put: (word bitShift: -8) intoByte.
 268   a byteAt: offset + 2 put: (word bitShift: -16) intoByte.
 269   a byteAt: offset + 3 put: (word bitShift: -24) intoByte.
 270   a byteAt: offset + 4 put: (word bitShift: -32) intoByte.
 271   a byteAt: offset + 5 put: (word bitShift: -40) intoByte.
 272   a byteAt: offset + 6 put: (word bitShift: -48) intoByte.
 273   a byteAt: offset + 7 put: (word bitShift: -56) intoByte.
 274   word
 275 ].
 276
 277 collections define: #BitArray &parents: {ByteArray} &slots: {#bitSize -> 0} &basedOn: ByteArray.
 278 "Uses byte-contents to implement an array of direct binary values (Booleans)."
 279
 280 a@(BitArray traits) new &capacity: bitSize
 281 [
 282   bitSize `defaultsTo: 0.
 283   byteSize ::= (n + 7) // 8.
 284   (a newSize: byteSize) `>> [bitSize := bitSize. ]
 285 ].
 286
 287 a@(BitArray traits) size [a bitSize].
 288 a@(BitArray traits) arrayType [a].
 289 _@(BitArray traits) elementType [Boolean].
 290 _@(BitArray traits) defaultElement [False].
 291 _@(BitArray traits) accepts: _ [False].
 292 _@(BitArray traits) accepts: _@(Boolean traits) [True].
 293
 294 a@(BitArray traits) includesKey: i
 295 [
 296   i < a bitSize
 297 ].
 298
 299 a@(BitArray traits) at: i
 300 [
 301   (a includesKey: i) ifFalse: [^ (i keyNotFoundOn: a)].
 302   ((a byteAt: i // 8) bitAnd: 1 << (i \\ 8)) isZero not
 303 ].
 304
 305 a@(BitArray traits) at: i put: bool@(Boolean traits)
 306 [
 307   (a includesKey: i) ifFalse: [^ (i keyNotFoundOn: a)].
 308   byteOffset ::= i // 8.
 309   bitMask ::= 1 << (i \\ 8).
 310   byte ::= a byteAt: byteOffset.
 311   a byteAt: byteOffset put:
 312     (bool
 313        ifTrue: [byte bitOr: bitMask]
 314        ifFalse: [byte bitAnd: bitMask bitNot]).
 315   bool
 316 ].
 317
 318 a@(BitArray traits) at: i put: obj
 319 [a cannotAccept: obj in: i].
 320
 321 a@(BitArray traits) at: i put: n@(Integer traits)
 322 [
 323   n caseOf: {
 324     0 -> [a at: i put: False].
 325     1 -> [a at: i put: True]
 326   } otherwise: [resend]
 327 ].
 328
 329 LexicalContext traitsWindow _delegates :=
 330  {Cloneable. Root traits. Derivable traits. Cloneable traits. Mapping traits. Collection traits. Sequence traits. Array traits. LexicalContext traits}.
 331
 332 Closure traitsWindow _delegates :=
 333  {Cloneable. Root traits. Derivable traits. Cloneable traits. Mapping traits. Collection traits. Sequence traits. Array traits. Method traits. Closure traits}.
 334
 335 "a float is a byte array, and we need to be able to call #newWithSize: to create floats in the bootstrapper."
 336 SingleFloat traitsWindow _delegates :=
 337  {ByteArray traits. Sequence traits. CoercibleNumberMixin traits. Comparable traits. Number traits. Float traits. SingleFloat traits}.