BussproofsConfiguration.js 975 B

1234567891011121314151617181920212223242526
  1. "use strict";
  2. var _a;
  3. Object.defineProperty(exports, "__esModule", { value: true });
  4. exports.BussproofsConfiguration = void 0;
  5. var Configuration_js_1 = require("../Configuration.js");
  6. var BussproofsItems_js_1 = require("./BussproofsItems.js");
  7. var BussproofsUtil_js_1 = require("./BussproofsUtil.js");
  8. require("./BussproofsMappings.js");
  9. exports.BussproofsConfiguration = Configuration_js_1.Configuration.create('bussproofs', {
  10. handler: {
  11. macro: ['Bussproofs-macros'],
  12. environment: ['Bussproofs-environments']
  13. },
  14. items: (_a = {},
  15. _a[BussproofsItems_js_1.ProofTreeItem.prototype.kind] = BussproofsItems_js_1.ProofTreeItem,
  16. _a),
  17. preprocessors: [
  18. [BussproofsUtil_js_1.saveDocument, 1]
  19. ],
  20. postprocessors: [
  21. [BussproofsUtil_js_1.clearDocument, 3],
  22. [BussproofsUtil_js_1.makeBsprAttributes, 2],
  23. [BussproofsUtil_js_1.balanceRules, 1]
  24. ]
  25. });
  26. //# sourceMappingURL=BussproofsConfiguration.js.map