enrich_case_factory.js 2.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354
  1. "use strict";
  2. Object.defineProperty(exports, "__esModule", { value: true });
  3. const case_binomial_js_1 = require("./case_binomial.js");
  4. const case_double_script_js_1 = require("./case_double_script.js");
  5. const case_embellished_js_1 = require("./case_embellished.js");
  6. const case_empheq_js_1 = require("./case_empheq.js");
  7. const case_limit_js_1 = require("./case_limit.js");
  8. const case_line_js_1 = require("./case_line.js");
  9. const case_multiscripts_js_1 = require("./case_multiscripts.js");
  10. const case_proof_js_1 = require("./case_proof.js");
  11. const case_table_js_1 = require("./case_table.js");
  12. const case_tensor_js_1 = require("./case_tensor.js");
  13. const case_text_js_1 = require("./case_text.js");
  14. const enrich_case_js_1 = require("./enrich_case.js");
  15. enrich_case_js_1.factory.push(...[
  16. {
  17. test: case_limit_js_1.CaseLimit.test,
  18. constr: (node) => new case_limit_js_1.CaseLimit(node)
  19. },
  20. {
  21. test: case_embellished_js_1.CaseEmbellished.test,
  22. constr: (node) => new case_embellished_js_1.CaseEmbellished(node)
  23. },
  24. {
  25. test: case_double_script_js_1.CaseDoubleScript.test,
  26. constr: (node) => new case_double_script_js_1.CaseDoubleScript(node)
  27. },
  28. {
  29. test: case_tensor_js_1.CaseTensor.test,
  30. constr: (node) => new case_tensor_js_1.CaseTensor(node)
  31. },
  32. {
  33. test: case_multiscripts_js_1.CaseMultiscripts.test,
  34. constr: (node) => new case_multiscripts_js_1.CaseMultiscripts(node)
  35. },
  36. { test: case_line_js_1.CaseLine.test, constr: (node) => new case_line_js_1.CaseLine(node) },
  37. {
  38. test: case_binomial_js_1.CaseBinomial.test,
  39. constr: (node) => new case_binomial_js_1.CaseBinomial(node)
  40. },
  41. {
  42. test: case_proof_js_1.CaseProof.test,
  43. constr: (node) => new case_proof_js_1.CaseProof(node)
  44. },
  45. {
  46. test: case_empheq_js_1.CaseEmpheq.test,
  47. constr: (node) => new case_empheq_js_1.CaseEmpheq(node)
  48. },
  49. {
  50. test: case_table_js_1.CaseTable.test,
  51. constr: (node) => new case_table_js_1.CaseTable(node)
  52. },
  53. { test: case_text_js_1.CaseText.test, constr: (node) => new case_text_js_1.CaseText(node) }
  54. ]);