TupleSet.js 3.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179
  1. /*
  2. MIT License http://www.opensource.org/licenses/mit-license.php
  3. Author Tobias Koppers @sokra
  4. */
  5. "use strict";
  6. /**
  7. * @template K
  8. * @template V
  9. * @typedef {Map<K, InnerMap<K, V> | Set<V>>} InnerMap
  10. */
  11. /**
  12. * @template T
  13. * @template V
  14. */
  15. class TupleSet {
  16. /**
  17. * @param {Iterable<[T, V, ...EXPECTED_ANY]>=} init init
  18. */
  19. constructor(init) {
  20. /** @type {InnerMap<T, V>} */
  21. this._map = new Map();
  22. this.size = 0;
  23. if (init) {
  24. for (const tuple of init) {
  25. this.add(...tuple);
  26. }
  27. }
  28. }
  29. /**
  30. * @param {[T, V, ...EXPECTED_ANY]} args tuple
  31. * @returns {void}
  32. */
  33. add(...args) {
  34. let map = this._map;
  35. for (let i = 0; i < args.length - 2; i++) {
  36. const arg = args[i];
  37. const innerMap = map.get(arg);
  38. if (innerMap === undefined) {
  39. map.set(arg, (map = new Map()));
  40. } else {
  41. map = /** @type {InnerMap<T, V>} */ (innerMap);
  42. }
  43. }
  44. const beforeLast = args[args.length - 2];
  45. let set = /** @type {Set<V>} */ (map.get(beforeLast));
  46. if (set === undefined) {
  47. map.set(beforeLast, (set = new Set()));
  48. }
  49. const last = args[args.length - 1];
  50. this.size -= set.size;
  51. set.add(last);
  52. this.size += set.size;
  53. }
  54. /**
  55. * @param {[T, V, ...EXPECTED_ANY]} args tuple
  56. * @returns {boolean} true, if the tuple is in the Set
  57. */
  58. has(...args) {
  59. let map = this._map;
  60. for (let i = 0; i < args.length - 2; i++) {
  61. const arg = args[i];
  62. map = /** @type {InnerMap<T, V>} */ (map.get(arg));
  63. if (map === undefined) {
  64. return false;
  65. }
  66. }
  67. const beforeLast = args[args.length - 2];
  68. const set = map.get(beforeLast);
  69. if (set === undefined) {
  70. return false;
  71. }
  72. const last = args[args.length - 1];
  73. return set.has(last);
  74. }
  75. /**
  76. * @param {[T, V, ...EXPECTED_ANY]} args tuple
  77. * @returns {void}
  78. */
  79. delete(...args) {
  80. let map = this._map;
  81. for (let i = 0; i < args.length - 2; i++) {
  82. const arg = args[i];
  83. map = /** @type {InnerMap<T, V>} */ (map.get(arg));
  84. if (map === undefined) {
  85. return;
  86. }
  87. }
  88. const beforeLast = args[args.length - 2];
  89. const set = map.get(beforeLast);
  90. if (set === undefined) {
  91. return;
  92. }
  93. const last = args[args.length - 1];
  94. this.size -= set.size;
  95. set.delete(last);
  96. this.size += set.size;
  97. }
  98. /**
  99. * @returns {Iterator<[T, V, ...EXPECTED_ANY]>} iterator
  100. */
  101. [Symbol.iterator]() {
  102. // This is difficult to type because we can have a map inside a map inside a map, etc. where the end is a set (each key is an argument)
  103. // But in basic use we only have 2 arguments in our methods, so we have `Map<K, Set<V>>`
  104. /** @type {MapIterator<[T, InnerMap<T, V> | Set<V>]>[]} */
  105. const iteratorStack = [];
  106. /** @type {[T?, V?, ...EXPECTED_ANY]} */
  107. const tuple = [];
  108. /** @type {SetIterator<V> | undefined} */
  109. let currentSetIterator;
  110. /**
  111. * @param {MapIterator<[T, InnerMap<T, V> | Set<V>]>} it iterator
  112. * @returns {boolean} result
  113. */
  114. const next = it => {
  115. const result = it.next();
  116. if (result.done) {
  117. if (iteratorStack.length === 0) return false;
  118. tuple.pop();
  119. return next(
  120. /** @type {MapIterator<[T, InnerMap<T, V> | Set<V>]>} */
  121. (iteratorStack.pop())
  122. );
  123. }
  124. const [key, value] = result.value;
  125. iteratorStack.push(it);
  126. tuple.push(key);
  127. if (value instanceof Set) {
  128. currentSetIterator = value[Symbol.iterator]();
  129. return true;
  130. }
  131. return next(value[Symbol.iterator]());
  132. };
  133. next(this._map[Symbol.iterator]());
  134. return {
  135. next() {
  136. while (currentSetIterator) {
  137. const result = currentSetIterator.next();
  138. if (result.done) {
  139. tuple.pop();
  140. if (
  141. !next(
  142. /** @type {MapIterator<[T, InnerMap<T, V> | Set<V>]>} */
  143. (iteratorStack.pop())
  144. )
  145. ) {
  146. currentSetIterator = undefined;
  147. }
  148. } else {
  149. return {
  150. done: false,
  151. value:
  152. /** @type {[T, V, ...EXPECTED_ANY]} */
  153. (tuple.concat(result.value))
  154. };
  155. }
  156. }
  157. return { done: true, value: undefined };
  158. }
  159. };
  160. }
  161. }
  162. module.exports = TupleSet;