toilscript 0.0.1 → 0.1.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (121) hide show
  1. package/LICENSE +201 -201
  2. package/NOTICE +94 -94
  3. package/README.md +101 -114
  4. package/bin/asc.js +0 -0
  5. package/bin/asinit.js +6 -6
  6. package/dist/asc.generated.d.ts +10027 -0
  7. package/dist/asc.js +24474 -0
  8. package/dist/asc.js.map +7 -0
  9. package/dist/importmap.json +9 -0
  10. package/dist/toilscript.generated.d.ts +11242 -0
  11. package/dist/toilscript.js +337 -0
  12. package/dist/toilscript.js.map +7 -0
  13. package/dist/web.js +22 -0
  14. package/lib/binaryen.d.ts +2 -2
  15. package/lib/binaryen.js +2 -2
  16. package/package.json +115 -114
  17. package/std/README.md +6 -6
  18. package/std/assembly/array.ts +550 -550
  19. package/std/assembly/arraybuffer.ts +77 -77
  20. package/std/assembly/atomics.ts +127 -127
  21. package/std/assembly/bindings/asyncify.ts +16 -16
  22. package/std/assembly/bindings/dom.ts +291 -291
  23. package/std/assembly/bindings/node.ts +6 -6
  24. package/std/assembly/bitflags.ts +53 -53
  25. package/std/assembly/builtins.ts +2650 -2650
  26. package/std/assembly/byteslice.ts +177 -177
  27. package/std/assembly/compat.ts +2 -2
  28. package/std/assembly/console.ts +42 -42
  29. package/std/assembly/crypto.ts +9 -9
  30. package/std/assembly/dataview.ts +181 -181
  31. package/std/assembly/date.ts +375 -375
  32. package/std/assembly/diagnostics.ts +11 -11
  33. package/std/assembly/encoding.ts +151 -151
  34. package/std/assembly/endian.ts +45 -45
  35. package/std/assembly/error.ts +44 -44
  36. package/std/assembly/fixedarray.ts +173 -173
  37. package/std/assembly/fixedmap.ts +326 -326
  38. package/std/assembly/fixedset.ts +275 -275
  39. package/std/assembly/function.ts +42 -42
  40. package/std/assembly/index.d.ts +2892 -2891
  41. package/std/assembly/iterator.ts +35 -35
  42. package/std/assembly/map.ts +269 -269
  43. package/std/assembly/math.ts +3289 -3289
  44. package/std/assembly/memory.ts +123 -123
  45. package/std/assembly/number.ts +388 -388
  46. package/std/assembly/object.ts +36 -36
  47. package/std/assembly/performance.ts +9 -9
  48. package/std/assembly/pointer.ts +80 -80
  49. package/std/assembly/polyfills.ts +27 -27
  50. package/std/assembly/process.ts +50 -50
  51. package/std/assembly/reference.ts +48 -48
  52. package/std/assembly/regexp.ts +12 -12
  53. package/std/assembly/rt/README.md +83 -83
  54. package/std/assembly/rt/common.ts +81 -81
  55. package/std/assembly/rt/index-incremental.ts +2 -2
  56. package/std/assembly/rt/index-memory.ts +1 -1
  57. package/std/assembly/rt/index-minimal.ts +2 -2
  58. package/std/assembly/rt/index-stub.ts +1 -1
  59. package/std/assembly/rt/index.d.ts +37 -37
  60. package/std/assembly/rt/itcms.ts +419 -419
  61. package/std/assembly/rt/memory-runtime.ts +94 -94
  62. package/std/assembly/rt/rtrace.ts +15 -15
  63. package/std/assembly/rt/stub.ts +133 -133
  64. package/std/assembly/rt/tcms.ts +254 -254
  65. package/std/assembly/rt/tlsf.ts +592 -592
  66. package/std/assembly/rt.ts +90 -90
  67. package/std/assembly/set.ts +225 -225
  68. package/std/assembly/shared/feature.ts +68 -68
  69. package/std/assembly/shared/runtime.ts +13 -13
  70. package/std/assembly/shared/target.ts +11 -11
  71. package/std/assembly/shared/tsconfig.json +11 -11
  72. package/std/assembly/shared/typeinfo.ts +72 -72
  73. package/std/assembly/staticarray.ts +423 -423
  74. package/std/assembly/string.ts +850 -850
  75. package/std/assembly/symbol.ts +114 -114
  76. package/std/assembly/table.ts +16 -16
  77. package/std/assembly/toilscript.ts +16 -0
  78. package/std/assembly/tsconfig.json +6 -6
  79. package/std/assembly/typedarray.ts +1954 -1954
  80. package/std/assembly/uri.ts +17 -17
  81. package/std/assembly/util/bytes.ts +107 -107
  82. package/std/assembly/util/casemap.ts +497 -497
  83. package/std/assembly/util/error.ts +58 -58
  84. package/std/assembly/util/hash.ts +117 -117
  85. package/std/assembly/util/math.ts +1922 -1922
  86. package/std/assembly/util/memory.ts +290 -290
  87. package/std/assembly/util/number.ts +873 -873
  88. package/std/assembly/util/sort.ts +313 -313
  89. package/std/assembly/util/string.ts +1202 -1202
  90. package/std/assembly/util/uri.ts +275 -275
  91. package/std/assembly/vector.ts +4 -4
  92. package/std/assembly.json +16 -16
  93. package/std/portable/index.d.ts +461 -461
  94. package/std/portable/index.js +416 -416
  95. package/std/portable.json +11 -11
  96. package/std/types/assembly/index.d.ts +1 -1
  97. package/std/types/assembly/package.json +2 -2
  98. package/std/types/portable/index.d.ts +1 -1
  99. package/std/types/portable/package.json +2 -2
  100. package/tsconfig-base.json +13 -13
  101. package/util/README.md +23 -23
  102. package/util/browser/fs.js +1 -1
  103. package/util/browser/module.js +5 -5
  104. package/util/browser/path.js +520 -520
  105. package/util/browser/process.js +59 -59
  106. package/util/browser/url.js +23 -23
  107. package/util/cpu.d.ts +9 -9
  108. package/util/cpu.js +42 -42
  109. package/util/find.d.ts +6 -6
  110. package/util/find.js +20 -20
  111. package/util/node.d.ts +21 -21
  112. package/util/node.js +34 -34
  113. package/util/options.d.ts +70 -70
  114. package/util/options.js +262 -262
  115. package/util/terminal.d.ts +52 -52
  116. package/util/terminal.js +35 -35
  117. package/util/text.d.ts +26 -26
  118. package/util/text.js +114 -114
  119. package/util/tsconfig.json +9 -9
  120. package/util/web.d.ts +11 -11
  121. package/util/web.js +33 -33
@@ -1,35 +1,35 @@
1
- export abstract class Iterable<T> {
2
- // ?
3
- }
4
-
5
- @final
6
- export abstract class Iterator<T> {
7
-
8
- // private constructor(iterable: Iterable<T>) {
9
- // }
10
-
11
- // TODO: these need to evaluate the classId at the respective reference in order to obtain the
12
- // next value, i.e. arrays work differently than maps. we'd then have:
13
- //
14
- // ╒═══════════════════ Iterator layout (32-bit) ══════════════════╕
15
- // 3 2 1
16
- // 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 bits
17
- // ├─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┤
18
- // │ index │
19
- // ├─────────────────────────────────────────────────────────┬───┬─┤
20
- // │ reference │ 0 │D│
21
- // └─────────────────────────────────────────────────────────┴───┴─┘
22
- // D: Done flag
23
-
24
- // get value(this: u64): T {
25
- // ?
26
- // }
27
-
28
- // next(this: u64): Iterator<T> {
29
- // ?
30
- // }
31
-
32
- done(this: u64): bool {
33
- return <bool>(this & 1);
34
- }
35
- }
1
+ export abstract class Iterable<T> {
2
+ // ?
3
+ }
4
+
5
+ @final
6
+ export abstract class Iterator<T> {
7
+
8
+ // private constructor(iterable: Iterable<T>) {
9
+ // }
10
+
11
+ // TODO: these need to evaluate the classId at the respective reference in order to obtain the
12
+ // next value, i.e. arrays work differently than maps. we'd then have:
13
+ //
14
+ // ╒═══════════════════ Iterator layout (32-bit) ══════════════════╕
15
+ // 3 2 1
16
+ // 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 bits
17
+ // ├─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┤
18
+ // │ index │
19
+ // ├─────────────────────────────────────────────────────────┬───┬─┤
20
+ // │ reference │ 0 │D│
21
+ // └─────────────────────────────────────────────────────────┴───┴─┘
22
+ // D: Done flag
23
+
24
+ // get value(this: u64): T {
25
+ // ?
26
+ // }
27
+
28
+ // next(this: u64): Iterator<T> {
29
+ // ?
30
+ // }
31
+
32
+ done(this: u64): bool {
33
+ return <bool>(this & 1);
34
+ }
35
+ }
@@ -1,269 +1,269 @@
1
- /// <reference path="./rt/index.d.ts" />
2
-
3
- import { HASH } from "./util/hash";
4
- import { Runtime } from "shared/runtime";
5
- import { E_KEYNOTFOUND } from "./util/error";
6
-
7
- // A deterministic hash map based on CloseTable from https://github.com/jorendorff/dht
8
-
9
- // @ts-ignore: decorator
10
- @inline const INITIAL_CAPACITY = 4;
11
-
12
- // @ts-ignore: decorator
13
- @inline const FILL_FACTOR_N = 8;
14
-
15
- // @ts-ignore: decorator
16
- @inline const FILL_FACTOR_D = 3;
17
-
18
- // @ts-ignore: decorator
19
- @inline const FREE_FACTOR_N = 3;
20
-
21
- // @ts-ignore: decorator
22
- @inline const FREE_FACTOR_D = 4;
23
-
24
- /** Structure of a map entry. */
25
- @unmanaged class MapEntry<K,V> {
26
- key: K;
27
- value: V;
28
- taggedNext: usize; // LSB=1 indicates EMPTY
29
- }
30
-
31
- /** Empty bit. */
32
- // @ts-ignore: decorator
33
- @inline const EMPTY: usize = 1 << 0;
34
-
35
- /** Size of a bucket. */
36
- // @ts-ignore: decorator
37
- @inline const BUCKET_SIZE = sizeof<usize>();
38
-
39
- /** Computes the alignment of an entry. */
40
- // @ts-ignore: decorator
41
- @inline
42
- function ENTRY_ALIGN<K,V>(): usize {
43
- // can align to 4 instead of 8 if 32-bit and K/V is <= 32-bits
44
- const maxkv = sizeof<K>() > sizeof<V>() ? sizeof<K>() : sizeof<V>();
45
- const align = (maxkv > sizeof<usize>() ? maxkv : sizeof<usize>()) - 1;
46
- return align;
47
- }
48
-
49
- /** Computes the aligned size of an entry. */
50
- // @ts-ignore: decorator
51
- @inline
52
- function ENTRY_SIZE<K,V>(): usize {
53
- const align = ENTRY_ALIGN<K,V>();
54
- const size = (offsetof<MapEntry<K,V>>() + align) & ~align;
55
- return size;
56
- }
57
-
58
- export class Map<K,V> {
59
-
60
- // buckets referencing their respective first entry, usize[bucketsMask + 1]
61
- private buckets: ArrayBuffer = new ArrayBuffer(INITIAL_CAPACITY * <i32>BUCKET_SIZE);
62
- private bucketsMask: u32 = INITIAL_CAPACITY - 1;
63
-
64
- // entries in insertion order, MapEntry<K,V>[entriesCapacity]
65
- private entries: ArrayBuffer = new ArrayBuffer(INITIAL_CAPACITY * <i32>ENTRY_SIZE<K,V>());
66
- private entriesCapacity: i32 = INITIAL_CAPACITY;
67
- private entriesOffset: i32 = 0;
68
- private entriesCount: i32 = 0;
69
-
70
- constructor() {
71
- /* nop */
72
- }
73
-
74
- get size(): i32 {
75
- return this.entriesCount;
76
- }
77
-
78
- clear(): void {
79
- this.buckets = new ArrayBuffer(INITIAL_CAPACITY * <i32>BUCKET_SIZE);
80
- this.bucketsMask = INITIAL_CAPACITY - 1;
81
- this.entries = new ArrayBuffer(INITIAL_CAPACITY * <i32>ENTRY_SIZE<K,V>());
82
- this.entriesCapacity = INITIAL_CAPACITY;
83
- this.entriesOffset = 0;
84
- this.entriesCount = 0;
85
- }
86
-
87
- private find(key: K, hashCode: u32): MapEntry<K,V> | null {
88
- let entry = load<MapEntry<K,V>>( // unmanaged!
89
- changetype<usize>(this.buckets) + <usize>(hashCode & this.bucketsMask) * BUCKET_SIZE
90
- );
91
- while (entry) {
92
- let taggedNext = entry.taggedNext;
93
- if (!(taggedNext & EMPTY) && entry.key == key) return entry;
94
- entry = changetype<MapEntry<K,V>>(taggedNext & ~EMPTY);
95
- }
96
- return null;
97
- }
98
-
99
- has(key: K): bool {
100
- return this.find(key, HASH<K>(key)) != null;
101
- }
102
-
103
- @operator("[]")
104
- get(key: K): V {
105
- let entry = this.find(key, HASH<K>(key));
106
- if (!entry) throw new Error(E_KEYNOTFOUND); // cannot represent `undefined`
107
- return entry.value;
108
- }
109
-
110
- @operator("[]=")
111
- set(key: K, value: V): this {
112
- let hashCode = HASH<K>(key);
113
- let entry = this.find(key, hashCode); // unmanaged!
114
- if (entry) {
115
- entry.value = value;
116
- if (isManaged<V>()) {
117
- if (ASC_RUNTIME != Runtime.Memory) {
118
- __link(changetype<usize>(this), changetype<usize>(value), true);
119
- }
120
- }
121
- } else {
122
- // check if rehashing is necessary
123
- if (this.entriesOffset == this.entriesCapacity) {
124
- this.rehash(
125
- this.entriesCount < this.entriesCapacity * FREE_FACTOR_N / FREE_FACTOR_D
126
- ? this.bucketsMask // just rehash if 1/4+ entries are empty
127
- : (this.bucketsMask << 1) | 1 // grow capacity to next 2^N
128
- );
129
- }
130
- // append new entry
131
- let entries = this.entries;
132
- entry = changetype<MapEntry<K,V>>(changetype<usize>(entries) + <usize>(this.entriesOffset++) * ENTRY_SIZE<K,V>());
133
- // link with the map
134
- entry.key = key;
135
- if (isManaged<K>()) {
136
- if (ASC_RUNTIME != Runtime.Memory) {
137
- __link(changetype<usize>(this), changetype<usize>(key), true);
138
- }
139
- }
140
- entry.value = value;
141
- if (isManaged<V>()) {
142
- if (ASC_RUNTIME != Runtime.Memory) {
143
- __link(changetype<usize>(this), changetype<usize>(value), true);
144
- }
145
- }
146
- ++this.entriesCount;
147
- // link with previous entry in bucket
148
- let bucketPtrBase = changetype<usize>(this.buckets) + <usize>(hashCode & this.bucketsMask) * BUCKET_SIZE;
149
- entry.taggedNext = load<usize>(bucketPtrBase);
150
- store<usize>(bucketPtrBase, changetype<usize>(entry));
151
- }
152
- return this;
153
- }
154
-
155
- delete(key: K): bool {
156
- let entry = this.find(key, HASH<K>(key));
157
- if (!entry) return false;
158
- entry.taggedNext |= EMPTY;
159
- --this.entriesCount;
160
- // check if rehashing is appropriate
161
- let halfBucketsMask = this.bucketsMask >> 1;
162
- if (
163
- halfBucketsMask + 1 >= max<u32>(INITIAL_CAPACITY, this.entriesCount) &&
164
- this.entriesCount < this.entriesCapacity * FREE_FACTOR_N / FREE_FACTOR_D
165
- ) this.rehash(halfBucketsMask);
166
- return true;
167
- }
168
-
169
- private rehash(newBucketsMask: u32): void {
170
- let newBucketsCapacity = <i32>(newBucketsMask + 1);
171
- let newBuckets = new ArrayBuffer(newBucketsCapacity * <i32>BUCKET_SIZE);
172
- let newEntriesCapacity = newBucketsCapacity * FILL_FACTOR_N / FILL_FACTOR_D;
173
- let newEntries = new ArrayBuffer(newEntriesCapacity * <i32>ENTRY_SIZE<K,V>());
174
-
175
- // copy old entries to new entries
176
- let oldPtr = changetype<usize>(this.entries);
177
- let oldEnd = oldPtr + <usize>this.entriesOffset * ENTRY_SIZE<K,V>();
178
- let newPtr = changetype<usize>(newEntries);
179
- while (oldPtr != oldEnd) {
180
- let oldEntry = changetype<MapEntry<K,V>>(oldPtr);
181
- if (!(oldEntry.taggedNext & EMPTY)) {
182
- let newEntry = changetype<MapEntry<K,V>>(newPtr);
183
- let oldEntryKey = oldEntry.key;
184
- newEntry.key = oldEntryKey;
185
- newEntry.value = oldEntry.value;
186
- let newBucketIndex = HASH<K>(oldEntryKey) & newBucketsMask;
187
- let newBucketPtrBase = changetype<usize>(newBuckets) + <usize>newBucketIndex * BUCKET_SIZE;
188
- newEntry.taggedNext = load<usize>(newBucketPtrBase);
189
- store<usize>(newBucketPtrBase, newPtr);
190
- newPtr += ENTRY_SIZE<K,V>();
191
- }
192
- oldPtr += ENTRY_SIZE<K,V>();
193
- }
194
-
195
- this.buckets = newBuckets;
196
- this.bucketsMask = newBucketsMask;
197
- this.entries = newEntries;
198
- this.entriesCapacity = newEntriesCapacity;
199
- this.entriesOffset = this.entriesCount;
200
- }
201
-
202
- keys(): K[] {
203
- // FIXME: this is preliminary, needs iterators/closures
204
- let start = changetype<usize>(this.entries);
205
- let size = this.entriesOffset;
206
- let keys = new Array<K>(size);
207
- let length = 0;
208
- for (let i = 0; i < size; ++i) {
209
- let entry = changetype<MapEntry<K,V>>(start + <usize>i * ENTRY_SIZE<K,V>());
210
- if (!(entry.taggedNext & EMPTY)) {
211
- unchecked(keys[length++] = entry.key);
212
- }
213
- }
214
- keys.length = length;
215
- return keys;
216
- }
217
-
218
- values(): V[] {
219
- // FIXME: this is preliminary, needs iterators/closures
220
- let start = changetype<usize>(this.entries);
221
- let size = this.entriesOffset;
222
- let values = new Array<V>(size);
223
- let length = 0;
224
- for (let i = 0; i < size; ++i) {
225
- let entry = changetype<MapEntry<K,V>>(start + <usize>i * ENTRY_SIZE<K,V>());
226
- if (!(entry.taggedNext & EMPTY)) {
227
- unchecked(values[length++] = entry.value);
228
- }
229
- }
230
- values.length = length;
231
- return values;
232
- }
233
-
234
- toString(): string {
235
- return "[object Map]";
236
- }
237
-
238
- // RT integration
239
-
240
- @unsafe private __visit(cookie: u32): void {
241
- if (ASC_RUNTIME != Runtime.Memory) {
242
- __visit(changetype<usize>(this.buckets), cookie);
243
- let entries = changetype<usize>(this.entries);
244
- if (isManaged<K>() || isManaged<V>()) {
245
- let cur = entries;
246
- let end = cur + <usize>this.entriesOffset * ENTRY_SIZE<K,V>();
247
- while (cur < end) {
248
- let entry = changetype<MapEntry<K,V>>(cur);
249
- if (!(entry.taggedNext & EMPTY)) {
250
- if (isManaged<K>()) {
251
- let val = changetype<usize>(entry.key);
252
- if (isNullable<K>()) {
253
- if (val) __visit(val, cookie);
254
- } else __visit(val, cookie);
255
- }
256
- if (isManaged<V>()) {
257
- let val = changetype<usize>(entry.value);
258
- if (isNullable<V>()) {
259
- if (val) __visit(val, cookie);
260
- } else __visit(val, cookie);
261
- }
262
- }
263
- cur += ENTRY_SIZE<K,V>();
264
- }
265
- }
266
- __visit(entries, cookie);
267
- }
268
- }
269
- }
1
+ /// <reference path="./rt/index.d.ts" />
2
+
3
+ import { HASH } from "./util/hash";
4
+ import { Runtime } from "shared/runtime";
5
+ import { E_KEYNOTFOUND } from "./util/error";
6
+
7
+ // A deterministic hash map based on CloseTable from https://github.com/jorendorff/dht
8
+
9
+ // @ts-ignore: decorator
10
+ @inline const INITIAL_CAPACITY = 4;
11
+
12
+ // @ts-ignore: decorator
13
+ @inline const FILL_FACTOR_N = 8;
14
+
15
+ // @ts-ignore: decorator
16
+ @inline const FILL_FACTOR_D = 3;
17
+
18
+ // @ts-ignore: decorator
19
+ @inline const FREE_FACTOR_N = 3;
20
+
21
+ // @ts-ignore: decorator
22
+ @inline const FREE_FACTOR_D = 4;
23
+
24
+ /** Structure of a map entry. */
25
+ @unmanaged class MapEntry<K,V> {
26
+ key: K;
27
+ value: V;
28
+ taggedNext: usize; // LSB=1 indicates EMPTY
29
+ }
30
+
31
+ /** Empty bit. */
32
+ // @ts-ignore: decorator
33
+ @inline const EMPTY: usize = 1 << 0;
34
+
35
+ /** Size of a bucket. */
36
+ // @ts-ignore: decorator
37
+ @inline const BUCKET_SIZE = sizeof<usize>();
38
+
39
+ /** Computes the alignment of an entry. */
40
+ // @ts-ignore: decorator
41
+ @inline
42
+ function ENTRY_ALIGN<K,V>(): usize {
43
+ // can align to 4 instead of 8 if 32-bit and K/V is <= 32-bits
44
+ const maxkv = sizeof<K>() > sizeof<V>() ? sizeof<K>() : sizeof<V>();
45
+ const align = (maxkv > sizeof<usize>() ? maxkv : sizeof<usize>()) - 1;
46
+ return align;
47
+ }
48
+
49
+ /** Computes the aligned size of an entry. */
50
+ // @ts-ignore: decorator
51
+ @inline
52
+ function ENTRY_SIZE<K,V>(): usize {
53
+ const align = ENTRY_ALIGN<K,V>();
54
+ const size = (offsetof<MapEntry<K,V>>() + align) & ~align;
55
+ return size;
56
+ }
57
+
58
+ export class Map<K,V> {
59
+
60
+ // buckets referencing their respective first entry, usize[bucketsMask + 1]
61
+ private buckets: ArrayBuffer = new ArrayBuffer(INITIAL_CAPACITY * <i32>BUCKET_SIZE);
62
+ private bucketsMask: u32 = INITIAL_CAPACITY - 1;
63
+
64
+ // entries in insertion order, MapEntry<K,V>[entriesCapacity]
65
+ private entries: ArrayBuffer = new ArrayBuffer(INITIAL_CAPACITY * <i32>ENTRY_SIZE<K,V>());
66
+ private entriesCapacity: i32 = INITIAL_CAPACITY;
67
+ private entriesOffset: i32 = 0;
68
+ private entriesCount: i32 = 0;
69
+
70
+ constructor() {
71
+ /* nop */
72
+ }
73
+
74
+ get size(): i32 {
75
+ return this.entriesCount;
76
+ }
77
+
78
+ clear(): void {
79
+ this.buckets = new ArrayBuffer(INITIAL_CAPACITY * <i32>BUCKET_SIZE);
80
+ this.bucketsMask = INITIAL_CAPACITY - 1;
81
+ this.entries = new ArrayBuffer(INITIAL_CAPACITY * <i32>ENTRY_SIZE<K,V>());
82
+ this.entriesCapacity = INITIAL_CAPACITY;
83
+ this.entriesOffset = 0;
84
+ this.entriesCount = 0;
85
+ }
86
+
87
+ private find(key: K, hashCode: u32): MapEntry<K,V> | null {
88
+ let entry = load<MapEntry<K,V>>( // unmanaged!
89
+ changetype<usize>(this.buckets) + <usize>(hashCode & this.bucketsMask) * BUCKET_SIZE
90
+ );
91
+ while (entry) {
92
+ let taggedNext = entry.taggedNext;
93
+ if (!(taggedNext & EMPTY) && entry.key == key) return entry;
94
+ entry = changetype<MapEntry<K,V>>(taggedNext & ~EMPTY);
95
+ }
96
+ return null;
97
+ }
98
+
99
+ has(key: K): bool {
100
+ return this.find(key, HASH<K>(key)) != null;
101
+ }
102
+
103
+ @operator("[]")
104
+ get(key: K): V {
105
+ let entry = this.find(key, HASH<K>(key));
106
+ if (!entry) throw new Error(E_KEYNOTFOUND); // cannot represent `undefined`
107
+ return entry.value;
108
+ }
109
+
110
+ @operator("[]=")
111
+ set(key: K, value: V): this {
112
+ let hashCode = HASH<K>(key);
113
+ let entry = this.find(key, hashCode); // unmanaged!
114
+ if (entry) {
115
+ entry.value = value;
116
+ if (isManaged<V>()) {
117
+ if (ASC_RUNTIME != Runtime.Memory) {
118
+ __link(changetype<usize>(this), changetype<usize>(value), true);
119
+ }
120
+ }
121
+ } else {
122
+ // check if rehashing is necessary
123
+ if (this.entriesOffset == this.entriesCapacity) {
124
+ this.rehash(
125
+ this.entriesCount < this.entriesCapacity * FREE_FACTOR_N / FREE_FACTOR_D
126
+ ? this.bucketsMask // just rehash if 1/4+ entries are empty
127
+ : (this.bucketsMask << 1) | 1 // grow capacity to next 2^N
128
+ );
129
+ }
130
+ // append new entry
131
+ let entries = this.entries;
132
+ entry = changetype<MapEntry<K,V>>(changetype<usize>(entries) + <usize>(this.entriesOffset++) * ENTRY_SIZE<K,V>());
133
+ // link with the map
134
+ entry.key = key;
135
+ if (isManaged<K>()) {
136
+ if (ASC_RUNTIME != Runtime.Memory) {
137
+ __link(changetype<usize>(this), changetype<usize>(key), true);
138
+ }
139
+ }
140
+ entry.value = value;
141
+ if (isManaged<V>()) {
142
+ if (ASC_RUNTIME != Runtime.Memory) {
143
+ __link(changetype<usize>(this), changetype<usize>(value), true);
144
+ }
145
+ }
146
+ ++this.entriesCount;
147
+ // link with previous entry in bucket
148
+ let bucketPtrBase = changetype<usize>(this.buckets) + <usize>(hashCode & this.bucketsMask) * BUCKET_SIZE;
149
+ entry.taggedNext = load<usize>(bucketPtrBase);
150
+ store<usize>(bucketPtrBase, changetype<usize>(entry));
151
+ }
152
+ return this;
153
+ }
154
+
155
+ delete(key: K): bool {
156
+ let entry = this.find(key, HASH<K>(key));
157
+ if (!entry) return false;
158
+ entry.taggedNext |= EMPTY;
159
+ --this.entriesCount;
160
+ // check if rehashing is appropriate
161
+ let halfBucketsMask = this.bucketsMask >> 1;
162
+ if (
163
+ halfBucketsMask + 1 >= max<u32>(INITIAL_CAPACITY, this.entriesCount) &&
164
+ this.entriesCount < this.entriesCapacity * FREE_FACTOR_N / FREE_FACTOR_D
165
+ ) this.rehash(halfBucketsMask);
166
+ return true;
167
+ }
168
+
169
+ private rehash(newBucketsMask: u32): void {
170
+ let newBucketsCapacity = <i32>(newBucketsMask + 1);
171
+ let newBuckets = new ArrayBuffer(newBucketsCapacity * <i32>BUCKET_SIZE);
172
+ let newEntriesCapacity = newBucketsCapacity * FILL_FACTOR_N / FILL_FACTOR_D;
173
+ let newEntries = new ArrayBuffer(newEntriesCapacity * <i32>ENTRY_SIZE<K,V>());
174
+
175
+ // copy old entries to new entries
176
+ let oldPtr = changetype<usize>(this.entries);
177
+ let oldEnd = oldPtr + <usize>this.entriesOffset * ENTRY_SIZE<K,V>();
178
+ let newPtr = changetype<usize>(newEntries);
179
+ while (oldPtr != oldEnd) {
180
+ let oldEntry = changetype<MapEntry<K,V>>(oldPtr);
181
+ if (!(oldEntry.taggedNext & EMPTY)) {
182
+ let newEntry = changetype<MapEntry<K,V>>(newPtr);
183
+ let oldEntryKey = oldEntry.key;
184
+ newEntry.key = oldEntryKey;
185
+ newEntry.value = oldEntry.value;
186
+ let newBucketIndex = HASH<K>(oldEntryKey) & newBucketsMask;
187
+ let newBucketPtrBase = changetype<usize>(newBuckets) + <usize>newBucketIndex * BUCKET_SIZE;
188
+ newEntry.taggedNext = load<usize>(newBucketPtrBase);
189
+ store<usize>(newBucketPtrBase, newPtr);
190
+ newPtr += ENTRY_SIZE<K,V>();
191
+ }
192
+ oldPtr += ENTRY_SIZE<K,V>();
193
+ }
194
+
195
+ this.buckets = newBuckets;
196
+ this.bucketsMask = newBucketsMask;
197
+ this.entries = newEntries;
198
+ this.entriesCapacity = newEntriesCapacity;
199
+ this.entriesOffset = this.entriesCount;
200
+ }
201
+
202
+ keys(): K[] {
203
+ // FIXME: this is preliminary, needs iterators/closures
204
+ let start = changetype<usize>(this.entries);
205
+ let size = this.entriesOffset;
206
+ let keys = new Array<K>(size);
207
+ let length = 0;
208
+ for (let i = 0; i < size; ++i) {
209
+ let entry = changetype<MapEntry<K,V>>(start + <usize>i * ENTRY_SIZE<K,V>());
210
+ if (!(entry.taggedNext & EMPTY)) {
211
+ unchecked(keys[length++] = entry.key);
212
+ }
213
+ }
214
+ keys.length = length;
215
+ return keys;
216
+ }
217
+
218
+ values(): V[] {
219
+ // FIXME: this is preliminary, needs iterators/closures
220
+ let start = changetype<usize>(this.entries);
221
+ let size = this.entriesOffset;
222
+ let values = new Array<V>(size);
223
+ let length = 0;
224
+ for (let i = 0; i < size; ++i) {
225
+ let entry = changetype<MapEntry<K,V>>(start + <usize>i * ENTRY_SIZE<K,V>());
226
+ if (!(entry.taggedNext & EMPTY)) {
227
+ unchecked(values[length++] = entry.value);
228
+ }
229
+ }
230
+ values.length = length;
231
+ return values;
232
+ }
233
+
234
+ toString(): string {
235
+ return "[object Map]";
236
+ }
237
+
238
+ // RT integration
239
+
240
+ @unsafe private __visit(cookie: u32): void {
241
+ if (ASC_RUNTIME != Runtime.Memory) {
242
+ __visit(changetype<usize>(this.buckets), cookie);
243
+ let entries = changetype<usize>(this.entries);
244
+ if (isManaged<K>() || isManaged<V>()) {
245
+ let cur = entries;
246
+ let end = cur + <usize>this.entriesOffset * ENTRY_SIZE<K,V>();
247
+ while (cur < end) {
248
+ let entry = changetype<MapEntry<K,V>>(cur);
249
+ if (!(entry.taggedNext & EMPTY)) {
250
+ if (isManaged<K>()) {
251
+ let val = changetype<usize>(entry.key);
252
+ if (isNullable<K>()) {
253
+ if (val) __visit(val, cookie);
254
+ } else __visit(val, cookie);
255
+ }
256
+ if (isManaged<V>()) {
257
+ let val = changetype<usize>(entry.value);
258
+ if (isNullable<V>()) {
259
+ if (val) __visit(val, cookie);
260
+ } else __visit(val, cookie);
261
+ }
262
+ }
263
+ cur += ENTRY_SIZE<K,V>();
264
+ }
265
+ }
266
+ __visit(entries, cookie);
267
+ }
268
+ }
269
+ }