case_tensor.js 1.9 KB

123456789101112131415161718192021222324252627282930313233343536373839
  1. "use strict";
  2. Object.defineProperty(exports, "__esModule", { value: true });
  3. exports.CaseTensor = void 0;
  4. const semantic_meaning_js_1 = require("../semantic_tree/semantic_meaning.js");
  5. const semantic_skeleton_js_1 = require("../semantic_tree/semantic_skeleton.js");
  6. const case_multiindex_js_1 = require("./case_multiindex.js");
  7. const EnrichMathml = require("./enrich_mathml.js");
  8. const enrich_attr_js_1 = require("./enrich_attr.js");
  9. class CaseTensor extends case_multiindex_js_1.CaseMultiindex {
  10. static test(semantic) {
  11. return !!semantic.mathmlTree && semantic.type === semantic_meaning_js_1.SemanticType.TENSOR;
  12. }
  13. constructor(semantic) {
  14. super(semantic);
  15. }
  16. getMathml() {
  17. EnrichMathml.walkTree(this.semantic.childNodes[0]);
  18. const lsub = case_multiindex_js_1.CaseMultiindex.multiscriptIndex(this.semantic.childNodes[1]);
  19. const lsup = case_multiindex_js_1.CaseMultiindex.multiscriptIndex(this.semantic.childNodes[2]);
  20. const rsub = case_multiindex_js_1.CaseMultiindex.multiscriptIndex(this.semantic.childNodes[3]);
  21. const rsup = case_multiindex_js_1.CaseMultiindex.multiscriptIndex(this.semantic.childNodes[4]);
  22. (0, enrich_attr_js_1.setAttributes)(this.mml, this.semantic);
  23. const collapsed = [
  24. this.semantic.id,
  25. this.semantic.childNodes[0].id,
  26. lsub,
  27. lsup,
  28. rsub,
  29. rsup
  30. ];
  31. EnrichMathml.addCollapsedAttribute(this.mml, collapsed);
  32. const childIds = semantic_skeleton_js_1.SemanticSkeleton.collapsedLeafs(lsub, lsup, rsub, rsup);
  33. childIds.unshift(this.semantic.childNodes[0].id);
  34. this.mml.setAttribute(enrich_attr_js_1.Attribute.CHILDREN, childIds.join(','));
  35. this.completeMultiscript(semantic_skeleton_js_1.SemanticSkeleton.interleaveIds(rsub, rsup), semantic_skeleton_js_1.SemanticSkeleton.interleaveIds(lsub, lsup));
  36. return this.mml;
  37. }
  38. }
  39. exports.CaseTensor = CaseTensor;