highmark-occam 1.0.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (123) hide show
  1. package/README.md +139 -0
  2. package/lib/blockListing.js +40 -0
  3. package/lib/constants.js +13 -0
  4. package/lib/div/container.js +44 -0
  5. package/lib/div/line.js +48 -0
  6. package/lib/div/lines.js +61 -0
  7. package/lib/div/syntax.js +50 -0
  8. package/lib/document/bnf.js +32 -0
  9. package/lib/document/furtle.js +37 -0
  10. package/lib/document/json.js +33 -0
  11. package/lib/document/markdown.js +45 -0
  12. package/lib/document/markdownStyle.js +39 -0
  13. package/lib/document/nominal.js +50 -0
  14. package/lib/document/plainText.js +28 -0
  15. package/lib/document.js +55 -0
  16. package/lib/documentTypes.js +54 -0
  17. package/lib/example/customGrammarsJSON/firstOrderLogic.js +28 -0
  18. package/lib/example/preamble.js +18 -0
  19. package/lib/example/view/div/column.js +24 -0
  20. package/lib/example/view/div/markdown.js +84 -0
  21. package/lib/example/view/div/sizeable.js +25 -0
  22. package/lib/example/view/heading.js +27 -0
  23. package/lib/example/view/input.js +28 -0
  24. package/lib/example/view/listing.js +26 -0
  25. package/lib/example/view/subHeading.js +29 -0
  26. package/lib/example/view/textarea/content.js +46 -0
  27. package/lib/example/view/textarea.js +30 -0
  28. package/lib/example/view.js +73 -0
  29. package/lib/example.js +23 -0
  30. package/lib/index.js +31 -0
  31. package/lib/line.js +42 -0
  32. package/lib/map/node/html.js +24 -0
  33. package/lib/node/html/listing/block.js +56 -0
  34. package/lib/overlay.js +65 -0
  35. package/lib/overlayTokenTypes.js +89 -0
  36. package/lib/prettyPrinter.js +55 -0
  37. package/lib/styles.js +22 -0
  38. package/lib/token/overlay/common/content.js +25 -0
  39. package/lib/token/overlay/common/error.js +25 -0
  40. package/lib/token/overlay/common/labelName.js +25 -0
  41. package/lib/token/overlay/common/nonsense.js +25 -0
  42. package/lib/token/overlay/common/procedureReferenceName.js +25 -0
  43. package/lib/token/overlay/common/referenceName.js +25 -0
  44. package/lib/token/overlay/common/stuff.js +25 -0
  45. package/lib/token/overlay/markdown/heading.js +25 -0
  46. package/lib/token/overlay/markdown/link.js +25 -0
  47. package/lib/token/overlay/markdown/listing.js +25 -0
  48. package/lib/token/overlay/markdown/path.js +25 -0
  49. package/lib/token/overlay/markdown/reference.js +25 -0
  50. package/lib/token/overlay/markdown/table.js +25 -0
  51. package/lib/token/overlay/markdownStyle/name.js +25 -0
  52. package/lib/token/overlay/markdownStyle/value.js +25 -0
  53. package/lib/token/overlay/nonTerminalNode.js +25 -0
  54. package/lib/token/overlay/terminalNode.js +25 -0
  55. package/lib/utilities/character.js +18 -0
  56. package/lib/utilities/customGrammars.js +48 -0
  57. package/lib/utilities/document.js +57 -0
  58. package/lib/utilities/grammar.js +51 -0
  59. package/lib/utilities/lines.js +32 -0
  60. package/lib/utilities/query.js +20 -0
  61. package/lib/utilities/tokens.js +19 -0
  62. package/license.txt +48 -0
  63. package/package.json +52 -0
  64. package/src/blockListing.js +39 -0
  65. package/src/constants.js +3 -0
  66. package/src/div/container.js +37 -0
  67. package/src/div/line.js +43 -0
  68. package/src/div/lines.js +68 -0
  69. package/src/div/syntax.js +45 -0
  70. package/src/document/bnf.js +27 -0
  71. package/src/document/furtle.js +32 -0
  72. package/src/document/json.js +28 -0
  73. package/src/document/markdown.js +40 -0
  74. package/src/document/markdownStyle.js +34 -0
  75. package/src/document/nominal.js +56 -0
  76. package/src/document/plainText.js +23 -0
  77. package/src/document.js +54 -0
  78. package/src/documentTypes.js +19 -0
  79. package/src/example/customGrammarsJSON/firstOrderLogic.js +18 -0
  80. package/src/example/preamble.js +13 -0
  81. package/src/example/view/div/column.js +11 -0
  82. package/src/example/view/div/markdown.js +99 -0
  83. package/src/example/view/div/sizeable.js +12 -0
  84. package/src/example/view/heading.js +14 -0
  85. package/src/example/view/input.js +15 -0
  86. package/src/example/view/listing.js +14 -0
  87. package/src/example/view/subHeading.js +16 -0
  88. package/src/example/view/textarea/content.js +43 -0
  89. package/src/example/view/textarea.js +17 -0
  90. package/src/example/view.js +93 -0
  91. package/src/example.js +28 -0
  92. package/src/index.js +5 -0
  93. package/src/line.js +47 -0
  94. package/src/map/node/html.js +13 -0
  95. package/src/node/html/listing/block.js +68 -0
  96. package/src/overlay.js +87 -0
  97. package/src/overlayTokenTypes.js +33 -0
  98. package/src/prettyPrinter.js +54 -0
  99. package/src/styles.js +4 -0
  100. package/src/token/overlay/common/content.js +11 -0
  101. package/src/token/overlay/common/error.js +11 -0
  102. package/src/token/overlay/common/labelName.js +11 -0
  103. package/src/token/overlay/common/nonsense.js +11 -0
  104. package/src/token/overlay/common/procedureReferenceName.js +11 -0
  105. package/src/token/overlay/common/referenceName.js +11 -0
  106. package/src/token/overlay/common/stuff.js +11 -0
  107. package/src/token/overlay/markdown/heading.js +11 -0
  108. package/src/token/overlay/markdown/link.js +11 -0
  109. package/src/token/overlay/markdown/listing.js +11 -0
  110. package/src/token/overlay/markdown/path.js +11 -0
  111. package/src/token/overlay/markdown/reference.js +11 -0
  112. package/src/token/overlay/markdown/table.js +11 -0
  113. package/src/token/overlay/markdownStyle/name.js +11 -0
  114. package/src/token/overlay/markdownStyle/value.js +11 -0
  115. package/src/token/overlay/nonTerminalNode.js +17 -0
  116. package/src/token/overlay/terminalNode.js +17 -0
  117. package/src/utilities/character.js +11 -0
  118. package/src/utilities/customGrammars.js +34 -0
  119. package/src/utilities/document.js +44 -0
  120. package/src/utilities/grammar.js +38 -0
  121. package/src/utilities/lines.js +31 -0
  122. package/src/utilities/query.js +13 -0
  123. package/src/utilities/tokens.js +12 -0
@@ -0,0 +1,50 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ Object.defineProperty(exports, "default", {
6
+ enumerable: true,
7
+ get: function() {
8
+ return NominalDocument;
9
+ }
10
+ });
11
+ const _occamnominal = require("occam-nominal");
12
+ const _document = /*#__PURE__*/ _interop_require_default(require("../document"));
13
+ const _error = /*#__PURE__*/ _interop_require_default(require("../token/overlay/common/error"));
14
+ const _stuff = /*#__PURE__*/ _interop_require_default(require("../token/overlay/common/stuff"));
15
+ const _nonsense = /*#__PURE__*/ _interop_require_default(require("../token/overlay/common/nonsense"));
16
+ const _labelName = /*#__PURE__*/ _interop_require_default(require("../token/overlay/common/labelName"));
17
+ const _referenceName = /*#__PURE__*/ _interop_require_default(require("../token/overlay/common/referenceName"));
18
+ const _procedureReferenceName = /*#__PURE__*/ _interop_require_default(require("../token/overlay/common/procedureReferenceName"));
19
+ const _documentTypes = require("../documentTypes");
20
+ const _customGrammars = require("../utilities/customGrammars");
21
+ function _interop_require_default(obj) {
22
+ return obj && obj.__esModule ? obj : {
23
+ default: obj
24
+ };
25
+ }
26
+ const { nominalLexerFromNothing, nominalLexerFromCombinedCustomGrammar } = _occamnominal.lexersUtilities, { nominalParserFromNothing, nominalParserFromCombinedCustomGrammar } = _occamnominal.parsersUtilities;
27
+ class NominalDocument extends _document.default {
28
+ static overlayTokenMap = {
29
+ "//error": _error.default,
30
+ "//stuff": _stuff.default,
31
+ "//nonsense": _nonsense.default,
32
+ "//label/metavariable/@name": _labelName.default,
33
+ "//procedureReference/@name": _procedureReferenceName.default,
34
+ "//reference/metavariable/@name": _referenceName.default
35
+ };
36
+ static fromContentAndReleaseName(content, releaseName) {
37
+ const type = _documentTypes.NOMINAL_DOCUMENT_TYPE, combinedCustomGrammar = (0, _customGrammars.combinedCustomGrammarFromReleaseName)(releaseName), nominalLexer = nominalLexerrFromCombinedCustomGrammar(combinedCustomGrammar), nominalParser = nominalParserrFromCombinedCustomGrammar(combinedCustomGrammar), lexer = nominalLexer, parser = nominalParser, nominalDocument = _document.default.fromContentTypeLexerAndParser(NominalDocument, content, type, lexer, parser, releaseName);
38
+ return nominalDocument;
39
+ }
40
+ }
41
+ function nominalLexerrFromCombinedCustomGrammar(combinedCustomGrammar) {
42
+ const nominalLexer = combinedCustomGrammar !== null ? nominalLexerFromCombinedCustomGrammar(combinedCustomGrammar) : nominalLexerFromNothing();
43
+ return nominalLexer;
44
+ }
45
+ function nominalParserrFromCombinedCustomGrammar(combinedCustomGrammar) {
46
+ const nominalParser = combinedCustomGrammar !== null ? nominalParserFromCombinedCustomGrammar(combinedCustomGrammar) : nominalParserFromNothing();
47
+ return nominalParser;
48
+ }
49
+
50
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9kb2N1bWVudC9ub21pbmFsLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBsZXhlcnNVdGlsaXRpZXMsIHBhcnNlcnNVdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tbm9taW5hbFwiO1xuXG5pbXBvcnQgRG9jdW1lbnQgZnJvbSBcIi4uL2RvY3VtZW50XCI7XG5pbXBvcnQgRXJyb3JPdmVybGF5VG9rZW4gZnJvbSBcIi4uL3Rva2VuL292ZXJsYXkvY29tbW9uL2Vycm9yXCI7XG5pbXBvcnQgU3R1ZmZPdmVybGF5VG9rZW4gZnJvbSBcIi4uL3Rva2VuL292ZXJsYXkvY29tbW9uL3N0dWZmXCI7XG5pbXBvcnQgTm9uc2Vuc2VPdmVybGF5VG9rZW4gZnJvbSBcIi4uL3Rva2VuL292ZXJsYXkvY29tbW9uL25vbnNlbnNlXCI7XG5pbXBvcnQgTGFiZWxOYW1lT3ZlcmxheVRva2VuIGZyb20gXCIuLi90b2tlbi9vdmVybGF5L2NvbW1vbi9sYWJlbE5hbWVcIjtcbmltcG9ydCBSZWZlcmVuY2VOYW1lT3ZlcmxheVRva2VuIGZyb20gXCIuLi90b2tlbi9vdmVybGF5L2NvbW1vbi9yZWZlcmVuY2VOYW1lXCI7XG5pbXBvcnQgUHJvY2VkdXJlUmVmZXJlbmNlTmFtZU92ZXJsYXlUb2tlbiBmcm9tIFwiLi4vdG9rZW4vb3ZlcmxheS9jb21tb24vcHJvY2VkdXJlUmVmZXJlbmNlTmFtZVwiO1xuXG5pbXBvcnQgeyBOT01JTkFMX0RPQ1VNRU5UX1RZUEUgfSBmcm9tIFwiLi4vZG9jdW1lbnRUeXBlc1wiO1xuaW1wb3J0IHsgY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbVJlbGVhc2VOYW1lIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9jdXN0b21HcmFtbWFyc1wiO1xuXG5jb25zdCB7IG5vbWluYWxMZXhlckZyb21Ob3RoaW5nLCBub21pbmFsTGV4ZXJGcm9tQ29tYmluZWRDdXN0b21HcmFtbWFyIH0gPSBsZXhlcnNVdGlsaXRpZXMsXG4gICAgICB7IG5vbWluYWxQYXJzZXJGcm9tTm90aGluZywgbm9taW5hbFBhcnNlckZyb21Db21iaW5lZEN1c3RvbUdyYW1tYXIgfSA9IHBhcnNlcnNVdGlsaXRpZXM7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIE5vbWluYWxEb2N1bWVudCBleHRlbmRzIERvY3VtZW50IHtcbiAgc3RhdGljIG92ZXJsYXlUb2tlbk1hcCA9IHtcbiAgICBcIi8vZXJyb3JcIjogRXJyb3JPdmVybGF5VG9rZW4sXG4gICAgXCIvL3N0dWZmXCI6IFN0dWZmT3ZlcmxheVRva2VuLFxuICAgIFwiLy9ub25zZW5zZVwiOiBOb25zZW5zZU92ZXJsYXlUb2tlbixcbiAgICBcIi8vbGFiZWwvbWV0YXZhcmlhYmxlL0BuYW1lXCI6IExhYmVsTmFtZU92ZXJsYXlUb2tlbixcbiAgICBcIi8vcHJvY2VkdXJlUmVmZXJlbmNlL0BuYW1lXCI6IFByb2NlZHVyZVJlZmVyZW5jZU5hbWVPdmVybGF5VG9rZW4sXG4gICAgXCIvL3JlZmVyZW5jZS9tZXRhdmFyaWFibGUvQG5hbWVcIjogUmVmZXJlbmNlTmFtZU92ZXJsYXlUb2tlblxuICB9O1xuXG4gIHN0YXRpYyBmcm9tQ29udGVudEFuZFJlbGVhc2VOYW1lKGNvbnRlbnQsIHJlbGVhc2VOYW1lKSB7XG4gICAgY29uc3QgdHlwZSA9IE5PTUlOQUxfRE9DVU1FTlRfVFlQRSxcbiAgICAgICAgICBjb21iaW5lZEN1c3RvbUdyYW1tYXIgPSBjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tUmVsZWFzZU5hbWUocmVsZWFzZU5hbWUpLFxuICAgICAgICAgIG5vbWluYWxMZXhlciA9IG5vbWluYWxMZXhlcnJGcm9tQ29tYmluZWRDdXN0b21HcmFtbWFyKGNvbWJpbmVkQ3VzdG9tR3JhbW1hciksXG4gICAgICAgICAgbm9taW5hbFBhcnNlciA9IG5vbWluYWxQYXJzZXJyRnJvbUNvbWJpbmVkQ3VzdG9tR3JhbW1hcihjb21iaW5lZEN1c3RvbUdyYW1tYXIpLFxuICAgICAgICAgIGxleGVyID0gbm9taW5hbExleGVyLCAvLy9cbiAgICAgICAgICBwYXJzZXIgPSBub21pbmFsUGFyc2VyLCAvLy9cbiAgICAgICAgICBub21pbmFsRG9jdW1lbnQgPSBEb2N1bWVudC5mcm9tQ29udGVudFR5cGVMZXhlckFuZFBhcnNlcihOb21pbmFsRG9jdW1lbnQsIGNvbnRlbnQsIHR5cGUsIGxleGVyLCBwYXJzZXIsIHJlbGVhc2VOYW1lKTtcblxuICAgIHJldHVybiBub21pbmFsRG9jdW1lbnQ7XG4gIH1cbn1cblxuZnVuY3Rpb24gbm9taW5hbExleGVyckZyb21Db21iaW5lZEN1c3RvbUdyYW1tYXIoY29tYmluZWRDdXN0b21HcmFtbWFyKSB7XG4gIGNvbnN0IG5vbWluYWxMZXhlciA9IChjb21iaW5lZEN1c3RvbUdyYW1tYXIgIT09IG51bGwpID9cbiAgICAgICAgICAgICAgICAgICAgICAgICBub21pbmFsTGV4ZXJGcm9tQ29tYmluZWRDdXN0b21HcmFtbWFyKGNvbWJpbmVkQ3VzdG9tR3JhbW1hcikgOlxuICAgICAgICAgICAgICAgICAgICAgICAgICAgbm9taW5hbExleGVyRnJvbU5vdGhpbmcoKTtcblxuICByZXR1cm4gbm9taW5hbExleGVyO1xufVxuXG5mdW5jdGlvbiBub21pbmFsUGFyc2VyckZyb21Db21iaW5lZEN1c3RvbUdyYW1tYXIoY29tYmluZWRDdXN0b21HcmFtbWFyKSB7XG4gIGNvbnN0IG5vbWluYWxQYXJzZXIgPSAoY29tYmluZWRDdXN0b21HcmFtbWFyICE9PSBudWxsKSA/XG4gICAgICAgICAgICAgICAgICAgICAgICAgIG5vbWluYWxQYXJzZXJGcm9tQ29tYmluZWRDdXN0b21HcmFtbWFyKGNvbWJpbmVkQ3VzdG9tR3JhbW1hcikgOlxuICAgICAgICAgICAgICAgICAgICAgICAgICAgIG5vbWluYWxQYXJzZXJGcm9tTm90aGluZygpO1xuXG4gIHJldHVybiBub21pbmFsUGFyc2VyO1xufVxuIl0sIm5hbWVzIjpbIk5vbWluYWxEb2N1bWVudCIsIm5vbWluYWxMZXhlckZyb21Ob3RoaW5nIiwibm9taW5hbExleGVyRnJvbUNvbWJpbmVkQ3VzdG9tR3JhbW1hciIsImxleGVyc1V0aWxpdGllcyIsIm5vbWluYWxQYXJzZXJGcm9tTm90aGluZyIsIm5vbWluYWxQYXJzZXJGcm9tQ29tYmluZWRDdXN0b21HcmFtbWFyIiwicGFyc2Vyc1V0aWxpdGllcyIsIkRvY3VtZW50Iiwib3ZlcmxheVRva2VuTWFwIiwiRXJyb3JPdmVybGF5VG9rZW4iLCJTdHVmZk92ZXJsYXlUb2tlbiIsIk5vbnNlbnNlT3ZlcmxheVRva2VuIiwiTGFiZWxOYW1lT3ZlcmxheVRva2VuIiwiUHJvY2VkdXJlUmVmZXJlbmNlTmFtZU92ZXJsYXlUb2tlbiIsIlJlZmVyZW5jZU5hbWVPdmVybGF5VG9rZW4iLCJmcm9tQ29udGVudEFuZFJlbGVhc2VOYW1lIiwiY29udGVudCIsInJlbGVhc2VOYW1lIiwidHlwZSIsIk5PTUlOQUxfRE9DVU1FTlRfVFlQRSIsImNvbWJpbmVkQ3VzdG9tR3JhbW1hciIsImNvbWJpbmVkQ3VzdG9tR3JhbW1hckZyb21SZWxlYXNlTmFtZSIsIm5vbWluYWxMZXhlciIsIm5vbWluYWxMZXhlcnJGcm9tQ29tYmluZWRDdXN0b21HcmFtbWFyIiwibm9taW5hbFBhcnNlciIsIm5vbWluYWxQYXJzZXJyRnJvbUNvbWJpbmVkQ3VzdG9tR3JhbW1hciIsImxleGVyIiwicGFyc2VyIiwibm9taW5hbERvY3VtZW50IiwiZnJvbUNvbnRlbnRUeXBlTGV4ZXJBbmRQYXJzZXIiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQWtCQTs7O2VBQXFCQTs7OzhCQWhCNkI7aUVBRTdCOzhEQUNTOzhEQUNBO2lFQUNHO2tFQUNDO3NFQUNJOytFQUNTOytCQUVUO2dDQUNlOzs7Ozs7QUFFckQsTUFBTSxFQUFFQyx1QkFBdUIsRUFBRUMscUNBQXFDLEVBQUUsR0FBR0MsNkJBQWUsRUFDcEYsRUFBRUMsd0JBQXdCLEVBQUVDLHNDQUFzQyxFQUFFLEdBQUdDLDhCQUFnQjtBQUU5RSxNQUFNTix3QkFBd0JPLGlCQUFRO0lBQ25ELE9BQU9DLGtCQUFrQjtRQUN2QixXQUFXQyxjQUFpQjtRQUM1QixXQUFXQyxjQUFpQjtRQUM1QixjQUFjQyxpQkFBb0I7UUFDbEMsOEJBQThCQyxrQkFBcUI7UUFDbkQsOEJBQThCQywrQkFBa0M7UUFDaEUsa0NBQWtDQyxzQkFBeUI7SUFDN0QsRUFBRTtJQUVGLE9BQU9DLDBCQUEwQkMsT0FBTyxFQUFFQyxXQUFXLEVBQUU7UUFDckQsTUFBTUMsT0FBT0Msb0NBQXFCLEVBQzVCQyx3QkFBd0JDLElBQUFBLG9EQUFvQyxFQUFDSixjQUM3REssZUFBZUMsdUNBQXVDSCx3QkFDdERJLGdCQUFnQkMsd0NBQXdDTCx3QkFDeERNLFFBQVFKLGNBQ1JLLFNBQVNILGVBQ1RJLGtCQUFrQnJCLGlCQUFRLENBQUNzQiw2QkFBNkIsQ0FBQzdCLGlCQUFpQmdCLFNBQVNFLE1BQU1RLE9BQU9DLFFBQVFWO1FBRTlHLE9BQU9XO0lBQ1Q7QUFDRjtBQUVBLFNBQVNMLHVDQUF1Q0gscUJBQXFCO0lBQ25FLE1BQU1FLGVBQWUsQUFBQ0YsMEJBQTBCLE9BQ3pCbEIsc0NBQXNDa0IseUJBQ3BDbkI7SUFFekIsT0FBT3FCO0FBQ1Q7QUFFQSxTQUFTRyx3Q0FBd0NMLHFCQUFxQjtJQUNwRSxNQUFNSSxnQkFBZ0IsQUFBQ0osMEJBQTBCLE9BQ3pCZix1Q0FBdUNlLHlCQUNyQ2hCO0lBRTFCLE9BQU9vQjtBQUNUIn0=
@@ -0,0 +1,28 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ Object.defineProperty(exports, "default", {
6
+ enumerable: true,
7
+ get: function() {
8
+ return PlainTextDocument;
9
+ }
10
+ });
11
+ const _occamgrammars = require("occam-grammars");
12
+ const _document = /*#__PURE__*/ _interop_require_default(require("../document"));
13
+ const _documentTypes = require("../documentTypes");
14
+ function _interop_require_default(obj) {
15
+ return obj && obj.__esModule ? obj : {
16
+ default: obj
17
+ };
18
+ }
19
+ const plainTextLexer = _occamgrammars.PlainTextLexer.fromNothing(), plainTextParser = _occamgrammars.PlainTextParser.fromNothing();
20
+ class PlainTextDocument extends _document.default {
21
+ static overlayTokenMap = {};
22
+ static fromContent(content) {
23
+ const type = _documentTypes.PLAIN_TEXT_DOCUMENT_TYPE, lexer = plainTextLexer, parser = plainTextParser, plainTextDocument = _document.default.fromContentTypeLexerAndParser(PlainTextDocument, content, type, lexer, parser);
24
+ return plainTextDocument;
25
+ }
26
+ }
27
+
28
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9kb2N1bWVudC9wbGFpblRleHQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IFBsYWluVGV4dExleGVyLCBQbGFpblRleHRQYXJzZXIgfSBmcm9tIFwib2NjYW0tZ3JhbW1hcnNcIjtcblxuaW1wb3J0IERvY3VtZW50IGZyb20gXCIuLi9kb2N1bWVudFwiO1xuXG5pbXBvcnQgeyBQTEFJTl9URVhUX0RPQ1VNRU5UX1RZUEUgfSBmcm9tIFwiLi4vZG9jdW1lbnRUeXBlc1wiO1xuXG5jb25zdCBwbGFpblRleHRMZXhlciA9IFBsYWluVGV4dExleGVyLmZyb21Ob3RoaW5nKCksXG4gICAgICBwbGFpblRleHRQYXJzZXIgPSBQbGFpblRleHRQYXJzZXIuZnJvbU5vdGhpbmcoKTtcblxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgUGxhaW5UZXh0RG9jdW1lbnQgZXh0ZW5kcyBEb2N1bWVudCB7XG4gIHN0YXRpYyBvdmVybGF5VG9rZW5NYXAgPSB7fTtcblxuICBzdGF0aWMgZnJvbUNvbnRlbnQoY29udGVudCkge1xuICAgIGNvbnN0IHR5cGUgPSBQTEFJTl9URVhUX0RPQ1VNRU5UX1RZUEUsXG4gICAgICAgICAgbGV4ZXIgPSBwbGFpblRleHRMZXhlciwgIC8vL1xuICAgICAgICAgIHBhcnNlciA9IHBsYWluVGV4dFBhcnNlciwgIC8vL1xuICAgICAgICAgIHBsYWluVGV4dERvY3VtZW50ID0gRG9jdW1lbnQuZnJvbUNvbnRlbnRUeXBlTGV4ZXJBbmRQYXJzZXIoUGxhaW5UZXh0RG9jdW1lbnQsIGNvbnRlbnQsIHR5cGUsIGxleGVyLCBwYXJzZXIpO1xuXG4gICAgcmV0dXJuIHBsYWluVGV4dERvY3VtZW50O1xuICB9XG59XG4iXSwibmFtZXMiOlsiUGxhaW5UZXh0RG9jdW1lbnQiLCJwbGFpblRleHRMZXhlciIsIlBsYWluVGV4dExleGVyIiwiZnJvbU5vdGhpbmciLCJwbGFpblRleHRQYXJzZXIiLCJQbGFpblRleHRQYXJzZXIiLCJEb2N1bWVudCIsIm92ZXJsYXlUb2tlbk1hcCIsImZyb21Db250ZW50IiwiY29udGVudCIsInR5cGUiLCJQTEFJTl9URVhUX0RPQ1VNRU5UX1RZUEUiLCJsZXhlciIsInBhcnNlciIsInBsYWluVGV4dERvY3VtZW50IiwiZnJvbUNvbnRlbnRUeXBlTGV4ZXJBbmRQYXJzZXIiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVdBOzs7ZUFBcUJBOzs7K0JBVDJCO2lFQUUzQjsrQkFFb0I7Ozs7OztBQUV6QyxNQUFNQyxpQkFBaUJDLDZCQUFjLENBQUNDLFdBQVcsSUFDM0NDLGtCQUFrQkMsOEJBQWUsQ0FBQ0YsV0FBVztBQUVwQyxNQUFNSCwwQkFBMEJNLGlCQUFRO0lBQ3JELE9BQU9DLGtCQUFrQixDQUFDLEVBQUU7SUFFNUIsT0FBT0MsWUFBWUMsT0FBTyxFQUFFO1FBQzFCLE1BQU1DLE9BQU9DLHVDQUF3QixFQUMvQkMsUUFBUVgsZ0JBQ1JZLFNBQVNULGlCQUNUVSxvQkFBb0JSLGlCQUFRLENBQUNTLDZCQUE2QixDQUFDZixtQkFBbUJTLFNBQVNDLE1BQU1FLE9BQU9DO1FBRTFHLE9BQU9DO0lBQ1Q7QUFDRiJ9
@@ -0,0 +1,55 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ Object.defineProperty(exports, "default", {
6
+ enumerable: true,
7
+ get: function() {
8
+ return Document;
9
+ }
10
+ });
11
+ const _overlay = /*#__PURE__*/ _interop_require_default(require("./overlay"));
12
+ const _tokens = require("./utilities/tokens");
13
+ const _lines = require("./utilities/lines");
14
+ function _interop_require_default(obj) {
15
+ return obj && obj.__esModule ? obj : {
16
+ default: obj
17
+ };
18
+ }
19
+ class Document {
20
+ constructor(type, content, tokens, lines, node, overlay){
21
+ this.type = type;
22
+ this.content = content;
23
+ this.tokens = tokens;
24
+ this.lines = lines;
25
+ this.node = node;
26
+ this.overlay = overlay;
27
+ }
28
+ getType() {
29
+ return this.type;
30
+ }
31
+ getContent() {
32
+ return this.content;
33
+ }
34
+ getTokens() {
35
+ return this.tokens;
36
+ }
37
+ getLines() {
38
+ return this.lines;
39
+ }
40
+ getNode() {
41
+ return this.node;
42
+ }
43
+ getOverlay() {
44
+ return this.overlay;
45
+ }
46
+ lineAsHTML(line) {
47
+ return this.overlay.lineAsHTML(line);
48
+ }
49
+ static fromContentTypeLexerAndParser(Class, content, type, lexer, parser) {
50
+ const { overlayTokenMap } = Class, lines = (0, _lines.linesFromContent)(content, lexer), tokens = (0, _tokens.tokensFromLines)(lines), node = parser.parse(tokens), overlay = _overlay.default.fromNodeAndOverlayTokenMap(node, overlayTokenMap), document = new Class(type, content, tokens, lines, node, overlay);
51
+ return document;
52
+ }
53
+ }
54
+
55
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9kb2N1bWVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IE92ZXJsYXkgZnJvbSBcIi4vb3ZlcmxheVwiO1xuXG5pbXBvcnQgeyB0b2tlbnNGcm9tTGluZXMgfSBmcm9tIFwiLi91dGlsaXRpZXMvdG9rZW5zXCI7XG5pbXBvcnQgeyBsaW5lc0Zyb21Db250ZW50IH0gZnJvbSBcIi4vdXRpbGl0aWVzL2xpbmVzXCI7XG5cbmV4cG9ydCBkZWZhdWx0IGNsYXNzIERvY3VtZW50IHtcbiAgY29uc3RydWN0b3IodHlwZSwgY29udGVudCwgdG9rZW5zLCBsaW5lcywgbm9kZSwgb3ZlcmxheSkge1xuICAgIHRoaXMudHlwZSA9IHR5cGU7XG4gICAgdGhpcy5jb250ZW50ID0gY29udGVudDtcbiAgICB0aGlzLnRva2VucyA9IHRva2VucztcbiAgICB0aGlzLmxpbmVzID0gbGluZXM7XG4gICAgdGhpcy5ub2RlID0gbm9kZTtcbiAgICB0aGlzLm92ZXJsYXkgPSBvdmVybGF5O1xuICB9XG5cbiAgZ2V0VHlwZSgpIHtcbiAgICByZXR1cm4gdGhpcy50eXBlO1xuICB9XG5cbiAgZ2V0Q29udGVudCgpIHtcbiAgICByZXR1cm4gdGhpcy5jb250ZW50O1xuICB9XG5cbiAgZ2V0VG9rZW5zKCkge1xuICAgIHJldHVybiB0aGlzLnRva2VucztcbiAgfVxuXG4gIGdldExpbmVzKCkge1xuICAgIHJldHVybiB0aGlzLmxpbmVzO1xuICB9XG5cbiAgZ2V0Tm9kZSgpIHtcbiAgICByZXR1cm4gdGhpcy5ub2RlO1xuICB9XG5cbiAgZ2V0T3ZlcmxheSgpIHtcbiAgICByZXR1cm4gdGhpcy5vdmVybGF5O1xuICB9XG5cbiAgbGluZUFzSFRNTChsaW5lKSB7IHJldHVybiB0aGlzLm92ZXJsYXkubGluZUFzSFRNTChsaW5lKTsgfVxuXG4gIHN0YXRpYyBmcm9tQ29udGVudFR5cGVMZXhlckFuZFBhcnNlcihDbGFzcywgY29udGVudCwgdHlwZSwgbGV4ZXIsIHBhcnNlcikge1xuICAgIGNvbnN0IHsgb3ZlcmxheVRva2VuTWFwIH0gPSBDbGFzcyxcbiAgICAgICAgICBsaW5lcyA9IGxpbmVzRnJvbUNvbnRlbnQoY29udGVudCwgbGV4ZXIpLFxuICAgICAgICAgIHRva2VucyA9IHRva2Vuc0Zyb21MaW5lcyhsaW5lcyksXG4gICAgICAgICAgbm9kZSA9IHBhcnNlci5wYXJzZSh0b2tlbnMpLFxuICAgICAgICAgIG92ZXJsYXkgPSBPdmVybGF5LmZyb21Ob2RlQW5kT3ZlcmxheVRva2VuTWFwKG5vZGUsIG92ZXJsYXlUb2tlbk1hcCksXG4gICAgICAgICAgZG9jdW1lbnQgPSBuZXcgQ2xhc3ModHlwZSwgY29udGVudCwgdG9rZW5zLCBsaW5lcywgbm9kZSwgb3ZlcmxheSk7XG5cbiAgICByZXR1cm4gZG9jdW1lbnQ7XG4gIH1cbn1cbiJdLCJuYW1lcyI6WyJEb2N1bWVudCIsInR5cGUiLCJjb250ZW50IiwidG9rZW5zIiwibGluZXMiLCJub2RlIiwib3ZlcmxheSIsImdldFR5cGUiLCJnZXRDb250ZW50IiwiZ2V0VG9rZW5zIiwiZ2V0TGluZXMiLCJnZXROb2RlIiwiZ2V0T3ZlcmxheSIsImxpbmVBc0hUTUwiLCJsaW5lIiwiZnJvbUNvbnRlbnRUeXBlTGV4ZXJBbmRQYXJzZXIiLCJDbGFzcyIsImxleGVyIiwicGFyc2VyIiwib3ZlcmxheVRva2VuTWFwIiwibGluZXNGcm9tQ29udGVudCIsInRva2Vuc0Zyb21MaW5lcyIsInBhcnNlIiwiT3ZlcmxheSIsImZyb21Ob2RlQW5kT3ZlcmxheVRva2VuTWFwIiwiZG9jdW1lbnQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU9BOzs7ZUFBcUJBOzs7Z0VBTEQ7d0JBRVk7dUJBQ0M7Ozs7OztBQUVsQixNQUFNQTtJQUNuQixZQUFZQyxJQUFJLEVBQUVDLE9BQU8sRUFBRUMsTUFBTSxFQUFFQyxLQUFLLEVBQUVDLElBQUksRUFBRUMsT0FBTyxDQUFFO1FBQ3ZELElBQUksQ0FBQ0wsSUFBSSxHQUFHQTtRQUNaLElBQUksQ0FBQ0MsT0FBTyxHQUFHQTtRQUNmLElBQUksQ0FBQ0MsTUFBTSxHQUFHQTtRQUNkLElBQUksQ0FBQ0MsS0FBSyxHQUFHQTtRQUNiLElBQUksQ0FBQ0MsSUFBSSxHQUFHQTtRQUNaLElBQUksQ0FBQ0MsT0FBTyxHQUFHQTtJQUNqQjtJQUVBQyxVQUFVO1FBQ1IsT0FBTyxJQUFJLENBQUNOLElBQUk7SUFDbEI7SUFFQU8sYUFBYTtRQUNYLE9BQU8sSUFBSSxDQUFDTixPQUFPO0lBQ3JCO0lBRUFPLFlBQVk7UUFDVixPQUFPLElBQUksQ0FBQ04sTUFBTTtJQUNwQjtJQUVBTyxXQUFXO1FBQ1QsT0FBTyxJQUFJLENBQUNOLEtBQUs7SUFDbkI7SUFFQU8sVUFBVTtRQUNSLE9BQU8sSUFBSSxDQUFDTixJQUFJO0lBQ2xCO0lBRUFPLGFBQWE7UUFDWCxPQUFPLElBQUksQ0FBQ04sT0FBTztJQUNyQjtJQUVBTyxXQUFXQyxJQUFJLEVBQUU7UUFBRSxPQUFPLElBQUksQ0FBQ1IsT0FBTyxDQUFDTyxVQUFVLENBQUNDO0lBQU87SUFFekQsT0FBT0MsOEJBQThCQyxLQUFLLEVBQUVkLE9BQU8sRUFBRUQsSUFBSSxFQUFFZ0IsS0FBSyxFQUFFQyxNQUFNLEVBQUU7UUFDeEUsTUFBTSxFQUFFQyxlQUFlLEVBQUUsR0FBR0gsT0FDdEJaLFFBQVFnQixJQUFBQSx1QkFBZ0IsRUFBQ2xCLFNBQVNlLFFBQ2xDZCxTQUFTa0IsSUFBQUEsdUJBQWUsRUFBQ2pCLFFBQ3pCQyxPQUFPYSxPQUFPSSxLQUFLLENBQUNuQixTQUNwQkcsVUFBVWlCLGdCQUFPLENBQUNDLDBCQUEwQixDQUFDbkIsTUFBTWMsa0JBQ25ETSxXQUFXLElBQUlULE1BQU1mLE1BQU1DLFNBQVNDLFFBQVFDLE9BQU9DLE1BQU1DO1FBRS9ELE9BQU9tQjtJQUNUO0FBQ0YifQ==
@@ -0,0 +1,54 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ function _export(target, all) {
6
+ for(var name in all)Object.defineProperty(target, name, {
7
+ enumerable: true,
8
+ get: Object.getOwnPropertyDescriptor(all, name).get
9
+ });
10
+ }
11
+ _export(exports, {
12
+ get BNF_DOCUMENT_TYPE () {
13
+ return BNF_DOCUMENT_TYPE;
14
+ },
15
+ get FURTLE_DOCUMENT_TYPE () {
16
+ return FURTLE_DOCUMENT_TYPE;
17
+ },
18
+ get JSON_DOCUMENT_TYPE () {
19
+ return JSON_DOCUMENT_TYPE;
20
+ },
21
+ get MARKDOWN_DOCUMENT_TYPE () {
22
+ return MARKDOWN_DOCUMENT_TYPE;
23
+ },
24
+ get MARKDOWN_STYLE_DOCUMENT_TYPE () {
25
+ return MARKDOWN_STYLE_DOCUMENT_TYPE;
26
+ },
27
+ get NOMINAL_DOCUMENT_TYPE () {
28
+ return NOMINAL_DOCUMENT_TYPE;
29
+ },
30
+ get PLAIN_TEXT_DOCUMENT_TYPE () {
31
+ return PLAIN_TEXT_DOCUMENT_TYPE;
32
+ },
33
+ get default () {
34
+ return _default;
35
+ }
36
+ });
37
+ const BNF_DOCUMENT_TYPE = "bnf";
38
+ const JSON_DOCUMENT_TYPE = "json";
39
+ const FURTLE_DOCUMENT_TYPE = "furtle";
40
+ const NOMINAL_DOCUMENT_TYPE = "nominal";
41
+ const MARKDOWN_DOCUMENT_TYPE = "markdown";
42
+ const PLAIN_TEXT_DOCUMENT_TYPE = "plain-text";
43
+ const MARKDOWN_STYLE_DOCUMENT_TYPE = "markdown-style";
44
+ const _default = {
45
+ BNF_DOCUMENT_TYPE,
46
+ JSON_DOCUMENT_TYPE,
47
+ FURTLE_DOCUMENT_TYPE,
48
+ NOMINAL_DOCUMENT_TYPE,
49
+ MARKDOWN_DOCUMENT_TYPE,
50
+ PLAIN_TEXT_DOCUMENT_TYPE,
51
+ MARKDOWN_STYLE_DOCUMENT_TYPE
52
+ };
53
+
54
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9kb2N1bWVudFR5cGVzLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5leHBvcnQgY29uc3QgQk5GX0RPQ1VNRU5UX1RZUEUgPSBcImJuZlwiO1xuZXhwb3J0IGNvbnN0IEpTT05fRE9DVU1FTlRfVFlQRSA9IFwianNvblwiO1xuZXhwb3J0IGNvbnN0IEZVUlRMRV9ET0NVTUVOVF9UWVBFID0gXCJmdXJ0bGVcIjtcbmV4cG9ydCBjb25zdCBOT01JTkFMX0RPQ1VNRU5UX1RZUEUgPSBcIm5vbWluYWxcIjtcbmV4cG9ydCBjb25zdCBNQVJLRE9XTl9ET0NVTUVOVF9UWVBFID0gXCJtYXJrZG93blwiO1xuZXhwb3J0IGNvbnN0IFBMQUlOX1RFWFRfRE9DVU1FTlRfVFlQRSA9IFwicGxhaW4tdGV4dFwiO1xuZXhwb3J0IGNvbnN0IE1BUktET1dOX1NUWUxFX0RPQ1VNRU5UX1RZUEUgPSBcIm1hcmtkb3duLXN0eWxlXCI7XG5cbmV4cG9ydCBkZWZhdWx0IHtcbiAgQk5GX0RPQ1VNRU5UX1RZUEUsXG4gIEpTT05fRE9DVU1FTlRfVFlQRSxcbiAgRlVSVExFX0RPQ1VNRU5UX1RZUEUsXG4gIE5PTUlOQUxfRE9DVU1FTlRfVFlQRSxcbiAgTUFSS0RPV05fRE9DVU1FTlRfVFlQRSxcbiAgUExBSU5fVEVYVF9ET0NVTUVOVF9UWVBFLFxuICBNQVJLRE9XTl9TVFlMRV9ET0NVTUVOVF9UWVBFXG59O1xuIl0sIm5hbWVzIjpbIkJORl9ET0NVTUVOVF9UWVBFIiwiRlVSVExFX0RPQ1VNRU5UX1RZUEUiLCJKU09OX0RPQ1VNRU5UX1RZUEUiLCJNQVJLRE9XTl9ET0NVTUVOVF9UWVBFIiwiTUFSS0RPV05fU1RZTEVfRE9DVU1FTlRfVFlQRSIsIk5PTUlOQUxfRE9DVU1FTlRfVFlQRSIsIlBMQUlOX1RFWFRfRE9DVU1FTlRfVFlQRSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O1FBRWFBO2VBQUFBOztRQUVBQztlQUFBQTs7UUFEQUM7ZUFBQUE7O1FBR0FDO2VBQUFBOztRQUVBQztlQUFBQTs7UUFIQUM7ZUFBQUE7O1FBRUFDO2VBQUFBOztRQUdiO2VBQUE7OztBQVJPLE1BQU1OLG9CQUFvQjtBQUMxQixNQUFNRSxxQkFBcUI7QUFDM0IsTUFBTUQsdUJBQXVCO0FBQzdCLE1BQU1JLHdCQUF3QjtBQUM5QixNQUFNRix5QkFBeUI7QUFDL0IsTUFBTUcsMkJBQTJCO0FBQ2pDLE1BQU1GLCtCQUErQjtNQUU1QyxXQUFlO0lBQ2JKO0lBQ0FFO0lBQ0FEO0lBQ0FJO0lBQ0FGO0lBQ0FHO0lBQ0FGO0FBQ0YifQ==
@@ -0,0 +1,28 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ Object.defineProperty(exports, "default", {
6
+ enumerable: true,
7
+ get: function() {
8
+ return _default;
9
+ }
10
+ });
11
+ const _default = [
12
+ {
13
+ "name": "Default",
14
+ "termBNF": "term ::= \"(\" argument \")\"\n\n | variable \n \n ;",
15
+ "statementBNF": "statement ::= \"(\" metaArgument \")\" \n \n | equality\n\n | judgement\n\n | typeAssertion \n \n | definedAssertion \n\n | containedAssertion \n \n | signatureAssertion\n\n | subproofAssertion \n\n | propertyAssertion \n\n | metavariable ( frameSubstitution | termSubstitution )?\n\n ;\n\nequality ::= term \"=\" term ;\n\ntypeAssertion ::= term \":\" type ;\n\ndefinedAssertion ::= ( frame | term ) \"is\" ( \"defined\" | \"undefined\" ) ;\n\ncontainedAssertion ::= ( frame | term ) \"is\" ( \"present\" | \"missing\" ) \"in\" statement ;\n\nsignatureAssertion ::= signature \"satisfies\" metavariable ; \n\nsubproofAssertion ::= \"[\" statement ( \",\" statement )* \"]\" \"...\" statement ;\n\npropertyAssertion ::= term \"is\" ( \"a\" | \"an\" ) propertyRelation ;\n\npropertyRelation ::= property \"of\" term ;\n\njudgement ::= frame \"|\"<NO_WHITESPACE>\"-\" assumption ;\n\nframe ::= \"[\" ( ( metavariable | assumption ) ( \",\" assumption )* ) \"]\" ;\n \nassumption ::= metavariable \"::\" statement ;\n\nmetaLevelAssumption ::= reference \"::\" statement ;\n\ntermSubstitution ::= \"[\" term \"for\" term \"]\" ;\n\nframeSubstitution ::= \"[\" frame \"for\" frame \"]\" ;\n\nstatementSubstitution ::= \"[\" statement \"for\" statement \"]\" ;\n\nreferenceSubstitution ::= \"[\" reference \"for\" reference \"]\" ;",
16
+ "typeVocabulary": "",
17
+ "symbolVocabulary": ""
18
+ },
19
+ {
20
+ "name": "first-order-logic",
21
+ "termBNF": "",
22
+ "statementBNF": "\n\n statement ::= ( \"∀\" | \"∃\" )<NO_WHITESPACE>( frameArgument | argument ) metaArgument \n\n | ( frameArgument | argument ) \"is\" ( \"𝘣𝘰𝘶𝘯𝘥\" | \"𝘧𝘳𝘦𝘦\" ) \"in\" metaArgument\n\n ;\n\n",
23
+ "typeVocabulary": "",
24
+ "symbolVocabulary": "𝘣𝘰𝘶𝘯𝘥\n𝘧𝘳𝘦𝘦\n∀\n∃\n"
25
+ }
26
+ ];
27
+
28
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9leGFtcGxlL2N1c3RvbUdyYW1tYXJzSlNPTi9maXJzdE9yZGVyTG9naWMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBkZWZhdWx0IFtcbiAge1xuICAgIFwibmFtZVwiOiBcIkRlZmF1bHRcIixcbiAgICBcInRlcm1CTkZcIjogXCJ0ZXJtICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgOjo9ICBcXFwiKFxcXCIgYXJndW1lbnQgXFxcIilcXFwiXFxuXFxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgfCAgdmFyaWFibGUgXFxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgXFxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgO1wiLFxuICAgIFwic3RhdGVtZW50Qk5GXCI6IFwic3RhdGVtZW50ICAgICAgICAgICAgICAgICAgICAgICAgICAgIDo6PSAgXFxcIihcXFwiIG1ldGFBcmd1bWVudCBcXFwiKVxcXCIgXFxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBcXG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB8ICBlcXVhbGl0eVxcblxcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHwgIGp1ZGdlbWVudFxcblxcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHwgIHR5cGVBc3NlcnRpb24gXFxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBcXG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB8ICBkZWZpbmVkQXNzZXJ0aW9uICBcXG5cXG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB8ICBjb250YWluZWRBc3NlcnRpb24gIFxcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFxcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHwgIHNpZ25hdHVyZUFzc2VydGlvblxcblxcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHwgIHN1YnByb29mQXNzZXJ0aW9uICAgICAgICAgXFxuXFxuICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgfCAgcHJvcGVydHlBc3NlcnRpb24gIFxcblxcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHwgIG1ldGF2YXJpYWJsZSAoIGZyYW1lU3Vic3RpdHV0aW9uIHwgdGVybVN1YnN0aXR1dGlvbiApP1xcblxcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIDtcXG5cXG5lcXVhbGl0eSAgICAgICAgICAgICAgICAgICAgICAgICAgICAgOjo9ICB0ZXJtIFxcXCI9XFxcIiB0ZXJtIDtcXG5cXG50eXBlQXNzZXJ0aW9uICAgICAgICAgICAgICAgICAgICAgICAgOjo9ICB0ZXJtIFxcXCI6XFxcIiB0eXBlIDtcXG5cXG5kZWZpbmVkQXNzZXJ0aW9uICAgICAgICAgICAgICAgICAgICAgOjo9ICAoIGZyYW1lIHwgdGVybSApIFxcXCJpc1xcXCIgKCBcXFwiZGVmaW5lZFxcXCIgfCBcXFwidW5kZWZpbmVkXFxcIiApIDtcXG5cXG5jb250YWluZWRBc3NlcnRpb24gICAgICAgICAgICAgICAgICAgOjo9ICAoIGZyYW1lIHwgdGVybSApIFxcXCJpc1xcXCIgKCBcXFwicHJlc2VudFxcXCIgfCBcXFwibWlzc2luZ1xcXCIgKSBcXFwiaW5cXFwiIHN0YXRlbWVudCA7XFxuXFxuc2lnbmF0dXJlQXNzZXJ0aW9uICAgICAgICAgICAgICAgICAgIDo6PSAgc2lnbmF0dXJlIFxcXCJzYXRpc2ZpZXNcXFwiIG1ldGF2YXJpYWJsZSA7ICBcXG5cXG5zdWJwcm9vZkFzc2VydGlvbiAgICAgICAgICAgICAgICAgICAgOjo9ICBcXFwiW1xcXCIgc3RhdGVtZW50ICggXFxcIixcXFwiIHN0YXRlbWVudCApKiBcXFwiXVxcXCIgXFxcIi4uLlxcXCIgc3RhdGVtZW50IDtcXG5cXG5wcm9wZXJ0eUFzc2VydGlvbiAgICAgICAgICAgICAgICAgICAgOjo9ICB0ZXJtIFxcXCJpc1xcXCIgKCBcXFwiYVxcXCIgfCBcXFwiYW5cXFwiICkgcHJvcGVydHlSZWxhdGlvbiA7XFxuXFxucHJvcGVydHlSZWxhdGlvbiAgICAgICAgICAgICAgICAgICAgIDo6PSAgcHJvcGVydHkgXFxcIm9mXFxcIiB0ZXJtIDtcXG5cXG5qdWRnZW1lbnQgICAgICAgICAgICAgICAgICAgICAgICAgICAgOjo9ICBmcmFtZSBcXFwifFxcXCI8Tk9fV0hJVEVTUEFDRT5cXFwiLVxcXCIgYXNzdW1wdGlvbiA7XFxuXFxuZnJhbWUgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIDo6PSAgXFxcIltcXFwiICggKCBtZXRhdmFyaWFibGUgfCBhc3N1bXB0aW9uICkgKCBcXFwiLFxcXCIgYXNzdW1wdGlvbiApKiApIFxcXCJdXFxcIiA7XFxuIFxcbmFzc3VtcHRpb24gICAgICAgICAgICAgICAgICAgICAgICAgICA6Oj0gIG1ldGF2YXJpYWJsZSBcXFwiOjpcXFwiIHN0YXRlbWVudCA7XFxuXFxubWV0YUxldmVsQXNzdW1wdGlvbiAgICAgICAgICAgICAgICAgIDo6PSAgcmVmZXJlbmNlIFxcXCI6OlxcXCIgc3RhdGVtZW50IDtcXG5cXG50ZXJtU3Vic3RpdHV0aW9uICAgICAgICAgICAgICAgICAgICAgOjo9ICBcXFwiW1xcXCIgdGVybSBcXFwiZm9yXFxcIiB0ZXJtIFxcXCJdXFxcIiA7XFxuXFxuZnJhbWVTdWJzdGl0dXRpb24gICAgICAgICAgICAgICAgICAgIDo6PSAgXFxcIltcXFwiIGZyYW1lIFxcXCJmb3JcXFwiIGZyYW1lIFxcXCJdXFxcIiA7XFxuXFxuc3RhdGVtZW50U3Vic3RpdHV0aW9uICAgICAgICAgICAgICAgIDo6PSAgXFxcIltcXFwiIHN0YXRlbWVudCBcXFwiZm9yXFxcIiBzdGF0ZW1lbnQgXFxcIl1cXFwiIDtcXG5cXG5yZWZlcmVuY2VTdWJzdGl0dXRpb24gICAgICAgICAgICAgICAgOjo9ICBcXFwiW1xcXCIgcmVmZXJlbmNlIFxcXCJmb3JcXFwiIHJlZmVyZW5jZSBcXFwiXVxcXCIgO1wiLFxuICAgIFwidHlwZVZvY2FidWxhcnlcIjogXCJcIixcbiAgICBcInN5bWJvbFZvY2FidWxhcnlcIjogXCJcIlxuICB9LFxuICB7XG4gICAgXCJuYW1lXCI6IFwiZmlyc3Qtb3JkZXItbG9naWNcIixcbiAgICBcInRlcm1CTkZcIjogXCJcIixcbiAgICBcInN0YXRlbWVudEJORlwiOiBcIlxcblxcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHN0YXRlbWVudCAgOjo9ICAoIFxcXCLiiIBcXFwiIHwgXFxcIuKIg1xcXCIgKTxOT19XSElURVNQQUNFPiggZnJhbWVBcmd1bWVudCB8IGFyZ3VtZW50ICkgbWV0YUFyZ3VtZW50IFxcblxcbiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB8ICAoIGZyYW1lQXJndW1lbnQgfCBhcmd1bWVudCApIFxcXCJpc1xcXCIgKCBcXFwi8J2Yo/CdmLDwnZi28J2Yr/CdmKVcXFwiIHwgXFxcIvCdmKfwnZiz8J2YpvCdmKZcXFwiICkgXFxcImluXFxcIiBtZXRhQXJndW1lbnRcXG5cXG4gICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgO1xcblxcblwiLFxuICAgIFwidHlwZVZvY2FidWxhcnlcIjogXCJcIixcbiAgICBcInN5bWJvbFZvY2FidWxhcnlcIjogXCLwnZij8J2YsPCdmLbwnZiv8J2YpVxcbvCdmKfwnZiz8J2YpvCdmKZcXG7iiIBcXG7iiINcXG5cIlxuICB9XG5dO1xuIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQUVBOzs7ZUFBQTs7O01BQUEsV0FBZTtJQUNiO1FBQ0UsUUFBUTtRQUNSLFdBQVc7UUFDWCxnQkFBZ0I7UUFDaEIsa0JBQWtCO1FBQ2xCLG9CQUFvQjtJQUN0QjtJQUNBO1FBQ0UsUUFBUTtRQUNSLFdBQVc7UUFDWCxnQkFBZ0I7UUFDaEIsa0JBQWtCO1FBQ2xCLG9CQUFvQjtJQUN0QjtDQUNEIn0=
@@ -0,0 +1,18 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ const _index = require("../index");
6
+ const _firstOrderLogic = /*#__PURE__*/ _interop_require_default(require("./customGrammarsJSON/firstOrderLogic"));
7
+ function _interop_require_default(obj) {
8
+ return obj && obj.__esModule ? obj : {
9
+ default: obj
10
+ };
11
+ }
12
+ const { registerCustomGrammarsMap } = _index.customGrammarsUtilities;
13
+ const customGrammarsJSONMap = {
14
+ "first-order-logic": _firstOrderLogic.default
15
+ };
16
+ registerCustomGrammarsMap(customGrammarsJSONMap);
17
+
18
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9leGFtcGxlL3ByZWFtYmxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBjdXN0b21HcmFtbWFyc1V0aWxpdGllcyB9IGZyb20gXCIuLi9pbmRleFwiOyAvLy9cblxuaW1wb3J0IGZpcnN0T3JkZXJMb2dpY0N1c3RvbUdyYW1tYXJzSlNPTiBmcm9tIFwiLi9jdXN0b21HcmFtbWFyc0pTT04vZmlyc3RPcmRlckxvZ2ljXCI7XG5cbmNvbnN0IHsgcmVnaXN0ZXJDdXN0b21HcmFtbWFyc01hcCB9ID0gY3VzdG9tR3JhbW1hcnNVdGlsaXRpZXM7XG5cbmNvbnN0IGN1c3RvbUdyYW1tYXJzSlNPTk1hcCA9IHtcbiAgXCJmaXJzdC1vcmRlci1sb2dpY1wiOiBmaXJzdE9yZGVyTG9naWNDdXN0b21HcmFtbWFyc0pTT05cbn1cblxucmVnaXN0ZXJDdXN0b21HcmFtbWFyc01hcChjdXN0b21HcmFtbWFyc0pTT05NYXApO1xuIl0sIm5hbWVzIjpbInJlZ2lzdGVyQ3VzdG9tR3JhbW1hcnNNYXAiLCJjdXN0b21HcmFtbWFyc1V0aWxpdGllcyIsImN1c3RvbUdyYW1tYXJzSlNPTk1hcCIsImZpcnN0T3JkZXJMb2dpY0N1c3RvbUdyYW1tYXJzSlNPTiJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7dUJBRXdDO3dFQUVNOzs7Ozs7QUFFOUMsTUFBTSxFQUFFQSx5QkFBeUIsRUFBRSxHQUFHQyw4QkFBdUI7QUFFN0QsTUFBTUMsd0JBQXdCO0lBQzVCLHFCQUFxQkMsd0JBQWlDO0FBQ3hEO0FBRUFILDBCQUEwQkUifQ==
@@ -0,0 +1,24 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ Object.defineProperty(exports, "default", {
6
+ enumerable: true,
7
+ get: function() {
8
+ return _default;
9
+ }
10
+ });
11
+ const _easywithstyle = /*#__PURE__*/ _interop_require_default(require("easy-with-style"));
12
+ const _easylayout = require("easy-layout");
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ const _default = (0, _easywithstyle.default)(_easylayout.ColumnDiv)`
19
+
20
+ position: relative;
21
+
22
+ `;
23
+
24
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uLy4uL3NyYy9leGFtcGxlL3ZpZXcvZGl2L2NvbHVtbi5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHdpdGhTdHlsZSBmcm9tIFwiZWFzeS13aXRoLXN0eWxlXCI7ICAvLy9cblxuaW1wb3J0IHsgQ29sdW1uRGl2IH0gZnJvbSBcImVhc3ktbGF5b3V0XCI7XG5cbmV4cG9ydCBkZWZhdWx0IHdpdGhTdHlsZShDb2x1bW5EaXYpYFxuXG4gIHBvc2l0aW9uOiByZWxhdGl2ZTtcbiAgXG5gO1xuIl0sIm5hbWVzIjpbIndpdGhTdHlsZSIsIkNvbHVtbkRpdiJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBTUE7OztlQUFBOzs7c0VBSnNCOzRCQUVJOzs7Ozs7TUFFMUIsV0FBZUEsSUFBQUEsc0JBQVMsRUFBQ0MscUJBQVMsQ0FBQyxDQUFDOzs7O0FBSXBDLENBQUMifQ==
@@ -0,0 +1,84 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ Object.defineProperty(exports, "default", {
6
+ enumerable: true,
7
+ get: function() {
8
+ return _default;
9
+ }
10
+ });
11
+ const _easywithstyle = /*#__PURE__*/ _interop_require_default(require("easy-with-style"));
12
+ const _easy = require("easy");
13
+ const _index = require("../../../index");
14
+ function _interop_require_default(obj) {
15
+ return obj && obj.__esModule ? obj : {
16
+ default: obj
17
+ };
18
+ }
19
+ const { topmostHTMLNodeFromDocumentMarkdownNode } = _index.grammarUtilities;
20
+ class MarkdownDiv extends _easy.Element {
21
+ clear() {
22
+ const topmostHTMLNode = this.getTopmostHTMLNode();
23
+ if (topmostHTMLNode !== null) {
24
+ const domElement = this.getDOMElement(), parentDOMElement = domElement, context = null;
25
+ topmostHTMLNode.unmount(parentDOMElement, context);
26
+ this.clearTopmostHTMLNode();
27
+ }
28
+ }
29
+ update(documentMarkdownNode, tokens) {
30
+ if (documentMarkdownNode === null) {
31
+ return;
32
+ }
33
+ const domElement = this.getDOMElement(), parentDOMElement = domElement, siblingDOMElement = null, context = {
34
+ tokens
35
+ }, topmostHTMLNode = topmostHTMLNodeFromDocumentMarkdownNode(documentMarkdownNode);
36
+ topmostHTMLNode.mount(parentDOMElement, siblingDOMElement, context);
37
+ this.setTopmostHTMLNode(topmostHTMLNode);
38
+ }
39
+ clearTopmostHTMLNode() {
40
+ const topmostHTMLNode = null;
41
+ this.setTopmostHTMLNode(topmostHTMLNode);
42
+ }
43
+ getTopmostHTMLNode() {
44
+ const { topmostHTMLNode } = this.getState();
45
+ return topmostHTMLNode;
46
+ }
47
+ setTopmostHTMLNode(topmostHTMLNode) {
48
+ this.updateState({
49
+ topmostHTMLNode
50
+ });
51
+ }
52
+ setInitialState() {
53
+ const topmostHTMLNode = null;
54
+ this.setState({
55
+ topmostHTMLNode
56
+ });
57
+ }
58
+ parentContext() {
59
+ const clearMarkdownDiv = this.clear.bind(this), updateMarkdownDiv = this.update.bind(this);
60
+ return {
61
+ clearMarkdownDiv,
62
+ updateMarkdownDiv
63
+ };
64
+ }
65
+ initialise() {
66
+ this.setInitialState();
67
+ }
68
+ static tagName = "div";
69
+ static defaultProperties = {
70
+ className: "markdown"
71
+ };
72
+ }
73
+ const _default = (0, _easywithstyle.default)(MarkdownDiv)`
74
+
75
+ width: 100%;
76
+ height: 100%;
77
+ border: 1px solid darkgrey;
78
+ padding: 0.25rem;
79
+ position: absolute;
80
+
81
+
82
+ `;
83
+
84
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uLy4uL3NyYy9leGFtcGxlL3ZpZXcvZGl2L21hcmtkb3duLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgd2l0aFN0eWxlIGZyb20gXCJlYXN5LXdpdGgtc3R5bGVcIjtcblxuaW1wb3J0IHsgRWxlbWVudCB9IGZyb20gXCJlYXN5XCI7XG5pbXBvcnQgeyBncmFtbWFyVXRpbGl0aWVzIH0gZnJvbSBcIi4uLy4uLy4uL2luZGV4XCI7ICAvLy9cblxuY29uc3QgeyB0b3Btb3N0SFRNTE5vZGVGcm9tRG9jdW1lbnRNYXJrZG93bk5vZGUgfSA9IGdyYW1tYXJVdGlsaXRpZXM7XG5cbmNsYXNzIE1hcmtkb3duRGl2IGV4dGVuZHMgRWxlbWVudCB7XG4gIGNsZWFyKCkge1xuICAgIGNvbnN0IHRvcG1vc3RIVE1MTm9kZSA9IHRoaXMuZ2V0VG9wbW9zdEhUTUxOb2RlKCk7XG5cbiAgICBpZiAodG9wbW9zdEhUTUxOb2RlICE9PSBudWxsKSB7XG4gICAgICBjb25zdCBkb21FbGVtZW50ID0gdGhpcy5nZXRET01FbGVtZW50KCksXG4gICAgICAgICAgICBwYXJlbnRET01FbGVtZW50ID0gZG9tRWxlbWVudCwgIC8vL1xuICAgICAgICAgICAgY29udGV4dCA9IG51bGw7XG5cbiAgICAgIHRvcG1vc3RIVE1MTm9kZS51bm1vdW50KHBhcmVudERPTUVsZW1lbnQsIGNvbnRleHQpO1xuXG4gICAgICB0aGlzLmNsZWFyVG9wbW9zdEhUTUxOb2RlKCk7XG4gICAgfVxuICB9XG5cbiAgdXBkYXRlKGRvY3VtZW50TWFya2Rvd25Ob2RlLCB0b2tlbnMpIHtcbiAgICBpZiAoZG9jdW1lbnRNYXJrZG93bk5vZGUgPT09IG51bGwpIHtcbiAgICAgIHJldHVybjtcbiAgICB9XG5cbiAgICBjb25zdCBkb21FbGVtZW50ID0gdGhpcy5nZXRET01FbGVtZW50KCksXG4gICAgICAgICAgcGFyZW50RE9NRWxlbWVudCA9IGRvbUVsZW1lbnQsICAvLy9cbiAgICAgICAgICBzaWJsaW5nRE9NRWxlbWVudCA9IG51bGwsXG4gICAgICAgICAgY29udGV4dCA9IHtcbiAgICAgICAgICAgIHRva2Vuc1xuICAgICAgICAgIH0sXG4gICAgICAgICAgdG9wbW9zdEhUTUxOb2RlID0gdG9wbW9zdEhUTUxOb2RlRnJvbURvY3VtZW50TWFya2Rvd25Ob2RlKGRvY3VtZW50TWFya2Rvd25Ob2RlKTtcblxuICAgIHRvcG1vc3RIVE1MTm9kZS5tb3VudChwYXJlbnRET01FbGVtZW50LCBzaWJsaW5nRE9NRWxlbWVudCwgY29udGV4dCk7XG5cbiAgICB0aGlzLnNldFRvcG1vc3RIVE1MTm9kZSh0b3Btb3N0SFRNTE5vZGUpO1xuICB9XG5cbiAgY2xlYXJUb3Btb3N0SFRNTE5vZGUoKSB7XG4gICAgY29uc3QgdG9wbW9zdEhUTUxOb2RlID0gbnVsbDtcblxuICAgIHRoaXMuc2V0VG9wbW9zdEhUTUxOb2RlKHRvcG1vc3RIVE1MTm9kZSk7XG4gIH1cblxuICBnZXRUb3Btb3N0SFRNTE5vZGUoKSB7XG4gICAgY29uc3QgeyB0b3Btb3N0SFRNTE5vZGUgfSA9IHRoaXMuZ2V0U3RhdGUoKTtcblxuICAgIHJldHVybiB0b3Btb3N0SFRNTE5vZGU7XG4gIH1cblxuICBzZXRUb3Btb3N0SFRNTE5vZGUodG9wbW9zdEhUTUxOb2RlKSB7XG4gICAgdGhpcy51cGRhdGVTdGF0ZSh7XG4gICAgICB0b3Btb3N0SFRNTE5vZGVcbiAgICB9KTtcbiAgfVxuXG4gIHNldEluaXRpYWxTdGF0ZSgpIHtcbiAgICBjb25zdCB0b3Btb3N0SFRNTE5vZGUgPSBudWxsO1xuXG4gICAgdGhpcy5zZXRTdGF0ZSh7XG4gICAgICB0b3Btb3N0SFRNTE5vZGVcbiAgICB9KTtcbiAgfVxuXG4gIHBhcmVudENvbnRleHQoKSB7XG4gICAgY29uc3QgY2xlYXJNYXJrZG93bkRpdiA9IHRoaXMuY2xlYXIuYmluZCh0aGlzKSxcbiAgICAgICAgICB1cGRhdGVNYXJrZG93bkRpdiA9IHRoaXMudXBkYXRlLmJpbmQodGhpcyk7XG5cbiAgICByZXR1cm4gKHtcbiAgICAgIGNsZWFyTWFya2Rvd25EaXYsXG4gICAgICB1cGRhdGVNYXJrZG93bkRpdlxuICAgIH0pO1xuICB9XG5cbiAgaW5pdGlhbGlzZSgpIHtcbiAgICB0aGlzLnNldEluaXRpYWxTdGF0ZSgpO1xuICB9XG5cbiAgc3RhdGljIHRhZ05hbWUgPSBcImRpdlwiO1xuXG4gIHN0YXRpYyBkZWZhdWx0UHJvcGVydGllcyA9IHtcbiAgICBjbGFzc05hbWU6IFwibWFya2Rvd25cIlxuICB9O1xufVxuXG5leHBvcnQgZGVmYXVsdCB3aXRoU3R5bGUoTWFya2Rvd25EaXYpYFxuXG4gIHdpZHRoOiAxMDAlO1xuICBoZWlnaHQ6IDEwMCU7XG4gIGJvcmRlcjogMXB4IHNvbGlkIGRhcmtncmV5O1xuICBwYWRkaW5nOiAwLjI1cmVtO1xuICBwb3NpdGlvbjogYWJzb2x1dGU7XG4gIFxuICBcbmA7XG4iXSwibmFtZXMiOlsidG9wbW9zdEhUTUxOb2RlRnJvbURvY3VtZW50TWFya2Rvd25Ob2RlIiwiZ3JhbW1hclV0aWxpdGllcyIsIk1hcmtkb3duRGl2IiwiRWxlbWVudCIsImNsZWFyIiwidG9wbW9zdEhUTUxOb2RlIiwiZ2V0VG9wbW9zdEhUTUxOb2RlIiwiZG9tRWxlbWVudCIsImdldERPTUVsZW1lbnQiLCJwYXJlbnRET01FbGVtZW50IiwiY29udGV4dCIsInVubW91bnQiLCJjbGVhclRvcG1vc3RIVE1MTm9kZSIsInVwZGF0ZSIsImRvY3VtZW50TWFya2Rvd25Ob2RlIiwidG9rZW5zIiwic2libGluZ0RPTUVsZW1lbnQiLCJtb3VudCIsInNldFRvcG1vc3RIVE1MTm9kZSIsImdldFN0YXRlIiwidXBkYXRlU3RhdGUiLCJzZXRJbml0aWFsU3RhdGUiLCJzZXRTdGF0ZSIsInBhcmVudENvbnRleHQiLCJjbGVhck1hcmtkb3duRGl2IiwiYmluZCIsInVwZGF0ZU1hcmtkb3duRGl2IiwiaW5pdGlhbGlzZSIsInRhZ05hbWUiLCJkZWZhdWx0UHJvcGVydGllcyIsImNsYXNzTmFtZSIsIndpdGhTdHlsZSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBeUZBOzs7ZUFBQTs7O3NFQXZGc0I7c0JBRUU7dUJBQ1M7Ozs7OztBQUVqQyxNQUFNLEVBQUVBLHVDQUF1QyxFQUFFLEdBQUdDLHVCQUFnQjtBQUVwRSxNQUFNQyxvQkFBb0JDLGFBQU87SUFDL0JDLFFBQVE7UUFDTixNQUFNQyxrQkFBa0IsSUFBSSxDQUFDQyxrQkFBa0I7UUFFL0MsSUFBSUQsb0JBQW9CLE1BQU07WUFDNUIsTUFBTUUsYUFBYSxJQUFJLENBQUNDLGFBQWEsSUFDL0JDLG1CQUFtQkYsWUFDbkJHLFVBQVU7WUFFaEJMLGdCQUFnQk0sT0FBTyxDQUFDRixrQkFBa0JDO1lBRTFDLElBQUksQ0FBQ0Usb0JBQW9CO1FBQzNCO0lBQ0Y7SUFFQUMsT0FBT0Msb0JBQW9CLEVBQUVDLE1BQU0sRUFBRTtRQUNuQyxJQUFJRCx5QkFBeUIsTUFBTTtZQUNqQztRQUNGO1FBRUEsTUFBTVAsYUFBYSxJQUFJLENBQUNDLGFBQWEsSUFDL0JDLG1CQUFtQkYsWUFDbkJTLG9CQUFvQixNQUNwQk4sVUFBVTtZQUNSSztRQUNGLEdBQ0FWLGtCQUFrQkwsd0NBQXdDYztRQUVoRVQsZ0JBQWdCWSxLQUFLLENBQUNSLGtCQUFrQk8sbUJBQW1CTjtRQUUzRCxJQUFJLENBQUNRLGtCQUFrQixDQUFDYjtJQUMxQjtJQUVBTyx1QkFBdUI7UUFDckIsTUFBTVAsa0JBQWtCO1FBRXhCLElBQUksQ0FBQ2Esa0JBQWtCLENBQUNiO0lBQzFCO0lBRUFDLHFCQUFxQjtRQUNuQixNQUFNLEVBQUVELGVBQWUsRUFBRSxHQUFHLElBQUksQ0FBQ2MsUUFBUTtRQUV6QyxPQUFPZDtJQUNUO0lBRUFhLG1CQUFtQmIsZUFBZSxFQUFFO1FBQ2xDLElBQUksQ0FBQ2UsV0FBVyxDQUFDO1lBQ2ZmO1FBQ0Y7SUFDRjtJQUVBZ0Isa0JBQWtCO1FBQ2hCLE1BQU1oQixrQkFBa0I7UUFFeEIsSUFBSSxDQUFDaUIsUUFBUSxDQUFDO1lBQ1pqQjtRQUNGO0lBQ0Y7SUFFQWtCLGdCQUFnQjtRQUNkLE1BQU1DLG1CQUFtQixJQUFJLENBQUNwQixLQUFLLENBQUNxQixJQUFJLENBQUMsSUFBSSxHQUN2Q0Msb0JBQW9CLElBQUksQ0FBQ2IsTUFBTSxDQUFDWSxJQUFJLENBQUMsSUFBSTtRQUUvQyxPQUFRO1lBQ05EO1lBQ0FFO1FBQ0Y7SUFDRjtJQUVBQyxhQUFhO1FBQ1gsSUFBSSxDQUFDTixlQUFlO0lBQ3RCO0lBRUEsT0FBT08sVUFBVSxNQUFNO0lBRXZCLE9BQU9DLG9CQUFvQjtRQUN6QkMsV0FBVztJQUNiLEVBQUU7QUFDSjtNQUVBLFdBQWVDLElBQUFBLHNCQUFTLEVBQUM3QixZQUFZLENBQUM7Ozs7Ozs7OztBQVN0QyxDQUFDIn0=
@@ -0,0 +1,25 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ Object.defineProperty(exports, "default", {
6
+ enumerable: true,
7
+ get: function() {
8
+ return _default;
9
+ }
10
+ });
11
+ const _easywithstyle = /*#__PURE__*/ _interop_require_default(require("easy-with-style"));
12
+ const _easylayout = require("easy-layout");
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ const _default = (0, _easywithstyle.default)(_easylayout.SizeableDiv)`
19
+
20
+ width: 64rem;
21
+ min-width: 12rem;
22
+
23
+ `;
24
+
25
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uLy4uL3NyYy9leGFtcGxlL3ZpZXcvZGl2L3NpemVhYmxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgd2l0aFN0eWxlIGZyb20gXCJlYXN5LXdpdGgtc3R5bGVcIjsgIC8vL1xuXG5pbXBvcnQgeyBTaXplYWJsZURpdiB9IGZyb20gXCJlYXN5LWxheW91dFwiO1xuXG5leHBvcnQgZGVmYXVsdCB3aXRoU3R5bGUoU2l6ZWFibGVEaXYpYFxuXG4gIHdpZHRoOiA2NHJlbTtcbiAgbWluLXdpZHRoOiAxMnJlbTtcbiAgXG5gO1xuIl0sIm5hbWVzIjpbIndpdGhTdHlsZSIsIlNpemVhYmxlRGl2Il0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFNQTs7O2VBQUE7OztzRUFKc0I7NEJBRU07Ozs7OztNQUU1QixXQUFlQSxJQUFBQSxzQkFBUyxFQUFDQyx1QkFBVyxDQUFDLENBQUM7Ozs7O0FBS3RDLENBQUMifQ==
@@ -0,0 +1,27 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ Object.defineProperty(exports, "default", {
6
+ enumerable: true,
7
+ get: function() {
8
+ return _default;
9
+ }
10
+ });
11
+ const _easywithstyle = /*#__PURE__*/ _interop_require_default(require("easy-with-style"));
12
+ function _interop_require_default(obj) {
13
+ return obj && obj.__esModule ? obj : {
14
+ default: obj
15
+ };
16
+ }
17
+ const Heading = _easywithstyle.default.h1`
18
+
19
+ font-size: 3rem;
20
+ text-align: center;
21
+ margin-top: 1rem;
22
+ margin-bottom: 1rem;
23
+
24
+ `;
25
+ const _default = Heading;
26
+
27
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9leGFtcGxlL3ZpZXcvaGVhZGluZy5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHdpdGhTdHlsZSBmcm9tIFwiZWFzeS13aXRoLXN0eWxlXCI7ICAvLy9cblxuY29uc3QgSGVhZGluZyA9IHdpdGhTdHlsZS5oMWBcblxuICBmb250LXNpemU6IDNyZW07XG4gIHRleHQtYWxpZ246IGNlbnRlcjtcbiAgbWFyZ2luLXRvcDogMXJlbTtcbiAgbWFyZ2luLWJvdHRvbTogMXJlbTtcblxuYDtcblxuZXhwb3J0IGRlZmF1bHQgSGVhZGluZztcbiJdLCJuYW1lcyI6WyJIZWFkaW5nIiwid2l0aFN0eWxlIiwiaDEiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQWFBOzs7ZUFBQTs7O3NFQVhzQjs7Ozs7O0FBRXRCLE1BQU1BLFVBQVVDLHNCQUFTLENBQUNDLEVBQUUsQ0FBQzs7Ozs7OztBQU83QixDQUFDO01BRUQsV0FBZUYifQ==
@@ -0,0 +1,28 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ Object.defineProperty(exports, "default", {
6
+ enumerable: true,
7
+ get: function() {
8
+ return _default;
9
+ }
10
+ });
11
+ const _easywithstyle = /*#__PURE__*/ _interop_require_default(require("easy-with-style"));
12
+ const _easy = require("easy");
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ const _default = (0, _easywithstyle.default)(_easy.Input)`
19
+
20
+ border: 1px solid darkgrey;
21
+ padding: 0.25rem;
22
+ font-size: 1.2rem;
23
+ line-height: 1.5rem;
24
+ font-family: monospace;
25
+
26
+ `;
27
+
28
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9leGFtcGxlL3ZpZXcvaW5wdXQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB3aXRoU3R5bGUgZnJvbSBcImVhc3ktd2l0aC1zdHlsZVwiOyAgLy8vXG5cbmltcG9ydCB7IElucHV0IH0gZnJvbSBcImVhc3lcIjtcblxuZXhwb3J0IGRlZmF1bHQgd2l0aFN0eWxlKElucHV0KWBcblxuICBib3JkZXI6IDFweCBzb2xpZCBkYXJrZ3JleTtcbiAgcGFkZGluZzogMC4yNXJlbTtcbiAgZm9udC1zaXplOiAxLjJyZW07XG4gIGxpbmUtaGVpZ2h0OiAxLjVyZW07XG4gIGZvbnQtZmFtaWx5OiBtb25vc3BhY2U7XG5cbmA7XG4iXSwibmFtZXMiOlsid2l0aFN0eWxlIiwiSW5wdXQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBQTs7O3NFQUpzQjtzQkFFQTs7Ozs7O01BRXRCLFdBQWVBLElBQUFBLHNCQUFTLEVBQUNDLFdBQUssQ0FBQyxDQUFDOzs7Ozs7OztBQVFoQyxDQUFDIn0=
@@ -0,0 +1,26 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ Object.defineProperty(exports, "default", {
6
+ enumerable: true,
7
+ get: function() {
8
+ return _default;
9
+ }
10
+ });
11
+ const _easywithstyle = /*#__PURE__*/ _interop_require_default(require("easy-with-style"));
12
+ const _listing = /*#__PURE__*/ _interop_require_default(require("../../listing"));
13
+ const _styles = require("../styles");
14
+ function _interop_require_default(obj) {
15
+ return obj && obj.__esModule ? obj : {
16
+ default: obj
17
+ };
18
+ }
19
+ const _default = (0, _easywithstyle.default)(_listing.default)`
20
+
21
+ border: 0;
22
+ padding: ${_styles.listingPadding};
23
+
24
+ `;
25
+
26
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9leGFtcGxlL3ZpZXcvbGlzdGluZy5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHdpdGhTdHlsZSBmcm9tIFwiZWFzeS13aXRoLXN0eWxlXCI7XG5cbmltcG9ydCBMaXN0aW5nIGZyb20gXCIuLi8uLi9saXN0aW5nXCI7XG5cbmltcG9ydCB7IGxpc3RpbmdQYWRkaW5nIH0gZnJvbSBcIi4uL3N0eWxlc1wiO1xuXG5leHBvcnQgZGVmYXVsdCB3aXRoU3R5bGUoTGlzdGluZylgXG5cbiAgYm9yZGVyOiAwO1xuICBwYWRkaW5nOiAke2xpc3RpbmdQYWRkaW5nfTtcbiAgXG5gO1xuIl0sIm5hbWVzIjpbIndpdGhTdHlsZSIsIkxpc3RpbmciLCJsaXN0aW5nUGFkZGluZyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBUUE7OztlQUFBOzs7c0VBTnNCO2dFQUVGO3dCQUVXOzs7Ozs7TUFFL0IsV0FBZUEsSUFBQUEsc0JBQVMsRUFBQ0MsZ0JBQU8sQ0FBQyxDQUFDOzs7V0FHdkIsRUFBRUMsc0JBQWMsQ0FBQzs7QUFFNUIsQ0FBQyJ9
@@ -0,0 +1,29 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ Object.defineProperty(exports, "default", {
6
+ enumerable: true,
7
+ get: function() {
8
+ return _default;
9
+ }
10
+ });
11
+ const _easywithstyle = /*#__PURE__*/ _interop_require_default(require("easy-with-style"));
12
+ function _interop_require_default(obj) {
13
+ return obj && obj.__esModule ? obj : {
14
+ default: obj
15
+ };
16
+ }
17
+ const SubHeading = _easywithstyle.default.h2`
18
+
19
+ margin: 1rem 0 0.5rem 0;
20
+ font-size: 2rem;
21
+
22
+ :first-of-type {
23
+ margin-top: 0;
24
+ }
25
+
26
+ `;
27
+ const _default = SubHeading;
28
+
29
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9leGFtcGxlL3ZpZXcvc3ViSGVhZGluZy5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHdpdGhTdHlsZSBmcm9tIFwiZWFzeS13aXRoLXN0eWxlXCI7ICAvLy9cblxuY29uc3QgU3ViSGVhZGluZyA9IHdpdGhTdHlsZS5oMmBcblxuICBtYXJnaW46IDFyZW0gMCAwLjVyZW0gMDtcbiAgZm9udC1zaXplOiAycmVtO1xuICBcbiAgOmZpcnN0LW9mLXR5cGUge1xuICAgIG1hcmdpbi10b3A6IDA7XG4gIH1cblxuYDtcblxuZXhwb3J0IGRlZmF1bHQgU3ViSGVhZGluZztcbiJdLCJuYW1lcyI6WyJTdWJIZWFkaW5nIiwid2l0aFN0eWxlIiwiaDIiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQWVBOzs7ZUFBQTs7O3NFQWJzQjs7Ozs7O0FBRXRCLE1BQU1BLGFBQWFDLHNCQUFTLENBQUNDLEVBQUUsQ0FBQzs7Ozs7Ozs7O0FBU2hDLENBQUM7TUFFRCxXQUFlRiJ9
@@ -0,0 +1,46 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ Object.defineProperty(exports, "default", {
6
+ enumerable: true,
7
+ get: function() {
8
+ return _default;
9
+ }
10
+ });
11
+ const _easywithstyle = /*#__PURE__*/ _interop_require_default(require("easy-with-style"));
12
+ const _textarea = /*#__PURE__*/ _interop_require_default(require("../textarea"));
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ class ContentTextarea extends _textarea.default {
19
+ getContent() {
20
+ const value = this.getValue(), content = value; ///
21
+ return content;
22
+ }
23
+ setContent(content) {
24
+ const value = content;
25
+ this.setValue(value);
26
+ }
27
+ parentContext() {
28
+ const getContent = this.getContent.bind(this), setContent = this.setContent.bind(this), focusContentTextarea = this.focus.bind(this);
29
+ return {
30
+ getContent,
31
+ setContent,
32
+ focusContentTextarea
33
+ };
34
+ }
35
+ static defaultProperties = {
36
+ className: "content",
37
+ spellCheck: "false"
38
+ };
39
+ }
40
+ const _default = (0, _easywithstyle.default)(ContentTextarea)`
41
+
42
+ height: 64rem;
43
+
44
+ `;
45
+
46
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uLy4uL3NyYy9leGFtcGxlL3ZpZXcvdGV4dGFyZWEvY29udGVudC5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcblxuaW1wb3J0IHdpdGhTdHlsZSBmcm9tIFwiZWFzeS13aXRoLXN0eWxlXCI7ICAvLy9cblxuaW1wb3J0IFRleHRhcmVhIGZyb20gXCIuLi90ZXh0YXJlYVwiO1xuXG5jbGFzcyBDb250ZW50VGV4dGFyZWEgZXh0ZW5kcyBUZXh0YXJlYSB7XG4gIGdldENvbnRlbnQoKSB7XG4gICAgY29uc3QgdmFsdWUgPSB0aGlzLmdldFZhbHVlKCksXG4gICAgICAgICAgY29udGVudCA9IHZhbHVlOyAvLy9cblxuICAgIHJldHVybiBjb250ZW50O1xuICB9XG5cbiAgc2V0Q29udGVudChjb250ZW50KSB7XG4gICAgY29uc3QgdmFsdWUgPSBjb250ZW50O1xuXG4gICAgdGhpcy5zZXRWYWx1ZSh2YWx1ZSk7XG4gIH1cblxuICBwYXJlbnRDb250ZXh0KCkge1xuICAgIGNvbnN0IGdldENvbnRlbnQgPSB0aGlzLmdldENvbnRlbnQuYmluZCh0aGlzKSxcbiAgICAgICAgICBzZXRDb250ZW50ID0gdGhpcy5zZXRDb250ZW50LmJpbmQodGhpcyksXG4gICAgICAgICAgZm9jdXNDb250ZW50VGV4dGFyZWEgPSB0aGlzLmZvY3VzLmJpbmQodGhpcyk7XG5cbiAgICByZXR1cm4gKHtcbiAgICAgIGdldENvbnRlbnQsXG4gICAgICBzZXRDb250ZW50LFxuICAgICAgZm9jdXNDb250ZW50VGV4dGFyZWFcbiAgICB9KTtcbiAgfVxuXG4gIHN0YXRpYyBkZWZhdWx0UHJvcGVydGllcyA9IHtcbiAgICBjbGFzc05hbWU6IFwiY29udGVudFwiLFxuICAgIHNwZWxsQ2hlY2s6IFwiZmFsc2VcIlxuICB9O1xufVxuXG5leHBvcnQgZGVmYXVsdCB3aXRoU3R5bGUoQ29udGVudFRleHRhcmVhKWBcblxuICBoZWlnaHQ6IDY0cmVtO1xuICBcbmA7XG4iXSwibmFtZXMiOlsiQ29udGVudFRleHRhcmVhIiwiVGV4dGFyZWEiLCJnZXRDb250ZW50IiwidmFsdWUiLCJnZXRWYWx1ZSIsImNvbnRlbnQiLCJzZXRDb250ZW50Iiwic2V0VmFsdWUiLCJwYXJlbnRDb250ZXh0IiwiYmluZCIsImZvY3VzQ29udGVudFRleHRhcmVhIiwiZm9jdXMiLCJkZWZhdWx0UHJvcGVydGllcyIsImNsYXNzTmFtZSIsInNwZWxsQ2hlY2siLCJ3aXRoU3R5bGUiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQXNDQTs7O2VBQUE7OztzRUFwQ3NCO2lFQUVEOzs7Ozs7QUFFckIsTUFBTUEsd0JBQXdCQyxpQkFBUTtJQUNwQ0MsYUFBYTtRQUNYLE1BQU1DLFFBQVEsSUFBSSxDQUFDQyxRQUFRLElBQ3JCQyxVQUFVRixPQUFPLEdBQUc7UUFFMUIsT0FBT0U7SUFDVDtJQUVBQyxXQUFXRCxPQUFPLEVBQUU7UUFDbEIsTUFBTUYsUUFBUUU7UUFFZCxJQUFJLENBQUNFLFFBQVEsQ0FBQ0o7SUFDaEI7SUFFQUssZ0JBQWdCO1FBQ2QsTUFBTU4sYUFBYSxJQUFJLENBQUNBLFVBQVUsQ0FBQ08sSUFBSSxDQUFDLElBQUksR0FDdENILGFBQWEsSUFBSSxDQUFDQSxVQUFVLENBQUNHLElBQUksQ0FBQyxJQUFJLEdBQ3RDQyx1QkFBdUIsSUFBSSxDQUFDQyxLQUFLLENBQUNGLElBQUksQ0FBQyxJQUFJO1FBRWpELE9BQVE7WUFDTlA7WUFDQUk7WUFDQUk7UUFDRjtJQUNGO0lBRUEsT0FBT0Usb0JBQW9CO1FBQ3pCQyxXQUFXO1FBQ1hDLFlBQVk7SUFDZCxFQUFFO0FBQ0o7TUFFQSxXQUFlQyxJQUFBQSxzQkFBUyxFQUFDZixnQkFBZ0IsQ0FBQzs7OztBQUkxQyxDQUFDIn0=
@@ -0,0 +1,30 @@
1
+ "use strict";
2
+ Object.defineProperty(exports, "__esModule", {
3
+ value: true
4
+ });
5
+ Object.defineProperty(exports, "default", {
6
+ enumerable: true,
7
+ get: function() {
8
+ return _default;
9
+ }
10
+ });
11
+ const _easywithstyle = /*#__PURE__*/ _interop_require_default(require("easy-with-style"));
12
+ const _easy = require("easy");
13
+ function _interop_require_default(obj) {
14
+ return obj && obj.__esModule ? obj : {
15
+ default: obj
16
+ };
17
+ }
18
+ const _default = (0, _easywithstyle.default)(_easy.Textarea)`
19
+
20
+ border: 1px solid darkgrey;
21
+ resize: vertical;
22
+ padding: 0.25rem;
23
+ font-size: 1.2rem;
24
+ line-height: 1.5rem;
25
+ white-space: pre;
26
+ font-family: monospace;
27
+
28
+ `;
29
+
30
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9leGFtcGxlL3ZpZXcvdGV4dGFyZWEuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB3aXRoU3R5bGUgZnJvbSBcImVhc3ktd2l0aC1zdHlsZVwiOyAgLy8vXG5cbmltcG9ydCB7IFRleHRhcmVhIH0gZnJvbSBcImVhc3lcIjtcblxuZXhwb3J0IGRlZmF1bHQgd2l0aFN0eWxlKFRleHRhcmVhKWBcblxuICBib3JkZXI6IDFweCBzb2xpZCBkYXJrZ3JleTtcbiAgcmVzaXplOiB2ZXJ0aWNhbDtcbiAgcGFkZGluZzogMC4yNXJlbTtcbiAgZm9udC1zaXplOiAxLjJyZW07XG4gIGxpbmUtaGVpZ2h0OiAxLjVyZW07XG4gIHdoaXRlLXNwYWNlOiBwcmU7XG4gIGZvbnQtZmFtaWx5OiBtb25vc3BhY2U7XG5cbmA7XG4iXSwibmFtZXMiOlsid2l0aFN0eWxlIiwiVGV4dGFyZWEiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQU1BOzs7ZUFBQTs7O3NFQUpzQjtzQkFFRzs7Ozs7O01BRXpCLFdBQWVBLElBQUFBLHNCQUFTLEVBQUNDLGNBQVEsQ0FBQyxDQUFDOzs7Ozs7Ozs7O0FBVW5DLENBQUMifQ==