enrich_case_factory.js 1.6 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152
  1. import { CaseBinomial } from './case_binomial.js';
  2. import { CaseDoubleScript } from './case_double_script.js';
  3. import { CaseEmbellished } from './case_embellished.js';
  4. import { CaseEmpheq } from './case_empheq.js';
  5. import { CaseLimit } from './case_limit.js';
  6. import { CaseLine } from './case_line.js';
  7. import { CaseMultiscripts } from './case_multiscripts.js';
  8. import { CaseProof } from './case_proof.js';
  9. import { CaseTable } from './case_table.js';
  10. import { CaseTensor } from './case_tensor.js';
  11. import { CaseText } from './case_text.js';
  12. import { factory } from './enrich_case.js';
  13. factory.push(...[
  14. {
  15. test: CaseLimit.test,
  16. constr: (node) => new CaseLimit(node)
  17. },
  18. {
  19. test: CaseEmbellished.test,
  20. constr: (node) => new CaseEmbellished(node)
  21. },
  22. {
  23. test: CaseDoubleScript.test,
  24. constr: (node) => new CaseDoubleScript(node)
  25. },
  26. {
  27. test: CaseTensor.test,
  28. constr: (node) => new CaseTensor(node)
  29. },
  30. {
  31. test: CaseMultiscripts.test,
  32. constr: (node) => new CaseMultiscripts(node)
  33. },
  34. { test: CaseLine.test, constr: (node) => new CaseLine(node) },
  35. {
  36. test: CaseBinomial.test,
  37. constr: (node) => new CaseBinomial(node)
  38. },
  39. {
  40. test: CaseProof.test,
  41. constr: (node) => new CaseProof(node)
  42. },
  43. {
  44. test: CaseEmpheq.test,
  45. constr: (node) => new CaseEmpheq(node)
  46. },
  47. {
  48. test: CaseTable.test,
  49. constr: (node) => new CaseTable(node)
  50. },
  51. { test: CaseText.test, constr: (node) => new CaseText(node) }
  52. ]);