(byteLength)
| 13961 | var arrayBuffer = null; |
| 13962 | |
| 13963 | function getScratchArrayBuffer(byteLength) { |
| 13964 | if (!arrayBuffer || arrayBuffer.byteLength < byteLength) { |
| 13965 | arrayBuffer = new ArrayBuffer(byteLength); |
| 13966 | } |
| 13967 | |
| 13968 | return arrayBuffer; |
| 13969 | } |
| 13970 | |
| 13971 | function getScratchArray(Type, length) { |
| 13972 | var scratchArrayBuffer = getScratchArrayBuffer(Type.BYTES_PER_ELEMENT * length); |