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.
- package/README.md +139 -0
- package/lib/blockListing.js +40 -0
- package/lib/constants.js +13 -0
- package/lib/div/container.js +44 -0
- package/lib/div/line.js +48 -0
- package/lib/div/lines.js +61 -0
- package/lib/div/syntax.js +50 -0
- package/lib/document/bnf.js +32 -0
- package/lib/document/furtle.js +37 -0
- package/lib/document/json.js +33 -0
- package/lib/document/markdown.js +45 -0
- package/lib/document/markdownStyle.js +39 -0
- package/lib/document/nominal.js +50 -0
- package/lib/document/plainText.js +28 -0
- package/lib/document.js +55 -0
- package/lib/documentTypes.js +54 -0
- package/lib/example/customGrammarsJSON/firstOrderLogic.js +28 -0
- package/lib/example/preamble.js +18 -0
- package/lib/example/view/div/column.js +24 -0
- package/lib/example/view/div/markdown.js +84 -0
- package/lib/example/view/div/sizeable.js +25 -0
- package/lib/example/view/heading.js +27 -0
- package/lib/example/view/input.js +28 -0
- package/lib/example/view/listing.js +26 -0
- package/lib/example/view/subHeading.js +29 -0
- package/lib/example/view/textarea/content.js +46 -0
- package/lib/example/view/textarea.js +30 -0
- package/lib/example/view.js +73 -0
- package/lib/example.js +23 -0
- package/lib/index.js +31 -0
- package/lib/line.js +42 -0
- package/lib/map/node/html.js +24 -0
- package/lib/node/html/listing/block.js +56 -0
- package/lib/overlay.js +65 -0
- package/lib/overlayTokenTypes.js +89 -0
- package/lib/prettyPrinter.js +55 -0
- package/lib/styles.js +22 -0
- package/lib/token/overlay/common/content.js +25 -0
- package/lib/token/overlay/common/error.js +25 -0
- package/lib/token/overlay/common/labelName.js +25 -0
- package/lib/token/overlay/common/nonsense.js +25 -0
- package/lib/token/overlay/common/procedureReferenceName.js +25 -0
- package/lib/token/overlay/common/referenceName.js +25 -0
- package/lib/token/overlay/common/stuff.js +25 -0
- package/lib/token/overlay/markdown/heading.js +25 -0
- package/lib/token/overlay/markdown/link.js +25 -0
- package/lib/token/overlay/markdown/listing.js +25 -0
- package/lib/token/overlay/markdown/path.js +25 -0
- package/lib/token/overlay/markdown/reference.js +25 -0
- package/lib/token/overlay/markdown/table.js +25 -0
- package/lib/token/overlay/markdownStyle/name.js +25 -0
- package/lib/token/overlay/markdownStyle/value.js +25 -0
- package/lib/token/overlay/nonTerminalNode.js +25 -0
- package/lib/token/overlay/terminalNode.js +25 -0
- package/lib/utilities/character.js +18 -0
- package/lib/utilities/customGrammars.js +48 -0
- package/lib/utilities/document.js +57 -0
- package/lib/utilities/grammar.js +51 -0
- package/lib/utilities/lines.js +32 -0
- package/lib/utilities/query.js +20 -0
- package/lib/utilities/tokens.js +19 -0
- package/license.txt +48 -0
- package/package.json +52 -0
- package/src/blockListing.js +39 -0
- package/src/constants.js +3 -0
- package/src/div/container.js +37 -0
- package/src/div/line.js +43 -0
- package/src/div/lines.js +68 -0
- package/src/div/syntax.js +45 -0
- package/src/document/bnf.js +27 -0
- package/src/document/furtle.js +32 -0
- package/src/document/json.js +28 -0
- package/src/document/markdown.js +40 -0
- package/src/document/markdownStyle.js +34 -0
- package/src/document/nominal.js +56 -0
- package/src/document/plainText.js +23 -0
- package/src/document.js +54 -0
- package/src/documentTypes.js +19 -0
- package/src/example/customGrammarsJSON/firstOrderLogic.js +18 -0
- package/src/example/preamble.js +13 -0
- package/src/example/view/div/column.js +11 -0
- package/src/example/view/div/markdown.js +99 -0
- package/src/example/view/div/sizeable.js +12 -0
- package/src/example/view/heading.js +14 -0
- package/src/example/view/input.js +15 -0
- package/src/example/view/listing.js +14 -0
- package/src/example/view/subHeading.js +16 -0
- package/src/example/view/textarea/content.js +43 -0
- package/src/example/view/textarea.js +17 -0
- package/src/example/view.js +93 -0
- package/src/example.js +28 -0
- package/src/index.js +5 -0
- package/src/line.js +47 -0
- package/src/map/node/html.js +13 -0
- package/src/node/html/listing/block.js +68 -0
- package/src/overlay.js +87 -0
- package/src/overlayTokenTypes.js +33 -0
- package/src/prettyPrinter.js +54 -0
- package/src/styles.js +4 -0
- package/src/token/overlay/common/content.js +11 -0
- package/src/token/overlay/common/error.js +11 -0
- package/src/token/overlay/common/labelName.js +11 -0
- package/src/token/overlay/common/nonsense.js +11 -0
- package/src/token/overlay/common/procedureReferenceName.js +11 -0
- package/src/token/overlay/common/referenceName.js +11 -0
- package/src/token/overlay/common/stuff.js +11 -0
- package/src/token/overlay/markdown/heading.js +11 -0
- package/src/token/overlay/markdown/link.js +11 -0
- package/src/token/overlay/markdown/listing.js +11 -0
- package/src/token/overlay/markdown/path.js +11 -0
- package/src/token/overlay/markdown/reference.js +11 -0
- package/src/token/overlay/markdown/table.js +11 -0
- package/src/token/overlay/markdownStyle/name.js +11 -0
- package/src/token/overlay/markdownStyle/value.js +11 -0
- package/src/token/overlay/nonTerminalNode.js +17 -0
- package/src/token/overlay/terminalNode.js +17 -0
- package/src/utilities/character.js +11 -0
- package/src/utilities/customGrammars.js +34 -0
- package/src/utilities/document.js +44 -0
- package/src/utilities/grammar.js +38 -0
- package/src/utilities/lines.js +31 -0
- package/src/utilities/query.js +13 -0
- 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
|
package/lib/document.js
ADDED
|
@@ -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==
|