occam-grammars 1.3.396 → 1.3.397
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/example.js +7 -5
- package/lib/furtle/entries.js +5 -4
- package/lib/nominal/entries.js +2 -2
- package/package.json +1 -1
- package/src/furtle/entries.js +6 -3
- package/src/nominal/entries.js +2 -2
package/lib/furtle/entries.js
CHANGED
|
@@ -8,6 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return _default;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
+
var LATIN = "[\\p{Script=Latin}]", DECIMAL = "[0-9]";
|
|
11
12
|
var entries = [
|
|
12
13
|
{
|
|
13
14
|
"type": "^(?:Nodes|Node|String|Number|Boolean)"
|
|
@@ -31,15 +32,15 @@ var entries = [
|
|
|
31
32
|
"special": "^(?:!=|==|=|,|;|_|&&|\\|\\||\\(|\\)|\\[|\\])"
|
|
32
33
|
},
|
|
33
34
|
{
|
|
34
|
-
"name": "^
|
|
35
|
+
"name": "^".concat(LATIN, "+").concat(DECIMAL, "*")
|
|
35
36
|
},
|
|
36
37
|
{
|
|
37
|
-
"number": "^
|
|
38
|
+
"number": "^".concat(DECIMAL, "+")
|
|
38
39
|
},
|
|
39
40
|
{
|
|
40
|
-
"unassigned": "
|
|
41
|
+
"unassigned": "^[^\\s\\(\\),]+"
|
|
41
42
|
}
|
|
42
43
|
];
|
|
43
44
|
var _default = entries;
|
|
44
45
|
|
|
45
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
46
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9mdXJ0bGUvZW50cmllcy5qcyJdLCJzb3VyY2VzQ29udGVudCI6WyJcInVzZSBzdHJpY3RcIjtcclxuXHJcbmNvbnN0IExBVElOID0gXCJbXFxcXHB7U2NyaXB0PUxhdGlufV1cIixcclxuICAgICAgREVDSU1BTCA9IFwiWzAtOV1cIjtcclxuXHJcbmNvbnN0IGVudHJpZXMgPSBbXHJcbiAge1xyXG4gICAgXCJ0eXBlXCI6IFwiXig/Ok5vZGVzfE5vZGV8U3RyaW5nfE51bWJlcnxCb29sZWFuKVwiXHJcbiAgfSxcclxuICB7XHJcbiAgICBcInF1ZXJ5XCI6IFwiXig/Om5vZGVRdWVyeXxub2Rlc1F1ZXJ5KVwiXHJcbiAgfSxcclxuICB7XHJcbiAgICBcInJldHVyblwiOiBcIl5SZXR1cm5cIlxyXG4gIH0sXHJcbiAge1xyXG4gICAgXCJrZXl3b3JkXCI6IFwiXig/OklmfEVsc2V8UmVkdWNlfEV2ZXJ5fFNvbWV8QXMpXCJcclxuICB9LFxyXG4gIHtcclxuICAgIFwicHJpbWl0aXZlXCI6IFwiXig/Om51bGx8dHJ1ZXxmYWxzZSlcIlxyXG4gIH0sXHJcbiAge1xyXG4gICAgXCJicmFja2V0XCI6IFwiXig/OlxcXFx7fFxcXFx9KVwiXHJcbiAgfSxcclxuICB7XHJcbiAgICBcInNwZWNpYWxcIjogXCJeKD86IT18PT18PXwsfDt8X3wmJnxcXFxcfFxcXFx8fFxcXFwofFxcXFwpfFxcXFxbfFxcXFxdKVwiXHJcbiAgfSxcclxuICB7XHJcbiAgICBcIm5hbWVcIjogYF4ke0xBVElOfSske0RFQ0lNQUx9KmAsXHJcbiAgfSxcclxuICB7XHJcbiAgICBcIm51bWJlclwiOiBgXiR7REVDSU1BTH0rYFxyXG4gIH0sXHJcbiAge1xyXG4gICAgXCJ1bmFzc2lnbmVkXCI6IFwiXlteXFxcXHNcXFxcKFxcXFwpLF0rXCJcclxuICB9XHJcbl07XHJcblxyXG5leHBvcnQgZGVmYXVsdCBlbnRyaWVzO1xyXG4iXSwibmFtZXMiOlsiTEFUSU4iLCJERUNJTUFMIiwiZW50cmllcyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7K0JBc0NBOzs7ZUFBQTs7O0FBcENBLElBQU1BLFFBQVEsdUJBQ1JDLFVBQVU7QUFFaEIsSUFBTUMsVUFBVTtJQUNkO1FBQ0UsUUFBUTtJQUNWO0lBQ0E7UUFDRSxTQUFTO0lBQ1g7SUFDQTtRQUNFLFVBQVU7SUFDWjtJQUNBO1FBQ0UsV0FBVztJQUNiO0lBQ0E7UUFDRSxhQUFhO0lBQ2Y7SUFDQTtRQUNFLFdBQVc7SUFDYjtJQUNBO1FBQ0UsV0FBVztJQUNiO0lBQ0E7UUFDRSxRQUFRLEFBQUMsSUFBWUQsT0FBVEQsT0FBTSxLQUFXLE9BQVJDLFNBQVE7SUFDL0I7SUFDQTtRQUNFLFVBQVUsQUFBQyxJQUFXLE9BQVJBLFNBQVE7SUFDeEI7SUFDQTtRQUNFLGNBQWM7SUFDaEI7Q0FDRDtJQUVELFdBQWVDIn0=
|
package/lib/nominal/entries.js
CHANGED
|
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return _default;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var
|
|
11
|
+
var GREEK = "[\\p{Script=Greek}]", LATIN = "[\\p{Script=Latin}]", DECIMAL = "[0-9]", LATIN_LOWER_CASE = "[\\p{Script=Latin}&&\\p{Lowercase}]", LATIN_UPPER_CASE = "[\\p{Script=Latin}&&\\p{Uppercase}]", MATHEMATICAL_SANS_SERIF_BOLD = "[\\u{1D5D4}-\\u{1D607}]", MATHEMATICAL_ITALIC_UPPER_CASE = "[\\u{1D434}-\\u{1D44D}]", MATHEMATICAL_SCRIPT_UPPER_CASE = "[\\u{1D49C}\\u{212C}\\u{1D49E}\\u{1D49F}\\u{2130}\\u{2131}\\u{1D4A2}\\u{210B}\\u{2110}\\u{1D4A5}\\u{1D4A6}\\u{2112}\\u{2133}\\u{1D4A9}-\\u{1D4AC}\\u{211B}\\u{1D4AE}-\\u{1D4B5}]", MATHEMATICAL_FRAKTUR_UPPER_CASE = "[\\u{1D504}\\u{1D505}\\u{212D}\\u{1D507}-\\u{1D50A}\\u{210C}\\u{2111}\\u{1D50D}-\\u{1D514}\\u{211C}\\u{1D516}-\\u{1D51C}\\u{2128}]";
|
|
12
12
|
var entries = [
|
|
13
13
|
{
|
|
14
14
|
"primary-keyword": "^(?:Rule|Axiom|Theorem|Lemma|Conjecture|MetaLemma|Metatheorem|Premises|Premise|Conclusion|Proof|Therefore|Suppose|Hence|Then|Provisional|Type|TypePrefix|Properties|Property|Variable|Constructor|Combinator|Metavariable|Given)\\b"
|
|
@@ -37,4 +37,4 @@ var entries = [
|
|
|
37
37
|
];
|
|
38
38
|
var _default = entries;
|
|
39
39
|
|
|
40
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
40
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub21pbmFsL2VudHJpZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XHJcblxyXG5jb25zdCBHUkVFSyA9IFwiW1xcXFxwe1NjcmlwdD1HcmVla31dXCIsXHJcbiAgICAgIExBVElOID0gXCJbXFxcXHB7U2NyaXB0PUxhdGlufV1cIixcclxuICAgICAgREVDSU1BTCA9IFwiWzAtOV1cIixcclxuICAgICAgTEFUSU5fTE9XRVJfQ0FTRSA9IFwiW1xcXFxwe1NjcmlwdD1MYXRpbn0mJlxcXFxwe0xvd2VyY2FzZX1dXCIsXHJcbiAgICAgIExBVElOX1VQUEVSX0NBU0UgPSBcIltcXFxccHtTY3JpcHQ9TGF0aW59JiZcXFxccHtVcHBlcmNhc2V9XVwiLFxyXG4gICAgICBNQVRIRU1BVElDQUxfU0FOU19TRVJJRl9CT0xEID0gXCJbXFxcXHV7MUQ1RDR9LVxcXFx1ezFENjA3fV1cIixcclxuICAgICAgTUFUSEVNQVRJQ0FMX0lUQUxJQ19VUFBFUl9DQVNFID0gXCJbXFxcXHV7MUQ0MzR9LVxcXFx1ezFENDREfV1cIixcclxuICAgICAgTUFUSEVNQVRJQ0FMX1NDUklQVF9VUFBFUl9DQVNFID0gXCJbXFxcXHV7MUQ0OUN9XFxcXHV7MjEyQ31cXFxcdXsxRDQ5RX1cXFxcdXsxRDQ5Rn1cXFxcdXsyMTMwfVxcXFx1ezIxMzF9XFxcXHV7MUQ0QTJ9XFxcXHV7MjEwQn1cXFxcdXsyMTEwfVxcXFx1ezFENEE1fVxcXFx1ezFENEE2fVxcXFx1ezIxMTJ9XFxcXHV7MjEzM31cXFxcdXsxRDRBOX0tXFxcXHV7MUQ0QUN9XFxcXHV7MjExQn1cXFxcdXsxRDRBRX0tXFxcXHV7MUQ0QjV9XVwiLFxyXG4gICAgICBNQVRIRU1BVElDQUxfRlJBS1RVUl9VUFBFUl9DQVNFID0gXCJbXFxcXHV7MUQ1MDR9XFxcXHV7MUQ1MDV9XFxcXHV7MjEyRH1cXFxcdXsxRDUwN30tXFxcXHV7MUQ1MEF9XFxcXHV7MjEwQ31cXFxcdXsyMTExfVxcXFx1ezFENTBEfS1cXFxcdXsxRDUxNH1cXFxcdXsyMTFDfVxcXFx1ezFENTE2fS1cXFxcdXsxRDUxQ31cXFxcdXsyMTI4fV1cIjtcclxuXHJcbmNvbnN0IGVudHJpZXMgPSBbXHJcbiAge1xyXG4gICAgXCJwcmltYXJ5LWtleXdvcmRcIjogXCJeKD86UnVsZXxBeGlvbXxUaGVvcmVtfExlbW1hfENvbmplY3R1cmV8TWV0YUxlbW1hfE1ldGF0aGVvcmVtfFByZW1pc2VzfFByZW1pc2V8Q29uY2x1c2lvbnxQcm9vZnxUaGVyZWZvcmV8U3VwcG9zZXxIZW5jZXxUaGVufFByb3Zpc2lvbmFsfFR5cGV8VHlwZVByZWZpeHxQcm9wZXJ0aWVzfFByb3BlcnR5fFZhcmlhYmxlfENvbnN0cnVjdG9yfENvbWJpbmF0b3J8TWV0YXZhcmlhYmxlfEdpdmVuKVxcXFxiXCJcclxuICB9LFxyXG4gIHtcclxuICAgIFwic2Vjb25kYXJ5LWtleXdvcmRcIjogXCJeKD86aXN8aW58YW58YXxvZnxieXxiZWNhdXNlfGZvcnxzYXRpc2ZpZXN8cHJvdmlzaW9uYWxseXxkZWZpbmVkfHVuZGVmaW5lZHxtaXNzaW5nfHByZXNlbnQpXFxcXGJcIlxyXG4gIH0sXHJcbiAge1xyXG4gICAgXCJtZXRhLXR5cGVcIjogXCJeKD86U3RhdGVtZW50fFJlZmVyZW5jZXxGcmFtZSlcXFxcYlwiXHJcbiAgfSxcclxuICB7XHJcbiAgICBcIm5hbWVcIjogYF4oPzoke0xBVElOX1VQUEVSX0NBU0V9JHtMQVRJTn0qJHtERUNJTUFMfSp8JHtMQVRJTl9MT1dFUl9DQVNFfSR7TEFUSU59KyR7REVDSU1BTH0qKWAsXHJcbiAgfSxcclxuICB7XHJcbiAgICBcImlkZW50aWZpZXJcIjogYF4oPzoke0xBVElOX0xPV0VSX0NBU0V9JHtERUNJTUFMfSp8JHtHUkVFS30rfCR7TUFUSEVNQVRJQ0FMX1NBTlNfU0VSSUZfQk9MRH0rfCR7TUFUSEVNQVRJQ0FMX0lUQUxJQ19VUFBFUl9DQVNFfSt8JHtNQVRIRU1BVElDQUxfU0NSSVBUX1VQUEVSX0NBU0V9K3wke01BVEhFTUFUSUNBTF9GUkFLVFVSX1VQUEVSX0NBU0V9KylgXHJcbiAgfSxcclxuICB7XHJcbiAgICBcInByaW1pdGl2ZVwiOiBcIl4oPzpcXFxcfHxcXFxcLlxcXFwuXFxcXC58XFxcXCh8XFxcXCl8XFxcXFt8XFxcXF18XFxcXCt8LXwsfDx8PilcIlxyXG4gIH0sXHJcbiAge1xyXG4gICAgXCJzcGVjaWFsXCI6IFwiXig/OkB8Ojp8Onw9KVwiXHJcbiAgfSxcclxuICB7XHJcbiAgICBcInVuYXNzaWduZWRcIjogXCJeW15cXFxcc1xcXFwoXFxcXClcXFxcW1xcXFxdOixdK1wiXHJcbiAgfVxyXG5dO1xyXG5cclxuZXhwb3J0IGRlZmF1bHQgZW50cmllcztcclxuIl0sIm5hbWVzIjpbIkdSRUVLIiwiTEFUSU4iLCJERUNJTUFMIiwiTEFUSU5fTE9XRVJfQ0FTRSIsIkxBVElOX1VQUEVSX0NBU0UiLCJNQVRIRU1BVElDQUxfU0FOU19TRVJJRl9CT0xEIiwiTUFUSEVNQVRJQ0FMX0lUQUxJQ19VUFBFUl9DQVNFIiwiTUFUSEVNQVRJQ0FMX1NDUklQVF9VUFBFUl9DQVNFIiwiTUFUSEVNQVRJQ0FMX0ZSQUtUVVJfVVBQRVJfQ0FTRSIsImVudHJpZXMiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQXVDQTs7O2VBQUE7OztBQXJDQSxJQUFNQSxRQUFRLHVCQUNSQyxRQUFRLHVCQUNSQyxVQUFVLFNBQ1ZDLG1CQUFtQix1Q0FDbkJDLG1CQUFtQix1Q0FDbkJDLCtCQUErQiwyQkFDL0JDLGlDQUFpQywyQkFDakNDLGlDQUFpQyxvTEFDakNDLGtDQUFrQztBQUV4QyxJQUFNQyxVQUFVO0lBQ2Q7UUFDRSxtQkFBbUI7SUFDckI7SUFDQTtRQUNFLHFCQUFxQjtJQUN2QjtJQUNBO1FBQ0UsYUFBYTtJQUNmO0lBQ0E7UUFDRSxRQUFRLEFBQUMsT0FBeUJSLE9BQW5CRyxrQkFBNEJGLE9BQVRELE9BQU0sS0FBZUUsT0FBWkQsU0FBUSxNQUF1QkQsT0FBbkJFLGtCQUE0QkQsT0FBVEQsT0FBTSxLQUFXLE9BQVJDLFNBQVE7SUFDN0Y7SUFDQTtRQUNFLGNBQWMsQUFBQyxPQUF5QkEsT0FBbkJDLGtCQUErQkgsT0FBWkUsU0FBUSxNQUFjRyxPQUFWTCxPQUFNLE1BQXFDTSxPQUFqQ0QsOEJBQTZCLE1BQXVDRSxPQUFuQ0QsZ0NBQStCLE1BQXVDRSxPQUFuQ0QsZ0NBQStCLE1BQW9DLE9BQWhDQyxpQ0FBZ0M7SUFDdk07SUFDQTtRQUNFLGFBQWE7SUFDZjtJQUNBO1FBQ0UsV0FBVztJQUNiO0lBQ0E7UUFDRSxjQUFjO0lBQ2hCO0NBQ0Q7SUFFRCxXQUFlQyJ9
|
package/package.json
CHANGED
package/src/furtle/entries.js
CHANGED
|
@@ -1,5 +1,8 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
+
const LATIN = "[\\p{Script=Latin}]",
|
|
4
|
+
DECIMAL = "[0-9]";
|
|
5
|
+
|
|
3
6
|
const entries = [
|
|
4
7
|
{
|
|
5
8
|
"type": "^(?:Nodes|Node|String|Number|Boolean)"
|
|
@@ -23,13 +26,13 @@ const entries = [
|
|
|
23
26
|
"special": "^(?:!=|==|=|,|;|_|&&|\\|\\||\\(|\\)|\\[|\\])"
|
|
24
27
|
},
|
|
25
28
|
{
|
|
26
|
-
"name":
|
|
29
|
+
"name": `^${LATIN}+${DECIMAL}*`,
|
|
27
30
|
},
|
|
28
31
|
{
|
|
29
|
-
"number":
|
|
32
|
+
"number": `^${DECIMAL}+`
|
|
30
33
|
},
|
|
31
34
|
{
|
|
32
|
-
"unassigned": "
|
|
35
|
+
"unassigned": "^[^\\s\\(\\),]+"
|
|
33
36
|
}
|
|
34
37
|
];
|
|
35
38
|
|
package/src/nominal/entries.js
CHANGED
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
|
|
3
|
-
const
|
|
4
|
-
GREEK = "[\\p{Script=Greek}]",
|
|
3
|
+
const GREEK = "[\\p{Script=Greek}]",
|
|
5
4
|
LATIN = "[\\p{Script=Latin}]",
|
|
5
|
+
DECIMAL = "[0-9]",
|
|
6
6
|
LATIN_LOWER_CASE = "[\\p{Script=Latin}&&\\p{Lowercase}]",
|
|
7
7
|
LATIN_UPPER_CASE = "[\\p{Script=Latin}&&\\p{Uppercase}]",
|
|
8
8
|
MATHEMATICAL_SANS_SERIF_BOLD = "[\\u{1D5D4}-\\u{1D607}]",
|