occam-grammars 1.3.381 → 1.3.382
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 +8 -7
- package/lib/nominal/entries.js +4 -4
- package/package.json +1 -1
- package/src/nominal/entries.js +8 -7
package/lib/nominal/entries.js
CHANGED
|
@@ -8,7 +8,7 @@ Object.defineProperty(exports, "default", {
|
|
|
8
8
|
return _default;
|
|
9
9
|
}
|
|
10
10
|
});
|
|
11
|
-
var DECIMAL = "[0-9]", GREEK = "[\\p{Script=Greek}]", LATIN = "[\\p{Script=Latin}]",
|
|
11
|
+
var DECIMAL = "[0-9]", GREEK = "[\\p{Script=Greek}]", LATIN = "[\\p{Script=Latin}]", 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"
|
|
@@ -20,10 +20,10 @@ var entries = [
|
|
|
20
20
|
"meta-type": "^(?:Statement|Reference|Frame)\\b"
|
|
21
21
|
},
|
|
22
22
|
{
|
|
23
|
-
"name": "^
|
|
23
|
+
"name": "^".concat(LATIN_UPPER_CASE).concat(LATIN, "*").concat(DECIMAL, "*")
|
|
24
24
|
},
|
|
25
25
|
{
|
|
26
|
-
"identifier": "^(?:".concat(
|
|
26
|
+
"identifier": "^(?:".concat(LATIN_LOWER_CASE, "+").concat(DECIMAL, "*|").concat(GREEK, "+|").concat(MATHEMATICAL_SANS_SERIF_BOLD, "+|").concat(MATHEMATICAL_ITALIC_UPPER_CASE, "+|").concat(MATHEMATICAL_SCRIPT_UPPER_CASE, "+|").concat(MATHEMATICAL_FRAKTUR_UPPER_CASE, "+)")
|
|
27
27
|
},
|
|
28
28
|
{
|
|
29
29
|
"delimiter": "^(?:\\.\\.\\.|,|\\(|\\)|\\[|\\])"
|
|
@@ -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,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub21pbmFsL2VudHJpZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XHJcblxyXG5jb25zdCBERUNJTUFMID0gXCJbMC05XVwiLFxyXG4gICAgICBHUkVFSyA9IFwiW1xcXFxwe1NjcmlwdD1HcmVla31dXCIsXHJcbiAgICAgIExBVElOID0gXCJbXFxcXHB7U2NyaXB0PUxhdGlufV1cIixcclxuICAgICAgTEFUSU5fTE9XRVJfQ0FTRSA9IFwiW1xcXFxwe1NjcmlwdD1MYXRpbn0mJlxcXFxwe0xvd2VyY2FzZX1dXCIsXHJcbiAgICAgIExBVElOX1VQUEVSX0NBU0UgPSBcIltcXFxccHtTY3JpcHQ9TGF0aW59JiZcXFxccHtVcHBlcmNhc2V9XVwiLFxyXG4gICAgICBNQVRIRU1BVElDQUxfU0FOU19TRVJJRl9CT0xEID0gXCJbXFxcXHV7MUQ1RDR9LVxcXFx1ezFENjA3fV1cIixcclxuICAgICAgTUFUSEVNQVRJQ0FMX0lUQUxJQ19VUFBFUl9DQVNFID0gXCJbXFxcXHV7MUQ0MzR9LVxcXFx1ezFENDREfV1cIixcclxuICAgICAgTUFUSEVNQVRJQ0FMX1NDUklQVF9VUFBFUl9DQVNFID0gXCJbXFxcXHV7MUQ0OUN9XFxcXHV7MjEyQ31cXFxcdXsxRDQ5RX1cXFxcdXsxRDQ5Rn1cXFxcdXsyMTMwfVxcXFx1ezIxMzF9XFxcXHV7MUQ0QTJ9XFxcXHV7MjEwQn1cXFxcdXsyMTEwfVxcXFx1ezFENEE1fVxcXFx1ezFENEE2fVxcXFx1ezIxMTJ9XFxcXHV7MjEzM31cXFxcdXsxRDRBOX0tXFxcXHV7MUQ0QUN9XFxcXHV7MjExQn1cXFxcdXsxRDRBRX0tXFxcXHV7MUQ0QjV9XVwiLFxyXG4gICAgICBNQVRIRU1BVElDQUxfRlJBS1RVUl9VUFBFUl9DQVNFID0gXCJbXFxcXHV7MUQ1MDR9XFxcXHV7MUQ1MDV9XFxcXHV7MjEyRH1cXFxcdXsxRDUwN30tXFxcXHV7MUQ1MEF9XFxcXHV7MjEwQ31cXFxcdXsyMTExfVxcXFx1ezFENTBEfS1cXFxcdXsxRDUxNH1cXFxcdXsyMTFDfVxcXFx1ezFENTE2fS1cXFxcdXsxRDUxQ31cXFxcdXsyMTI4fV1cIjtcclxuXHJcbmNvbnN0IGVudHJpZXMgPSBbXHJcbiAge1xyXG4gICAgXCJwcmltYXJ5LWtleXdvcmRcIjogXCJeKD86UnVsZXxBeGlvbXxUaGVvcmVtfExlbW1hfENvbmplY3R1cmV8TWV0YUxlbW1hfE1ldGF0aGVvcmVtfFByZW1pc2VzfFByZW1pc2V8Q29uY2x1c2lvbnxQcm9vZnxUaGVyZWZvcmV8U3VwcG9zZXxIZW5jZXxUaGVufFByb3Zpc2lvbmFsfFR5cGV8VHlwZVByZWZpeHxQcm9wZXJ0aWVzfFByb3BlcnR5fFZhcmlhYmxlfENvbnN0cnVjdG9yfENvbWJpbmF0b3J8TWV0YXZhcmlhYmxlfEdpdmVuKVxcXFxiXCJcclxuICB9LFxyXG4gIHtcclxuICAgIFwic2Vjb25kYXJ5LWtleXdvcmRcIjogXCJeKD86aXN8aW58YW58YXxvZnxieXxiZWNhdXNlfGZvcnxzYXRpc2ZpZXN8cHJvdmlzaW9uYWxseXxkZWZpbmVkfHVuZGVmaW5lZHxtaXNzaW5nfHByZXNlbnQpXFxcXGJcIlxyXG4gIH0sXHJcbiAge1xyXG4gICAgXCJtZXRhLXR5cGVcIjogXCJeKD86U3RhdGVtZW50fFJlZmVyZW5jZXxGcmFtZSlcXFxcYlwiXHJcbiAgfSxcclxuICB7XHJcbiAgICBcIm5hbWVcIjogYF4ke0xBVElOX1VQUEVSX0NBU0V9JHtMQVRJTn0qJHtERUNJTUFMfSpgLFxyXG4gIH0sXHJcbiAge1xyXG4gICAgXCJpZGVudGlmaWVyXCI6IGBeKD86JHtMQVRJTl9MT1dFUl9DQVNFfSske0RFQ0lNQUx9Knwke0dSRUVLfSt8JHtNQVRIRU1BVElDQUxfU0FOU19TRVJJRl9CT0xEfSt8JHtNQVRIRU1BVElDQUxfSVRBTElDX1VQUEVSX0NBU0V9K3wke01BVEhFTUFUSUNBTF9TQ1JJUFRfVVBQRVJfQ0FTRX0rfCR7TUFUSEVNQVRJQ0FMX0ZSQUtUVVJfVVBQRVJfQ0FTRX0rKWBcclxuICB9LFxyXG4gIHtcclxuICAgIFwiZGVsaW1pdGVyXCI6IFwiXig/OlxcXFwuXFxcXC5cXFxcLnwsfFxcXFwofFxcXFwpfFxcXFxbfFxcXFxdKVwiXHJcbiAgfSxcclxuICB7XHJcbiAgICBcInNwZWNpYWxcIjogXCJeKD86XFxcXHwtfEB8Ojp8Onw9KVwiXHJcbiAgfSxcclxuICB7XHJcbiAgICBcInVuYXNzaWduZWRcIjogXCJeW15cXFxcc1xcXFwoXFxcXClcXFxcW1xcXFxdOixdK1wiXHJcbiAgfVxyXG5dO1xyXG5cclxuZXhwb3J0IGRlZmF1bHQgZW50cmllcztcclxuIl0sIm5hbWVzIjpbIkRFQ0lNQUwiLCJHUkVFSyIsIkxBVElOIiwiTEFUSU5fTE9XRVJfQ0FTRSIsIkxBVElOX1VQUEVSX0NBU0UiLCJNQVRIRU1BVElDQUxfU0FOU19TRVJJRl9CT0xEIiwiTUFUSEVNQVRJQ0FMX0lUQUxJQ19VUFBFUl9DQVNFIiwiTUFUSEVNQVRJQ0FMX1NDUklQVF9VUFBFUl9DQVNFIiwiTUFUSEVNQVRJQ0FMX0ZSQUtUVVJfVVBQRVJfQ0FTRSIsImVudHJpZXMiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQXVDQTs7O2VBQUE7OztBQXJDQSxJQUFNQSxVQUFVLFNBQ1ZDLFFBQVEsdUJBQ1JDLFFBQVEsdUJBQ1JDLG1CQUFtQix1Q0FDbkJDLG1CQUFtQix1Q0FDbkJDLCtCQUErQiwyQkFDL0JDLGlDQUFpQywyQkFDakNDLGlDQUFpQyxvTEFDakNDLGtDQUFrQztBQUV4QyxJQUFNQyxVQUFVO0lBQ2Q7UUFDRSxtQkFBbUI7SUFDckI7SUFDQTtRQUNFLHFCQUFxQjtJQUN2QjtJQUNBO1FBQ0UsYUFBYTtJQUNmO0lBQ0E7UUFDRSxRQUFRLEFBQUMsSUFBc0JQLE9BQW5CRSxrQkFBNEJKLE9BQVRFLE9BQU0sS0FBVyxPQUFSRixTQUFRO0lBQ2xEO0lBQ0E7UUFDRSxjQUFjLEFBQUMsT0FBMEJBLE9BQXBCRyxrQkFBaUIsS0FBZUYsT0FBWkQsU0FBUSxNQUFjSyxPQUFWSixPQUFNLE1BQXFDSyxPQUFqQ0QsOEJBQTZCLE1BQXVDRSxPQUFuQ0QsZ0NBQStCLE1BQXVDRSxPQUFuQ0QsZ0NBQStCLE1BQW9DLE9BQWhDQyxpQ0FBZ0M7SUFDeE07SUFDQTtRQUNFLGFBQWE7SUFDZjtJQUNBO1FBQ0UsV0FBVztJQUNiO0lBQ0E7UUFDRSxjQUFjO0lBQ2hCO0NBQ0Q7SUFFRCxXQUFlQyJ9
|
package/package.json
CHANGED
package/src/nominal/entries.js
CHANGED
|
@@ -3,11 +3,12 @@
|
|
|
3
3
|
const DECIMAL = "[0-9]",
|
|
4
4
|
GREEK = "[\\p{Script=Greek}]",
|
|
5
5
|
LATIN = "[\\p{Script=Latin}]",
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
6
|
+
LATIN_LOWER_CASE = "[\\p{Script=Latin}&&\\p{Lowercase}]",
|
|
7
|
+
LATIN_UPPER_CASE = "[\\p{Script=Latin}&&\\p{Uppercase}]",
|
|
8
|
+
MATHEMATICAL_SANS_SERIF_BOLD = "[\\u{1D5D4}-\\u{1D607}]",
|
|
9
|
+
MATHEMATICAL_ITALIC_UPPER_CASE = "[\\u{1D434}-\\u{1D44D}]",
|
|
10
|
+
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}]",
|
|
11
|
+
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}]";
|
|
11
12
|
|
|
12
13
|
const entries = [
|
|
13
14
|
{
|
|
@@ -20,10 +21,10 @@ const entries = [
|
|
|
20
21
|
"meta-type": "^(?:Statement|Reference|Frame)\\b"
|
|
21
22
|
},
|
|
22
23
|
{
|
|
23
|
-
"name":
|
|
24
|
+
"name": `^${LATIN_UPPER_CASE}${LATIN}*${DECIMAL}*`,
|
|
24
25
|
},
|
|
25
26
|
{
|
|
26
|
-
"identifier": `^(?:${
|
|
27
|
+
"identifier": `^(?:${LATIN_LOWER_CASE}+${DECIMAL}*|${GREEK}+|${MATHEMATICAL_SANS_SERIF_BOLD}+|${MATHEMATICAL_ITALIC_UPPER_CASE}+|${MATHEMATICAL_SCRIPT_UPPER_CASE}+|${MATHEMATICAL_FRAKTUR_UPPER_CASE}+)`
|
|
27
28
|
},
|
|
28
29
|
{
|
|
29
30
|
"delimiter": "^(?:\\.\\.\\.|,|\\(|\\)|\\[|\\])"
|