occam-grammars 1.0.725 → 1.0.728
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 +3 -3
- package/lib/basic/lexer.js +1 -1
- package/lib/basic/parser.js +1 -1
- package/lib/customGrammarBNF/lexer.js +1 -1
- package/lib/customGrammarBNF/parser.js +1 -1
- package/lib/customGrammarPattern/lexer.js +1 -1
- package/lib/customGrammarPattern/parser.js +1 -1
- package/lib/example/view/customGrammarBNF.js +1 -1
- package/lib/example/view/customGrammarPattern.js +1 -1
- package/lib/example/view/input/ruleName.js +1 -1
- package/lib/example/view/json.js +1 -1
- package/lib/example/view/plainText.js +1 -1
- package/lib/example/view/tex.js +1 -1
- package/lib/example/view/textarea/bnf.js +1 -1
- package/lib/example/view/textarea/content.js +1 -1
- package/lib/example/view/textarea/lexicalEntries.js +1 -1
- package/lib/example/view/textarea/parseTree.js +1 -1
- package/lib/example/view/textarea/tokens.js +1 -1
- package/lib/example/view.js +1 -1
- package/lib/florence/bnf.js +2 -2
- package/lib/florence/entries.js +2 -2
- package/lib/florence/lexer.js +1 -1
- package/lib/florence/parser.js +1 -1
- package/lib/json/lexer.js +1 -1
- package/lib/json/parser.js +1 -1
- package/lib/plainText/lexer.js +1 -1
- package/lib/plainText/parser.js +1 -1
- package/lib/teX/lexer.js +1 -1
- package/lib/teX/parser.js +1 -1
- package/package.json +1 -1
- package/src/florence/bnf.js +9 -1
- package/src/florence/entries.js +1 -1
package/lib/teX/lexer.js
CHANGED
|
@@ -141,4 +141,4 @@ _define_property(TeXLexer, "MiddleOfMultiLineCommentToken", null);
|
|
|
141
141
|
_define_property(TeXLexer, "SinglyQuotedStringLiteralToken", null);
|
|
142
142
|
_define_property(TeXLexer, "DoublyQuotedStringLiteralToken", null);
|
|
143
143
|
|
|
144
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
144
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90ZVgvbGV4ZXIuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XHJcblxyXG5pbXBvcnQgeyBDb21tb25MZXhlciwgV2hpdGVzcGFjZVRva2VuLCBFbmRPZkxpbmVOb25TaWduaWZpY2FudFRva2VuIH0gZnJvbSBcIm9jY2FtLWxleGVyc1wiO1xyXG5cclxuaW1wb3J0IGVudHJpZXMgZnJvbSBcIi4vZW50cmllc1wiO1xyXG5cclxuZXhwb3J0IGRlZmF1bHQgY2xhc3MgVGVYTGV4ZXIgZXh0ZW5kcyBDb21tb25MZXhlciB7XHJcbiAgc3RhdGljIGVudHJpZXMgPSBlbnRyaWVzO1xyXG5cclxuICBzdGF0aWMgRW5kT2ZMaW5lVG9rZW4gPSBFbmRPZkxpbmVOb25TaWduaWZpY2FudFRva2VuO1xyXG5cclxuICBzdGF0aWMgV2hpdGVzcGFjZVRva2VuID0gV2hpdGVzcGFjZVRva2VuO1xyXG5cclxuICBzdGF0aWMgRW5kT2ZMaW5lQ29tbWVudFRva2VuID0gbnVsbDtcclxuXHJcbiAgc3RhdGljIFNpbmdsZUxpbmVDb21tZW50VG9rZW4gPSBudWxsO1xyXG5cclxuICBzdGF0aWMgUmVndWxhckV4cHJlc3Npb25Ub2tlbiA9IG51bGw7XHJcblxyXG4gIHN0YXRpYyBFbmRPZk11bHRpTGluZUNvbW1lbnRUb2tlbiA9IG51bGw7XHJcblxyXG4gIHN0YXRpYyBTdGFydE9mTXVsdGlMaW5lQ29tbWVudFRva2VuID0gbnVsbDtcclxuXHJcbiAgc3RhdGljIE1pZGRsZU9mTXVsdGlMaW5lQ29tbWVudFRva2VuID0gbnVsbDtcclxuXHJcbiAgc3RhdGljIFNpbmdseVF1b3RlZFN0cmluZ0xpdGVyYWxUb2tlbiA9IG51bGw7XHJcblxyXG4gIHN0YXRpYyBEb3VibHlRdW90ZWRTdHJpbmdMaXRlcmFsVG9rZW4gPSBudWxsO1xyXG5cclxuICBzdGF0aWMgZnJvbU5vdGhpbmcoKSB7IHJldHVybiBDb21tb25MZXhlci5mcm9tTm90aGluZyhUZVhMZXhlcik7IH1cclxuXHJcbiAgc3RhdGljIGZyb21SdWxlcyhydWxlcykgeyByZXR1cm4gQ29tbW9uTGV4ZXIuZnJvbVJ1bGVzKFRlWExleGVyLCBydWxlcyk7IH1cclxuXHJcbiAgc3RhdGljIGZyb21FbnRyaWVzKGVudHJpZXMpIHsgcmV0dXJuIENvbW1vbkxleGVyLmZyb21FbnRyaWVzKFRlWExleGVyLCBlbnRyaWVzKTsgfVxyXG59XHJcbiJdLCJuYW1lcyI6WyJUZVhMZXhlciIsImZyb21Ob3RoaW5nIiwiQ29tbW9uTGV4ZXIiLCJmcm9tUnVsZXMiLCJydWxlcyIsImZyb21FbnRyaWVzIiwiZW50cmllcyIsIkVuZE9mTGluZVRva2VuIiwiRW5kT2ZMaW5lTm9uU2lnbmlmaWNhbnRUb2tlbiIsIldoaXRlc3BhY2VUb2tlbiIsIkVuZE9mTGluZUNvbW1lbnRUb2tlbiIsIlNpbmdsZUxpbmVDb21tZW50VG9rZW4iLCJSZWd1bGFyRXhwcmVzc2lvblRva2VuIiwiRW5kT2ZNdWx0aUxpbmVDb21tZW50VG9rZW4iLCJTdGFydE9mTXVsdGlMaW5lQ29tbWVudFRva2VuIiwiTWlkZGxlT2ZNdWx0aUxpbmVDb21tZW50VG9rZW4iLCJTaW5nbHlRdW90ZWRTdHJpbmdMaXRlcmFsVG9rZW4iLCJEb3VibHlRdW90ZWRTdHJpbmdMaXRlcmFsVG9rZW4iXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBTXFCQTs7OzJCQUpzRDs4REFFdkQ7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0FBRUwsSUFBQSxBQUFNQSx5QkFBTjtjQUFNQTthQUFBQTtnQ0FBQUE7aUNBQUFBOztrQkFBQUE7O1lBdUJaQyxLQUFBQTttQkFBUCxTQUFPQTtnQkFBZ0IsT0FBT0Msd0JBQVcsQ0FBQ0QsV0FBVyxDQXZCbENEO1lBdUI4Qzs7O1lBRTFERyxLQUFBQTttQkFBUCxTQUFPQSxVQUFVQyxLQUFLO2dCQUFJLE9BQU9GLHdCQUFXLENBQUNDLFNBQVMsQ0F6Qm5DSCxVQXlCOENJO1lBQVE7OztZQUVsRUMsS0FBQUE7bUJBQVAsU0FBT0EsWUFBWUMsT0FBTztnQkFBSSxPQUFPSix3QkFBVyxDQUFDRyxXQUFXLENBM0J6Q0wsVUEyQm9ETTtZQUFVOzs7V0EzQjlETjtFQUFpQkUsd0JBQVc7QUFDL0MsaUJBRG1CRixVQUNaTSxXQUFVQSxnQkFBTztBQUV4QixpQkFIbUJOLFVBR1pPLGtCQUFpQkMseUNBQTRCO0FBRXBELGlCQUxtQlIsVUFLWlMsbUJBQWtCQSw0QkFBZTtBQUV4QyxpQkFQbUJULFVBT1pVLHlCQUF3QjtBQUUvQixpQkFUbUJWLFVBU1pXLDBCQUF5QjtBQUVoQyxpQkFYbUJYLFVBV1pZLDBCQUF5QjtBQUVoQyxpQkFibUJaLFVBYVphLDhCQUE2QjtBQUVwQyxpQkFmbUJiLFVBZVpjLGdDQUErQjtBQUV0QyxpQkFqQm1CZCxVQWlCWmUsaUNBQWdDO0FBRXZDLGlCQW5CbUJmLFVBbUJaZ0Isa0NBQWlDO0FBRXhDLGlCQXJCbUJoQixVQXFCWmlCLGtDQUFpQyJ9
|
package/lib/teX/parser.js
CHANGED
|
@@ -131,4 +131,4 @@ var TeXParser = /*#__PURE__*/ function(CommonParser) {
|
|
|
131
131
|
}(_occamparsers.CommonParser);
|
|
132
132
|
_define_property(TeXParser, "bnf", _bnf.default);
|
|
133
133
|
|
|
134
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
134
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy90ZVgvcGFyc2VyLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBDb21tb25QYXJzZXIgfSBmcm9tIFwib2NjYW0tcGFyc2Vyc1wiO1xuXG5pbXBvcnQgYm5mIGZyb20gXCIuL2JuZlwiO1xuXG5leHBvcnQgZGVmYXVsdCBjbGFzcyBUZVhQYXJzZXIgZXh0ZW5kcyBDb21tb25QYXJzZXIge1xuICBzdGF0aWMgYm5mID0gYm5mO1xuXG4gIHN0YXRpYyBmcm9tTm90aGluZygpIHsgcmV0dXJuIENvbW1vblBhcnNlci5mcm9tTm90aGluZyhUZVhQYXJzZXIpOyB9XG5cbiAgc3RhdGljIGZyb21CTkYoYm5mKSB7IHJldHVybiBDb21tb25QYXJzZXIuZnJvbUJORihUZVhQYXJzZXIsIGJuZik7IH1cblxuICBzdGF0aWMgZnJvbVJ1bGVzKHJ1bGVzKSB7IHJldHVybiBDb21tb25QYXJzZXIuZnJvbVJ1bGVzKFRlWFBhcnNlciwgcnVsZXMpOyB9XG59XG4iXSwibmFtZXMiOlsiVGVYUGFyc2VyIiwiZnJvbU5vdGhpbmciLCJDb21tb25QYXJzZXIiLCJmcm9tQk5GIiwiYm5mIiwiZnJvbVJ1bGVzIiwicnVsZXMiXSwibWFwcGluZ3MiOiJBQUFBOzs7Ozs7O2VBTXFCQTs7OzRCQUpROzBEQUViOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUVELElBQUEsQUFBTUEsMEJBQU47Y0FBTUE7YUFBQUE7Z0NBQUFBO2lDQUFBQTs7a0JBQUFBOztZQUdaQyxLQUFBQTttQkFBUCxTQUFPQTtnQkFBZ0IsT0FBT0MsMEJBQVksQ0FBQ0QsV0FBVyxDQUhuQ0Q7WUFHZ0Q7OztZQUU1REcsS0FBQUE7bUJBQVAsU0FBT0EsUUFBUUMsR0FBRztnQkFBSSxPQUFPRiwwQkFBWSxDQUFDQyxPQUFPLENBTDlCSCxXQUswQ0k7WUFBTTs7O1lBRTVEQyxLQUFBQTttQkFBUCxTQUFPQSxVQUFVQyxLQUFLO2dCQUFJLE9BQU9KLDBCQUFZLENBQUNHLFNBQVMsQ0FQcENMLFdBT2dETTtZQUFROzs7V0FQeEROO0VBQWtCRSwwQkFBWTtBQUNqRCxpQkFEbUJGLFdBQ1pJLE9BQU1BLFlBQUcifQ==
|
package/package.json
CHANGED
package/src/florence/bnf.js
CHANGED
|
@@ -216,7 +216,15 @@ lastProofStep.. ::= unqualifiedStatement
|
|
|
216
216
|
|
|
217
217
|
unqualifiedStatement ::= statement... <END_OF_LINE> ;
|
|
218
218
|
|
|
219
|
-
qualifiedStatement ::= statement... (
|
|
219
|
+
qualifiedStatement ::= statement... (
|
|
220
|
+
|
|
221
|
+
"inherently"
|
|
222
|
+
|
|
223
|
+
|
|
|
224
|
+
|
|
225
|
+
( ( "by" | "from" ) reference )
|
|
226
|
+
|
|
227
|
+
) <END_OF_LINE> ;
|
|
220
228
|
|
|
221
229
|
nonsense ::= ( [type] | [symbol] | [operator] | [special] | [secondary-keyword] | [meta-type] | [name] | [unassigned] )+ <END_OF_LINE> ;
|
|
222
230
|
|
package/src/florence/entries.js
CHANGED
|
@@ -8,7 +8,7 @@ const entries = [
|
|
|
8
8
|
"primary-keyword": "^(?:Rule|Axiom|Theorem|Lemma|Conjecture|MetaLemma|Metatheorem|Premises|Premise|Conclusion|Proof|Therefore|Suppose|Hence|Then|Type|Variable|Constructor|Combinator|DependentType|DisjointType|Metavariable)\\b"
|
|
9
9
|
},
|
|
10
10
|
{
|
|
11
|
-
"secondary-keyword": "^(?:from|
|
|
11
|
+
"secondary-keyword": "^(?:by|from|inherently)\\b"
|
|
12
12
|
},
|
|
13
13
|
{
|
|
14
14
|
"meta-type": "^(?:Statement|Reference|Frame)\\b"
|