occam-furtle 1.0.47 → 1.0.49

package/example/Free and bound variables.ftl

@@ -0,0 +1,69 @@
+Boolean isVariableFree(Node termNode, Node statementNode) {
+  Boolean variableFree = true;
+
+  Boolean variableBound = isVariableBound(termNode, statementNode);
+
+  If (variableBound) {
+    variableFree = false;
+  }
+
+  Return variableFree;
+}
+
+Boolean isVariableBound(Node termNode, Node statementNode) {
+  Boolean variableBound = false;
+
+  String variableName = variableNameFromTermNode(termNode);
+
+  If (variableName != null) {
+    Nodes statementNodes = nodesQuery(statementNode, //statement);
+
+    ForEach(statementNodes, (Node statementNode) {
+      String boundVariableName = boundVariableNameFromStatementNode(statementNode);
+
+      If (boundVariableName == variableName) {
+        variableBound = true;
+      }
+    });
+  }
+
+  Return variableBound;
+}
+
+String variableNameFromTermNode(Node termNode) {
+  String variableName = null;
+
+  Node variableNameTerminalNode = nodeQuery(termNode, /term/variable/@name);
+
+  If (variableNameTerminalNode != null) {
+    ( String content ) = variableNameTerminalNode;
+
+    variableName = content;
+  }
+
+  Return variableName;
+}
+
+String boundVariableNameFromStatementNode(Node statementNode) {
+  String boundVariableName = null;
+
+  ( Nodes childNodes ) = statementNode;
+
+  [ Node firstChildNode ] = childNodes;
+
+  ( String content ) = firstChildNode;
+
+  If ((content == "∀") || (content == "∃")) {
+    [ _, Node argumentNode ] = childNodes;
+
+    Node boundVariableNameTerminalNode = nodeQuery(argumentNode, /argument/term/variable/@name);
+
+    If (boundVariableNameTerminalNode != null) {
+      ( String content ) = boundVariableNameTerminalNode;
+
+      boundVariableName = content;
+    }
+  }
+
+  Return boundVariableName;
+}

package/example/customGrammars.json

@@ -0,0 +1,18 @@
+[
+  {
+    "name": "Default",
+    "termBNF": "term.                                ::=  \"(\" argument \")\"\n\n                                       |  variable \n                                       \n                                       ;",
+    "statementBNF": "statement.                           ::=  \"(\" metaArgument \")\" \n                                                  \n                                       |  equality\n\n                                       |  typeAssertion \n                                                  \n                                       |  definedAssertion  \n\n                                       |  containedAssertion   \n                                                  \n                                       |  subproofAssertion         \n\n                                       |  procedureCall         \n       \n                                       |  judgement\n\n                                       |  metavariable ( frameSubstitution | termSubstitution )?\n\n                                       ;\n\nequality                             ::=  term \"=\" term ;\n\ntypeAssertion                        ::=  term \":\" type ;\n\ndefinedAssertion                     ::=  ( frame | term ) \"not\"? \"defined\" ;\n\ncontainedAssertion                   ::=  ( frame | term ) \"not\"? \"contained\" \"in\" statement ;\n\nsubproofAssertion                    ::=  \"[\" statement ( \",\" statement )* \"]\" \"...\" statement ;\n\nprocedureCall                        ::=  \"@\"<NO_WHITESPACE>reference<NO_WHITESPACE>\"(\" parameter ( \",\" parameter )* \")\" ;\n\njudgement                            ::=  frame \"|-\" declaration ;\n\nframe                                ::=  \"[\" ( ( declaration | metavariable ) ( \",\" ( declaration | metavariable ) )* )? \"]\" ;\n \ndeclaration                          ::=  reference \"::\" statement ;\n\ntermSubstitution                     ::=  \"[\" term \"for\" term \"]\";\n\nframeSubstitution                    ::=  \"[\" frame \"for\" frame \"]\";\n\nreferenceSubstitution                ::=  \"[\" reference \"for\" reference \"]\";\n\nstatementSubstitution                ::=  \"[\" statement \"for\" statement \"]\";\n\nparameter                            ::=  [name] ;",
+    "typePattern": "Object",
+    "symbolPattern": "",
+    "operatorPattern": "::|\\[|\\]|\\.\\.\\.|\\|-|=|@|in|for|defined|contained|not"
+  },
+  {
+    "name": "first-order-logic",
+    "termBNF": null,
+    "statementBNF": "\n\n                              statement  ::=  ( \"∀\" | \"∃\" ) ( frameArgument | argument ) metaArgument \n\n                                           |  ( frameArgument | argument ) ( \"bound\" | \"free\" ) \"in\" metaArgument\n\n                                           ;\n\n",
+    "typePattern": null,
+    "symbolPattern": null,
+    "operatorPattern": "bound|free|∀|∃"
+  }
+]

package/lib/example/utilities/file.js

@@ -0,0 +1,19 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "fileFromNothing", {
+    enumerable: true,
+    get: function() {
+        return fileFromNothing;
+    }
+});
+var _occamentities = require("occam-entities");
+var _necessary = require("necessary");
+var readFile = _necessary.fileSystemUtilities.readFile;
+function fileFromNothing() {
+    var filePath = "example/Free and bound variables.ftl", fileContent = readFile(filePath), path = filePath, content = fileContent, released = false, file = _occamentities.File.fromPathContentAndReleased(path, content, released);
+    return file;
+}
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9leGFtcGxlL3V0aWxpdGllcy9maWxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBGaWxlIH0gZnJvbSBcIm9jY2FtLWVudGl0aWVzXCI7XG5pbXBvcnQgeyBmaWxlU3lzdGVtVXRpbGl0aWVzIH0gZnJvbSBcIm5lY2Vzc2FyeVwiO1xuXG5jb25zdCB7IHJlYWRGaWxlIH0gPSBmaWxlU3lzdGVtVXRpbGl0aWVzO1xuXG5leHBvcnQgZnVuY3Rpb24gZmlsZUZyb21Ob3RoaW5nKCkge1xuICBjb25zdCBmaWxlUGF0aCA9IFwiZXhhbXBsZS9GcmVlIGFuZCBib3VuZCB2YXJpYWJsZXMuZnRsXCIsXG4gICAgICAgIGZpbGVDb250ZW50ID0gcmVhZEZpbGUoZmlsZVBhdGgpLFxuICAgICAgICBwYXRoID0gZmlsZVBhdGgsICAvLy9cbiAgICAgICAgY29udGVudCA9IGZpbGVDb250ZW50LCAgLy8vXG4gICAgICAgIHJlbGVhc2VkID0gZmFsc2UsXG4gICAgICAgIGZpbGUgPSBGaWxlLmZyb21QYXRoQ29udGVudEFuZFJlbGVhc2VkKHBhdGgsIGNvbnRlbnQsIHJlbGVhc2VkKTtcblxuICByZXR1cm4gZmlsZTtcbn0iXSwibmFtZXMiOlsiZmlsZUZyb21Ob3RoaW5nIiwicmVhZEZpbGUiLCJmaWxlU3lzdGVtVXRpbGl0aWVzIiwiZmlsZVBhdGgiLCJmaWxlQ29udGVudCIsInBhdGgiLCJjb250ZW50IiwicmVsZWFzZWQiLCJmaWxlIiwiRmlsZSIsImZyb21QYXRoQ29udGVudEFuZFJlbGVhc2VkIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFPZ0JBOzs7ZUFBQUE7Ozs2QkFMSzt5QkFDZTtBQUVwQyxJQUFNLEFBQUVDLFdBQWFDLDhCQUFtQixDQUFoQ0Q7QUFFRCxTQUFTRDtJQUNkLElBQU1HLFdBQVcsd0NBQ1hDLGNBQWNILFNBQVNFLFdBQ3ZCRSxPQUFPRixVQUNQRyxVQUFVRixhQUNWRyxXQUFXLE9BQ1hDLE9BQU9DLG1CQUFJLENBQUNDLDBCQUEwQixDQUFDTCxNQUFNQyxTQUFTQztJQUU1RCxPQUFPQztBQUNUIn0=

package/lib/example/utilities/grammar.js

@@ -0,0 +1,26 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+Object.defineProperty(exports, "combinedCustomGrammarFromNothing", {
+    enumerable: true,
+    get: function() {
+        return combinedCustomGrammarFromNothing;
+    }
+});
+var _necessary = require("necessary");
+var _occamcustomgrammars = require("occam-custom-grammars");
+var readFile = _necessary.fileSystemUtilities.readFile;
+function combinedCustomGrammarFromNothing() {
+    var filePath = "example/customGrammars.json", fileContent = readFile(filePath), json = JSON.parse(fileContent), customGrammars = customGrammarsFromJSON(json), includeDefault = false, combinedCustomGrammar = _occamcustomgrammars.CombinedCustomGrammar.fromCustomGrammars(customGrammars, includeDefault);
+    return combinedCustomGrammar;
+}
+function customGrammarsFromJSON(json) {
+    var customGrammarsJSON = json, customGrammars = customGrammarsJSON.map(function(customGrammarsJSON) {
+        var _$json = customGrammarsJSON, customGrammar = _occamcustomgrammars.CustomGrammar.fromJSON(_$json);
+        return customGrammar;
+    });
+    return customGrammars;
+}
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9leGFtcGxlL3V0aWxpdGllcy9ncmFtbWFyLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBmaWxlU3lzdGVtVXRpbGl0aWVzIH0gZnJvbSBcIm5lY2Vzc2FyeVwiO1xuaW1wb3J0IHsgQ3VzdG9tR3JhbW1hciwgQ29tYmluZWRDdXN0b21HcmFtbWFyIH0gZnJvbSBcIm9jY2FtLWN1c3RvbS1ncmFtbWFyc1wiO1xuXG5jb25zdCB7IHJlYWRGaWxlIH0gPSBmaWxlU3lzdGVtVXRpbGl0aWVzO1xuXG5leHBvcnQgZnVuY3Rpb24gY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcoKSB7XG4gIGNvbnN0IGZpbGVQYXRoID0gXCJleGFtcGxlL2N1c3RvbUdyYW1tYXJzLmpzb25cIixcbiAgICAgICAgZmlsZUNvbnRlbnQgPSByZWFkRmlsZShmaWxlUGF0aCksXG4gICAgICAgIGpzb24gPSBKU09OLnBhcnNlKGZpbGVDb250ZW50KSxcbiAgICAgICAgY3VzdG9tR3JhbW1hcnMgPSBjdXN0b21HcmFtbWFyc0Zyb21KU09OKGpzb24pLFxuICAgICAgICBpbmNsdWRlRGVmYXVsdCA9IGZhbHNlLFxuICAgICAgICBjb21iaW5lZEN1c3RvbUdyYW1tYXIgPSBDb21iaW5lZEN1c3RvbUdyYW1tYXIuZnJvbUN1c3RvbUdyYW1tYXJzKGN1c3RvbUdyYW1tYXJzLCBpbmNsdWRlRGVmYXVsdCk7XG5cbiAgcmV0dXJuIGNvbWJpbmVkQ3VzdG9tR3JhbW1hcjtcbn1cblxuZnVuY3Rpb24gY3VzdG9tR3JhbW1hcnNGcm9tSlNPTihqc29uKSB7XG4gIGNvbnN0IGN1c3RvbUdyYW1tYXJzSlNPTiA9IGpzb24sICAvLy9cbiAgICAgICAgY3VzdG9tR3JhbW1hcnMgPSBjdXN0b21HcmFtbWFyc0pTT04ubWFwKChjdXN0b21HcmFtbWFyc0pTT04pID0+IHtcbiAgICAgICAgICBjb25zdCBqc29uID0gY3VzdG9tR3JhbW1hcnNKU09OLCAgLy8vXG4gICAgICAgICAgICAgICAgY3VzdG9tR3JhbW1hciA9IEN1c3RvbUdyYW1tYXIuZnJvbUpTT04oanNvbik7XG5cbiAgICAgICAgICByZXR1cm4gY3VzdG9tR3JhbW1hcjtcbiAgICAgICAgfSk7XG5cbiAgcmV0dXJuIGN1c3RvbUdyYW1tYXJzO1xufSJdLCJuYW1lcyI6WyJjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tTm90aGluZyIsInJlYWRGaWxlIiwiZmlsZVN5c3RlbVV0aWxpdGllcyIsImZpbGVQYXRoIiwiZmlsZUNvbnRlbnQiLCJqc29uIiwiSlNPTiIsInBhcnNlIiwiY3VzdG9tR3JhbW1hcnMiLCJjdXN0b21HcmFtbWFyc0Zyb21KU09OIiwiaW5jbHVkZURlZmF1bHQiLCJjb21iaW5lZEN1c3RvbUdyYW1tYXIiLCJDb21iaW5lZEN1c3RvbUdyYW1tYXIiLCJmcm9tQ3VzdG9tR3JhbW1hcnMiLCJjdXN0b21HcmFtbWFyc0pTT04iLCJtYXAiLCJjdXN0b21HcmFtbWFyIiwiQ3VzdG9tR3JhbW1hciIsImZyb21KU09OIl0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFPZ0JBOzs7ZUFBQUE7Ozt5QkFMb0I7bUNBQ2lCO0FBRXJELElBQU0sQUFBRUMsV0FBYUMsOEJBQW1CLENBQWhDRDtBQUVELFNBQVNEO0lBQ2QsSUFBTUcsV0FBVywrQkFDWEMsY0FBY0gsU0FBU0UsV0FDdkJFLE9BQU9DLEtBQUtDLEtBQUssQ0FBQ0gsY0FDbEJJLGlCQUFpQkMsdUJBQXVCSixPQUN4Q0ssaUJBQWlCLE9BQ2pCQyx3QkFBd0JDLDBDQUFxQixDQUFDQyxrQkFBa0IsQ0FBQ0wsZ0JBQWdCRTtJQUV2RixPQUFPQztBQUNUO0FBRUEsU0FBU0YsdUJBQXVCSixJQUFJO0lBQ2xDLElBQU1TLHFCQUFxQlQsTUFDckJHLGlCQUFpQk0sbUJBQW1CQyxHQUFHLENBQUMsU0FBQ0Q7UUFDdkMsSUFBTVQsU0FBT1Msb0JBQ1BFLGdCQUFnQkMsa0NBQWEsQ0FBQ0MsUUFBUSxDQUFDYjtRQUU3QyxPQUFPVztJQUNUO0lBRU4sT0FBT1I7QUFDVCJ9

package/lib/example/utilities/nominal.js

@@ -0,0 +1,29 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", {
+    value: true
+});
+function _export(target, all) {
+    for(var name in all)Object.defineProperty(target, name, {
+        enumerable: true,
+        get: all[name]
+    });
+}
+_export(exports, {
+    nominalLexerFromNothing: function() {
+        return nominalLexerFromNothing;
+    },
+    nominalParserFromNothing: function() {
+        return nominalParserFromNothing;
+    }
+});
+var _occamcustomgrammars = require("occam-custom-grammars");
+var _grammar = require("../utilities/grammar");
+var nominalLexerFromCombinedCustomGrammar = _occamcustomgrammars.lexersUtilities.nominalLexerFromCombinedCustomGrammar, nominalParserFromCombinedCustomGrammar = _occamcustomgrammars.parsersUtilities.nominalParserFromCombinedCustomGrammar;
+var combinedCustomGrammar = (0, _grammar.combinedCustomGrammarFromNothing)();
+function nominalLexerFromNothing() {
+    var nominalLexer = nominalLexerFromCombinedCustomGrammar(combinedCustomGrammar);
+    return nominalLexer;
+}
+function nominalParserFromNothing() {}
+
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9leGFtcGxlL3V0aWxpdGllcy9ub21pbmFsLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgeyBsZXhlcnNVdGlsaXRpZXMsIHBhcnNlcnNVdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tY3VzdG9tLWdyYW1tYXJzXCI7XG5cbmltcG9ydCB7IGNvbWJpbmVkQ3VzdG9tR3JhbW1hckZyb21Ob3RoaW5nIH0gZnJvbSBcIi4uL3V0aWxpdGllcy9ncmFtbWFyXCI7XG5cbmNvbnN0IHsgbm9taW5hbExleGVyRnJvbUNvbWJpbmVkQ3VzdG9tR3JhbW1hciB9ID0gbGV4ZXJzVXRpbGl0aWVzLFxuICAgICAgeyBub21pbmFsUGFyc2VyRnJvbUNvbWJpbmVkQ3VzdG9tR3JhbW1hciB9ID0gcGFyc2Vyc1V0aWxpdGllcztcblxuY29uc3QgY29tYmluZWRDdXN0b21HcmFtbWFyID0gY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcoKTtcblxuZXhwb3J0IGZ1bmN0aW9uIG5vbWluYWxMZXhlckZyb21Ob3RoaW5nKCkge1xuICBjb25zdCBub21pbmFsTGV4ZXIgPSBub21pbmFsTGV4ZXJGcm9tQ29tYmluZWRDdXN0b21HcmFtbWFyKGNvbWJpbmVkQ3VzdG9tR3JhbW1hcik7XG5cbiAgcmV0dXJuIG5vbWluYWxMZXhlcjtcbn1cblxuZXhwb3J0IGZ1bmN0aW9uIG5vbWluYWxQYXJzZXJGcm9tTm90aGluZygpIHtcblxufSJdLCJuYW1lcyI6WyJub21pbmFsTGV4ZXJGcm9tTm90aGluZyIsIm5vbWluYWxQYXJzZXJGcm9tTm90aGluZyIsIm5vbWluYWxMZXhlckZyb21Db21iaW5lZEN1c3RvbUdyYW1tYXIiLCJsZXhlcnNVdGlsaXRpZXMiLCJub21pbmFsUGFyc2VyRnJvbUNvbWJpbmVkQ3VzdG9tR3JhbW1hciIsInBhcnNlcnNVdGlsaXRpZXMiLCJjb21iaW5lZEN1c3RvbUdyYW1tYXIiLCJjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tTm90aGluZyIsIm5vbWluYWxMZXhlciJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O0lBV2dCQSx1QkFBdUI7ZUFBdkJBOztJQU1BQyx3QkFBd0I7ZUFBeEJBOzs7bUNBZmtDO3VCQUVEO0FBRWpELElBQU0sQUFBRUMsd0NBQTBDQyxvQ0FBZSxDQUF6REQsdUNBQ0YsQUFBRUUseUNBQTJDQyxxQ0FBZ0IsQ0FBM0REO0FBRVIsSUFBTUUsd0JBQXdCQyxJQUFBQSx5Q0FBZ0M7QUFFdkQsU0FBU1A7SUFDZCxJQUFNUSxlQUFlTixzQ0FBc0NJO0lBRTNELE9BQU9FO0FBQ1Q7QUFFTyxTQUFTUCw0QkFFaEIifQ==

package/lib/example.js

@@ -3,21 +3,18 @@ Object.defineProperty(exports, "__esModule", {
     value: true
 });
 require("./index");
-var _occamentities = require("occam-entities");
-var _necessary = require("necessary");
 var _file = /*#__PURE__*/ _interop_require_default(require("./context/file"));
 var _release = require("./example/context/release");
+var _file1 = require("./example/utilities/file");
+var _grammar = require("./example/utilities/grammar");
 function _interop_require_default(obj) {
     return obj && obj.__esModule ? obj : {
         default: obj
     };
 }
-var readFile = _necessary.fileSystemUtilities.readFile;
-var filePath = "first-order-logic/Procedures/Free and bound variables.ftl", file = fileFromFilePath(filePath), releaseContext = _release.ReleaseContext.fromFile(file), fileContext = _file.default.fromFile(file, releaseContext);
+var file = (0, _file1.fileFromNothing)(), releaseContext = _release.ReleaseContext.fromFile(file), fileContext = _file.default.fromFile(file, releaseContext);
 fileContext.verify();
-function fileFromFilePath(filePath) {
-    var fileContent = readFile(filePath), path = filePath, content = fileContent, released = false, file = _occamentities.File.fromPathContentAndReleased(path, content, released);
-    return file;
-}
+var combinedCustomGrammar = (0, _grammar.combinedCustomGrammarFromNothing)();
+debugger;
 
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9leGFtcGxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgXCIuL2luZGV4XCI7XG5cbmltcG9ydCB7IEZpbGUgfSBmcm9tIFwib2NjYW0tZW50aXRpZXNcIjtcbmltcG9ydCB7IGZpbGVTeXN0ZW1VdGlsaXRpZXMgfSBmcm9tIFwibmVjZXNzYXJ5XCI7XG5cbmltcG9ydCBGaWxlQ29udGV4dCBmcm9tIFwiLi9jb250ZXh0L2ZpbGVcIjtcblxuaW1wb3J0IHsgUmVsZWFzZUNvbnRleHQgfSBmcm9tIFwiLi9leGFtcGxlL2NvbnRleHQvcmVsZWFzZVwiO1xuXG5jb25zdCB7IHJlYWRGaWxlIH0gPSBmaWxlU3lzdGVtVXRpbGl0aWVzO1xuXG5jb25zdCBmaWxlUGF0aCA9IFwiZmlyc3Qtb3JkZXItbG9naWMvUHJvY2VkdXJlcy9GcmVlIGFuZCBib3VuZCB2YXJpYWJsZXMuZnRsXCIsXG4gICAgICBmaWxlID0gZmlsZUZyb21GaWxlUGF0aChmaWxlUGF0aCksXG4gICAgICByZWxlYXNlQ29udGV4dCA9IFJlbGVhc2VDb250ZXh0LmZyb21GaWxlKGZpbGUpLFxuICAgICAgZmlsZUNvbnRleHQgPSBGaWxlQ29udGV4dC5mcm9tRmlsZShmaWxlLCByZWxlYXNlQ29udGV4dCk7XG5cbmZpbGVDb250ZXh0LnZlcmlmeSgpO1xuXG5mdW5jdGlvbiBmaWxlRnJvbUZpbGVQYXRoKGZpbGVQYXRoKSB7XG4gIGNvbnN0IGZpbGVDb250ZW50ID0gcmVhZEZpbGUoZmlsZVBhdGgpLFxuICAgICAgICBwYXRoID0gZmlsZVBhdGgsICAvLy9cbiAgICAgICAgY29udGVudCA9IGZpbGVDb250ZW50LCAgLy8vXG4gICAgICAgIHJlbGVhc2VkID0gZmFsc2UsXG4gICAgICAgIGZpbGUgPSBGaWxlLmZyb21QYXRoQ29udGVudEFuZFJlbGVhc2VkKHBhdGgsIGNvbnRlbnQsIHJlbGVhc2VkKTtcblxuICByZXR1cm4gZmlsZTtcbn0iXSwibmFtZXMiOlsicmVhZEZpbGUiLCJmaWxlU3lzdGVtVXRpbGl0aWVzIiwiZmlsZVBhdGgiLCJmaWxlIiwiZmlsZUZyb21GaWxlUGF0aCIsInJlbGVhc2VDb250ZXh0IiwiUmVsZWFzZUNvbnRleHQiLCJmcm9tRmlsZSIsImZpbGVDb250ZXh0IiwiRmlsZUNvbnRleHQiLCJ2ZXJpZnkiLCJmaWxlQ29udGVudCIsInBhdGgiLCJjb250ZW50IiwicmVsZWFzZWQiLCJGaWxlIiwiZnJvbVBhdGhDb250ZW50QW5kUmVsZWFzZWQiXSwibWFwcGluZ3MiOiJBQUFBOzs7O1FBRU87NkJBRWM7eUJBQ2U7MkRBRVo7dUJBRU87Ozs7OztBQUUvQixJQUFNLEFBQUVBLFdBQWFDLDhCQUFtQixDQUFoQ0Q7QUFFUixJQUFNRSxXQUFXLDZEQUNYQyxPQUFPQyxpQkFBaUJGLFdBQ3hCRyxpQkFBaUJDLHVCQUFjLENBQUNDLFFBQVEsQ0FBQ0osT0FDekNLLGNBQWNDLGFBQVcsQ0FBQ0YsUUFBUSxDQUFDSixNQUFNRTtBQUUvQ0csWUFBWUUsTUFBTTtBQUVsQixTQUFTTixpQkFBaUJGLFFBQVE7SUFDaEMsSUFBTVMsY0FBY1gsU0FBU0UsV0FDdkJVLE9BQU9WLFVBQ1BXLFVBQVVGLGFBQ1ZHLFdBQVcsT0FDWFgsT0FBT1ksbUJBQUksQ0FBQ0MsMEJBQTBCLENBQUNKLE1BQU1DLFNBQVNDO0lBRTVELE9BQU9YO0FBQ1QifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9leGFtcGxlLmpzIl0sInNvdXJjZXNDb250ZW50IjpbIlwidXNlIHN0cmljdFwiO1xuXG5pbXBvcnQgXCIuL2luZGV4XCI7XG5cbmltcG9ydCBGaWxlQ29udGV4dCBmcm9tIFwiLi9jb250ZXh0L2ZpbGVcIjtcblxuaW1wb3J0IHsgUmVsZWFzZUNvbnRleHQgfSBmcm9tIFwiLi9leGFtcGxlL2NvbnRleHQvcmVsZWFzZVwiO1xuaW1wb3J0IHsgZmlsZUZyb21Ob3RoaW5nIH0gZnJvbSBcIi4vZXhhbXBsZS91dGlsaXRpZXMvZmlsZVwiO1xuaW1wb3J0IHsgY29tYmluZWRDdXN0b21HcmFtbWFyRnJvbU5vdGhpbmcgfSBmcm9tIFwiLi9leGFtcGxlL3V0aWxpdGllcy9ncmFtbWFyXCI7XG5cbmNvbnN0IGZpbGUgPSBmaWxlRnJvbU5vdGhpbmcoKSxcbiAgICAgIHJlbGVhc2VDb250ZXh0ID0gUmVsZWFzZUNvbnRleHQuZnJvbUZpbGUoZmlsZSksXG4gICAgICBmaWxlQ29udGV4dCA9IEZpbGVDb250ZXh0LmZyb21GaWxlKGZpbGUsIHJlbGVhc2VDb250ZXh0KTtcblxuZmlsZUNvbnRleHQudmVyaWZ5KCk7XG5cbmNvbnN0IGNvbWJpbmVkQ3VzdG9tR3JhbW1hciA9IGNvbWJpbmVkQ3VzdG9tR3JhbW1hckZyb21Ob3RoaW5nKCk7XG5cbmRlYnVnZ2VyXG4iXSwibmFtZXMiOlsiZmlsZSIsImZpbGVGcm9tTm90aGluZyIsInJlbGVhc2VDb250ZXh0IiwiUmVsZWFzZUNvbnRleHQiLCJmcm9tRmlsZSIsImZpbGVDb250ZXh0IiwiRmlsZUNvbnRleHQiLCJ2ZXJpZnkiLCJjb21iaW5lZEN1c3RvbUdyYW1tYXIiLCJjb21iaW5lZEN1c3RvbUdyYW1tYXJGcm9tTm90aGluZyJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7UUFFTzsyREFFaUI7dUJBRU87cUJBQ0M7dUJBQ2lCOzs7Ozs7QUFFakQsSUFBTUEsT0FBT0MsSUFBQUEsc0JBQWUsS0FDdEJDLGlCQUFpQkMsdUJBQWMsQ0FBQ0MsUUFBUSxDQUFDSixPQUN6Q0ssY0FBY0MsYUFBVyxDQUFDRixRQUFRLENBQUNKLE1BQU1FO0FBRS9DRyxZQUFZRSxNQUFNO0FBRWxCLElBQU1DLHdCQUF3QkMsSUFBQUEseUNBQWdDO0FBRTlELFFBQVEifQ==

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "occam-furtle",
   "author": "James Smith",
-  "version": "1.0.47",
+  "version": "1.0.49",
   "license": "MIT, Anti-996",
   "homepage": "https://github.com/djalbat/occam-furtle",
   "description": "Occam's Furtle language.",
@@ -16,6 +16,7 @@
   },
   "devDependencies": {
     "@swc/core": "^1.5.6",
+    "occam-custom-grammars": "^5.0.988",
     "occam-entities": "^1.0.238",
     "watchful-cli": "^1.7.56"
   },

package/src/example/utilities/file.js

@@ -0,0 +1,17 @@
+"use strict";
+
+import { File } from "occam-entities";
+import { fileSystemUtilities } from "necessary";
+
+const { readFile } = fileSystemUtilities;
+
+export function fileFromNothing() {
+  const filePath = "example/Free and bound variables.ftl",
+        fileContent = readFile(filePath),
+        path = filePath,  ///
+        content = fileContent,  ///
+        released = false,
+        file = File.fromPathContentAndReleased(path, content, released);
+
+  return file;
+}

package/src/example/utilities/grammar.js

@@ -0,0 +1,29 @@
+"use strict";
+
+import { fileSystemUtilities } from "necessary";
+import { CustomGrammar, CombinedCustomGrammar } from "occam-custom-grammars";
+
+const { readFile } = fileSystemUtilities;
+
+export function combinedCustomGrammarFromNothing() {
+  const filePath = "example/customGrammars.json",
+        fileContent = readFile(filePath),
+        json = JSON.parse(fileContent),
+        customGrammars = customGrammarsFromJSON(json),
+        includeDefault = false,
+        combinedCustomGrammar = CombinedCustomGrammar.fromCustomGrammars(customGrammars, includeDefault);
+
+  return combinedCustomGrammar;
+}
+
+function customGrammarsFromJSON(json) {
+  const customGrammarsJSON = json,  ///
+        customGrammars = customGrammarsJSON.map((customGrammarsJSON) => {
+          const json = customGrammarsJSON,  ///
+                customGrammar = CustomGrammar.fromJSON(json);
+
+          return customGrammar;
+        });
+
+  return customGrammars;
+}

package/src/example/utilities/nominal.js

@@ -0,0 +1,20 @@
+"use strict";
+
+import { lexersUtilities, parsersUtilities } from "occam-custom-grammars";
+
+import { combinedCustomGrammarFromNothing } from "../utilities/grammar";
+
+const { nominalLexerFromCombinedCustomGrammar } = lexersUtilities,
+      { nominalParserFromCombinedCustomGrammar } = parsersUtilities;
+
+const combinedCustomGrammar = combinedCustomGrammarFromNothing();
+
+export function nominalLexerFromNothing() {
+  const nominalLexer = nominalLexerFromCombinedCustomGrammar(combinedCustomGrammar);
+
+  return nominalLexer;
+}
+
+export function nominalParserFromNothing() {
+
+}

package/src/example.js

@@ -2,28 +2,18 @@
 
 import "./index";
 
-import { File } from "occam-entities";
-import { fileSystemUtilities } from "necessary";
-
 import FileContext from "./context/file";
 
 import { ReleaseContext } from "./example/context/release";
+import { fileFromNothing } from "./example/utilities/file";
+import { combinedCustomGrammarFromNothing } from "./example/utilities/grammar";
 
-const { readFile } = fileSystemUtilities;
-
-const filePath = "first-order-logic/Procedures/Free and bound variables.ftl",
-      file = fileFromFilePath(filePath),
+const file = fileFromNothing(),
       releaseContext = ReleaseContext.fromFile(file),
       fileContext = FileContext.fromFile(file, releaseContext);
 
 fileContext.verify();
 
-function fileFromFilePath(filePath) {
-  const fileContent = readFile(filePath),
-        path = filePath,  ///
-        content = fileContent,  ///
-        released = false,
-        file = File.fromPathContentAndReleased(path, content, released);
+const combinedCustomGrammar = combinedCustomGrammarFromNothing();
 
-  return file;
-}
+debugger