semantic_default.js 3.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123
  1. import * as SemanticAttr from './semantic_attr.js';
  2. import { reduce } from './semantic_ordering.js';
  3. function key(symbol, font) {
  4. return symbol.match(/^.+:.+$/) || !font ? symbol : symbol + ':' + font;
  5. }
  6. export class SemanticDefault extends Map {
  7. set(symbol, meaning) {
  8. super.set(key(symbol, meaning.font), meaning);
  9. return this;
  10. }
  11. setNode(node) {
  12. this.set(node.textContent, node.meaning());
  13. }
  14. get(symbol, font = null) {
  15. return super.get(key(symbol, font));
  16. }
  17. getNode(node) {
  18. return this.get(node.textContent, node.font);
  19. }
  20. }
  21. class SemanticCollator extends Map {
  22. add(symbol, entry) {
  23. const list = this.get(symbol);
  24. if (list) {
  25. list.push(entry);
  26. }
  27. else {
  28. super.set(symbol, [entry]);
  29. }
  30. }
  31. get(symbol, font = null) {
  32. return super.get(key(symbol, font));
  33. }
  34. getNode(node) {
  35. return this.get(node.textContent, node.font);
  36. }
  37. minimize() {
  38. for (const [key, entry] of this) {
  39. if (entry.length === 1) {
  40. this.delete(key);
  41. }
  42. }
  43. }
  44. isMultiValued() {
  45. for (const value of this.values()) {
  46. if (value.length > 1) {
  47. return true;
  48. }
  49. }
  50. return false;
  51. }
  52. }
  53. export class SemanticNodeCollator extends SemanticCollator {
  54. add(symbol, entry) {
  55. super.add(key(symbol, entry.font), entry);
  56. }
  57. addNode(node) {
  58. this.add(node.textContent, node);
  59. }
  60. toString() {
  61. const outer = [];
  62. for (const [key, nodes] of this) {
  63. const length = Array(key.length + 3).join(' ');
  64. const inner = nodes.map((node) => node.toString()).join('\n' + length);
  65. outer.push(key + ': ' + inner);
  66. }
  67. return outer.join('\n');
  68. }
  69. collateMeaning() {
  70. const collator = new SemanticMeaningCollator();
  71. for (const [key, val] of this) {
  72. collator.set(key, val.map((node) => node.meaning()));
  73. }
  74. return collator;
  75. }
  76. }
  77. export class SemanticMeaningCollator extends SemanticCollator {
  78. add(symbol, entry) {
  79. const list = this.get(symbol, entry.font);
  80. if (!list ||
  81. !list.find(function (x) {
  82. return SemanticAttr.equal(x, entry);
  83. })) {
  84. super.add(key(symbol, entry.font), entry);
  85. }
  86. }
  87. addNode(node) {
  88. this.add(node.textContent, node.meaning());
  89. }
  90. toString() {
  91. const outer = [];
  92. for (const [key, nodes] of this) {
  93. const length = Array(key.length + 3).join(' ');
  94. const inner = nodes
  95. .map((node) => `{type: ${node.type}, role: ${node.role}, font: ${node.font}}`)
  96. .join('\n' + length);
  97. outer.push(key + ': ' + inner);
  98. }
  99. return outer.join('\n');
  100. }
  101. reduce() {
  102. for (const [key, val] of this) {
  103. if (val.length !== 1) {
  104. this.set(key, reduce(val));
  105. }
  106. }
  107. }
  108. default() {
  109. const def = new SemanticDefault();
  110. for (const [key, val] of this) {
  111. if (val.length === 1) {
  112. def.set(key, val[0]);
  113. }
  114. }
  115. return def;
  116. }
  117. newDefault() {
  118. const oldDefault = this.default();
  119. this.reduce();
  120. const newDefault = this.default();
  121. return oldDefault.size !== newDefault.size ? newDefault : null;
  122. }
  123. }