BussproofsConfiguration.ts 1.4 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849
  1. /*************************************************************
  2. *
  3. * Copyright (c) 2018-2022 The MathJax Consortium
  4. *
  5. * Licensed under the Apache License, Version 2.0 (the "License");
  6. * you may not use this file except in compliance with the License.
  7. * You may obtain a copy of the License at
  8. *
  9. * http://www.apache.org/licenses/LICENSE-2.0
  10. *
  11. * Unless required by applicable law or agreed to in writing, software
  12. * distributed under the License is distributed on an "AS IS" BASIS,
  13. * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  14. * See the License for the specific language governing permissions and
  15. * limitations under the License.
  16. */
  17. /**
  18. * @fileoverview Configuration file for the Bussproofs package.
  19. *
  20. * @author v.sorge@mathjax.org (Volker Sorge)
  21. */
  22. import {Configuration} from '../Configuration.js';
  23. import {ProofTreeItem} from './BussproofsItems.js';
  24. import {saveDocument, clearDocument, balanceRules, makeBsprAttributes} from './BussproofsUtil.js';
  25. import './BussproofsMappings.js';
  26. export const BussproofsConfiguration = Configuration.create(
  27. 'bussproofs', {
  28. handler: {
  29. macro: ['Bussproofs-macros'],
  30. environment: ['Bussproofs-environments']
  31. },
  32. items: {
  33. [ProofTreeItem.prototype.kind]: ProofTreeItem,
  34. },
  35. preprocessors: [
  36. [saveDocument, 1]
  37. ],
  38. postprocessors: [
  39. [clearDocument, 3],
  40. [makeBsprAttributes, 2],
  41. [balanceRules, 1]
  42. ]
  43. }
  44. );