occam-verify-cli 1.0.554 → 1.0.556

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.
Files changed (5) hide show
  1. package/lib/context/nominal.js +1 -1
  2. package/lib/utilities/fileContext.js +2 -2
  3. package/package.json +4 -4
  4. package/src/context/nominal.js +1 -1
  5. package/src/utilities/fileContext.js +1 -1
package/lib/context/nominal.js CHANGED
@@ -122,4 +122,4 @@ var NominalContext = /*#__PURE__*/ function(Context) {
122
122
  var nominalContext = NominalContext.fromNothing();
123
123
  var _default = nominalContext;
124
124
 
125
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250ZXh0L25vbWluYWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IENvbnRleHQsIGNvbnRleHRVdGlsaXRpZXMgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5pbXBvcnQgeyBub21pbmFsTGV4ZXIsIG5vbWluYWxQYXJzZXIgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL25vbWluYWxcIjtcblxuY2xhc3MgTm9taW5hbENvbnRleHQgZXh0ZW5kcyBDb250ZXh0IHtcbiAgY29uc3RydWN0b3IoY29udGV4dCwgbGV4ZXIsIHBhcnNlcikge1xuICAgIHN1cGVyKGNvbnRleHQpO1xuXG4gICAgdGhpcy5sZXhlciA9IGxleGVyO1xuICAgIHRoaXMucGFyc2VyID0gcGFyc2VyO1xuICB9XG5cbiAgZ2V0TGV4ZXIoKSB7XG4gICAgcmV0dXJuIHRoaXMubGV4ZXI7XG4gIH1cblxuICBnZXRQYXJzZXIoKSB7XG4gICAgcmV0dXJuIHRoaXMucGFyc2VyO1xuICB9XG5cbiAgc3RhdGljIGZyb21Ob3RoaW5nKCkge1xuICAgIGNvbnN0IGxleGVyID0gbm9taW5hbExleGVyLCAvLy9cbiAgICAgICAgICBwYXJzZXIgPSBub21pbmFsUGFyc2VyLCAvLy9cbiAgICAgICAgICBub21pbmFsQ29udGV4dCA9IG5ldyBOb21pbmFsQ29udGV4dChsZXhlciwgcGFyc2VyKTtcblxuICAgIHJldHVybiBub21pbmFsQ29udGV4dDtcbiAgfVxufVxuXG5jb25zdCBub21pbmFsQ29udGV4dCA9IE5vbWluYWxDb250ZXh0LmZyb21Ob3RoaW5nKCk7XG5cbmV4cG9ydCBkZWZhdWx0IG5vbWluYWxDb250ZXh0O1xuIl0sIm5hbWVzIjpbIk5vbWluYWxDb250ZXh0IiwiY29udGV4dCIsImxleGVyIiwicGFyc2VyIiwiZ2V0TGV4ZXIiLCJnZXRQYXJzZXIiLCJmcm9tTm90aGluZyIsIm5vbWluYWxMZXhlciIsIm5vbWluYWxQYXJzZXIiLCJub21pbmFsQ29udGV4dCIsIkNvbnRleHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQWdDQTs7O2VBQUE7Ozs4QkE5QjBDO3VCQUNFOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztBQUU1QyxJQUFBLEFBQU1BLCtCQUFOO2NBQU1BO2FBQUFBLGVBQ1FDLE9BQU8sRUFBRUMsS0FBSyxFQUFFQyxNQUFNO2dDQUQ5Qkg7O2dCQUVGLGtCQUZFQTtZQUVJQzs7UUFFTixNQUFLQyxLQUFLLEdBQUdBO1FBQ2IsTUFBS0MsTUFBTSxHQUFHQTs7O2tCQUxaSDs7WUFRSkksS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDRixLQUFLO1lBQ25COzs7WUFFQUcsS0FBQUE7bUJBQUFBLFNBQUFBO2dCQUNFLE9BQU8sSUFBSSxDQUFDRixNQUFNO1lBQ3BCOzs7O1lBRU9HLEtBQUFBO21CQUFQLFNBQU9BO2dCQUNMLElBQU1KLFFBQVFLLHFCQUFZLEVBQ3BCSixTQUFTSyxzQkFBYSxFQUN0QkMsaUJBQWlCLElBbkJyQlQsZUFtQndDRSxPQUFPQztnQkFFakQsT0FBT007WUFDVDs7O1dBdEJJVDtFQUF1QlUsdUJBQU87QUF5QnBDLElBQU1ELGlCQUFpQlQsZUFBZU0sV0FBVztJQUVqRCxXQUFlRyJ9
125
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250ZXh0L25vbWluYWwuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IENvbnRleHQgfSBmcm9tIFwib2NjYW0tbGFuZ3VhZ2VzXCI7XG5pbXBvcnQgeyBub21pbmFsTGV4ZXIsIG5vbWluYWxQYXJzZXIgfSBmcm9tIFwiLi4vdXRpbGl0aWVzL25vbWluYWxcIjtcblxuY2xhc3MgTm9taW5hbENvbnRleHQgZXh0ZW5kcyBDb250ZXh0IHtcbiAgY29uc3RydWN0b3IoY29udGV4dCwgbGV4ZXIsIHBhcnNlcikge1xuICAgIHN1cGVyKGNvbnRleHQpO1xuXG4gICAgdGhpcy5sZXhlciA9IGxleGVyO1xuICAgIHRoaXMucGFyc2VyID0gcGFyc2VyO1xuICB9XG5cbiAgZ2V0TGV4ZXIoKSB7XG4gICAgcmV0dXJuIHRoaXMubGV4ZXI7XG4gIH1cblxuICBnZXRQYXJzZXIoKSB7XG4gICAgcmV0dXJuIHRoaXMucGFyc2VyO1xuICB9XG5cbiAgc3RhdGljIGZyb21Ob3RoaW5nKCkge1xuICAgIGNvbnN0IGxleGVyID0gbm9taW5hbExleGVyLCAvLy9cbiAgICAgICAgICBwYXJzZXIgPSBub21pbmFsUGFyc2VyLCAvLy9cbiAgICAgICAgICBub21pbmFsQ29udGV4dCA9IG5ldyBOb21pbmFsQ29udGV4dChsZXhlciwgcGFyc2VyKTtcblxuICAgIHJldHVybiBub21pbmFsQ29udGV4dDtcbiAgfVxufVxuXG5jb25zdCBub21pbmFsQ29udGV4dCA9IE5vbWluYWxDb250ZXh0LmZyb21Ob3RoaW5nKCk7XG5cbmV4cG9ydCBkZWZhdWx0IG5vbWluYWxDb250ZXh0O1xuIl0sIm5hbWVzIjpbIk5vbWluYWxDb250ZXh0IiwiY29udGV4dCIsImxleGVyIiwicGFyc2VyIiwiZ2V0TGV4ZXIiLCJnZXRQYXJzZXIiLCJmcm9tTm90aGluZyIsIm5vbWluYWxMZXhlciIsIm5vbWluYWxQYXJzZXIiLCJub21pbmFsQ29udGV4dCIsIkNvbnRleHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQWdDQTs7O2VBQUE7Ozs4QkE5QndCO3VCQUNvQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7QUFFNUMsSUFBQSxBQUFNQSwrQkFBTjtjQUFNQTthQUFBQSxlQUNRQyxPQUFPLEVBQUVDLEtBQUssRUFBRUMsTUFBTTtnQ0FEOUJIOztnQkFFRixrQkFGRUE7WUFFSUM7O1FBRU4sTUFBS0MsS0FBSyxHQUFHQTtRQUNiLE1BQUtDLE1BQU0sR0FBR0E7OztrQkFMWkg7O1lBUUpJLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0YsS0FBSztZQUNuQjs7O1lBRUFHLEtBQUFBO21CQUFBQSxTQUFBQTtnQkFDRSxPQUFPLElBQUksQ0FBQ0YsTUFBTTtZQUNwQjs7OztZQUVPRyxLQUFBQTttQkFBUCxTQUFPQTtnQkFDTCxJQUFNSixRQUFRSyxxQkFBWSxFQUNwQkosU0FBU0ssc0JBQWEsRUFDdEJDLGlCQUFpQixJQW5CckJULGVBbUJ3Q0UsT0FBT0M7Z0JBRWpELE9BQU9NO1lBQ1Q7OztXQXRCSVQ7RUFBdUJVLHVCQUFPO0FBeUJwQyxJQUFNRCxpQkFBaUJULGVBQWVNLFdBQVc7SUFFakQsV0FBZUcifQ==
package/lib/utilities/fileContext.js CHANGED
@@ -18,7 +18,7 @@ function _interop_require_default(obj) {
18
18
  }
19
19
  var isFilePathFurtleFilePath = _occammodel.filePathUtilities.isFilePathFurtleFilePath, isFilePathNominalFilePath = _occammodel.filePathUtilities.isFilePathNominalFilePath;
20
20
  function FileContextFromFilePath(filePath) {
21
- var FileContext;
21
+ var FileContext = null;
22
22
  var filePathFurtleFilePath = isFilePathFurtleFilePath(filePath), filePathNominalFilePath = isFilePathNominalFilePath(filePath);
23
23
  if (filePathFurtleFilePath) {
24
24
  FileContext = _occamfurtle.FurtleFileContext; ///
@@ -29,4 +29,4 @@ function FileContextFromFilePath(filePath) {
29
29
  return FileContext;
30
30
  }
31
31
 
32
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvZmlsZUNvbnRleHQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGZpbGVQYXRoVXRpbGl0aWVzIH0gZnJvbSBcIm9jY2FtLW1vZGVsXCI7XG5pbXBvcnQgeyBGdXJ0bGVGaWxlQ29udGV4dCB9IGZyb20gXCJvY2NhbS1mdXJ0bGVcIjtcblxuaW1wb3J0IE5vbWluYWxGaWxlQ29udGV4dCBmcm9tIFwiLi4vY29udGV4dC9maWxlL25vbWluYWxcIjtcblxuY29uc3QgeyBpc0ZpbGVQYXRoRnVydGxlRmlsZVBhdGgsIGlzRmlsZVBhdGhOb21pbmFsRmlsZVBhdGggfSA9IGZpbGVQYXRoVXRpbGl0aWVzO1xuXG5leHBvcnQgZnVuY3Rpb24gRmlsZUNvbnRleHRGcm9tRmlsZVBhdGgoZmlsZVBhdGgpIHtcbiAgbGV0IEZpbGVDb250ZXh0O1xuXG4gIGNvbnN0IGZpbGVQYXRoRnVydGxlRmlsZVBhdGggPSBpc0ZpbGVQYXRoRnVydGxlRmlsZVBhdGgoZmlsZVBhdGgpLFxuICAgIGZpbGVQYXRoTm9taW5hbEZpbGVQYXRoID0gaXNGaWxlUGF0aE5vbWluYWxGaWxlUGF0aChmaWxlUGF0aCk7XG5cbiAgaWYgKGZpbGVQYXRoRnVydGxlRmlsZVBhdGgpIHtcbiAgICBGaWxlQ29udGV4dCA9IEZ1cnRsZUZpbGVDb250ZXh0OyAgLy8vXG4gIH1cblxuICBpZiAoZmlsZVBhdGhOb21pbmFsRmlsZVBhdGgpIHtcbiAgICBGaWxlQ29udGV4dCA9IE5vbWluYWxGaWxlQ29udGV4dDsgLy8vXG4gIH1cblxuICByZXR1cm4gRmlsZUNvbnRleHQ7XG59XG4iXSwibmFtZXMiOlsiRmlsZUNvbnRleHRGcm9tRmlsZVBhdGgiLCJpc0ZpbGVQYXRoRnVydGxlRmlsZVBhdGgiLCJmaWxlUGF0aFV0aWxpdGllcyIsImlzRmlsZVBhdGhOb21pbmFsRmlsZVBhdGgiLCJmaWxlUGF0aCIsIkZpbGVDb250ZXh0IiwiZmlsZVBhdGhGdXJ0bGVGaWxlUGF0aCIsImZpbGVQYXRoTm9taW5hbEZpbGVQYXRoIiwiRnVydGxlRmlsZUNvbnRleHQiLCJOb21pbmFsRmlsZUNvbnRleHQiXSwibWFwcGluZ3MiOiJBQUFBOzs7OytCQVNnQkE7OztlQUFBQTs7OzBCQVBrQjsyQkFDQTs4REFFSDs7Ozs7O0FBRS9CLElBQVFDLDJCQUF3REMsNkJBQWlCLENBQXpFRCwwQkFBMEJFLDRCQUE4QkQsNkJBQWlCLENBQS9DQztBQUUzQixTQUFTSCx3QkFBd0JJLFFBQVE7SUFDOUMsSUFBSUM7SUFFSixJQUFNQyx5QkFBeUJMLHlCQUF5QkcsV0FDdERHLDBCQUEwQkosMEJBQTBCQztJQUV0RCxJQUFJRSx3QkFBd0I7UUFDMUJELGNBQWNHLDhCQUFpQixFQUFHLEdBQUc7SUFDdkM7SUFFQSxJQUFJRCx5QkFBeUI7UUFDM0JGLGNBQWNJLGdCQUFrQixFQUFFLEdBQUc7SUFDdkM7SUFFQSxPQUFPSjtBQUNUIn0=
32
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy91dGlsaXRpZXMvZmlsZUNvbnRleHQuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmltcG9ydCB7IGZpbGVQYXRoVXRpbGl0aWVzIH0gZnJvbSBcIm9jY2FtLW1vZGVsXCI7XG5pbXBvcnQgeyBGdXJ0bGVGaWxlQ29udGV4dCB9IGZyb20gXCJvY2NhbS1mdXJ0bGVcIjtcblxuaW1wb3J0IE5vbWluYWxGaWxlQ29udGV4dCBmcm9tIFwiLi4vY29udGV4dC9maWxlL25vbWluYWxcIjtcblxuY29uc3QgeyBpc0ZpbGVQYXRoRnVydGxlRmlsZVBhdGgsIGlzRmlsZVBhdGhOb21pbmFsRmlsZVBhdGggfSA9IGZpbGVQYXRoVXRpbGl0aWVzO1xuXG5leHBvcnQgZnVuY3Rpb24gRmlsZUNvbnRleHRGcm9tRmlsZVBhdGgoZmlsZVBhdGgpIHtcbiAgbGV0IEZpbGVDb250ZXh0ID0gbnVsbDtcblxuICBjb25zdCBmaWxlUGF0aEZ1cnRsZUZpbGVQYXRoID0gaXNGaWxlUGF0aEZ1cnRsZUZpbGVQYXRoKGZpbGVQYXRoKSxcbiAgICBmaWxlUGF0aE5vbWluYWxGaWxlUGF0aCA9IGlzRmlsZVBhdGhOb21pbmFsRmlsZVBhdGgoZmlsZVBhdGgpO1xuXG4gIGlmIChmaWxlUGF0aEZ1cnRsZUZpbGVQYXRoKSB7XG4gICAgRmlsZUNvbnRleHQgPSBGdXJ0bGVGaWxlQ29udGV4dDsgIC8vL1xuICB9XG5cbiAgaWYgKGZpbGVQYXRoTm9taW5hbEZpbGVQYXRoKSB7XG4gICAgRmlsZUNvbnRleHQgPSBOb21pbmFsRmlsZUNvbnRleHQ7IC8vL1xuICB9XG5cbiAgcmV0dXJuIEZpbGVDb250ZXh0O1xufVxuIl0sIm5hbWVzIjpbIkZpbGVDb250ZXh0RnJvbUZpbGVQYXRoIiwiaXNGaWxlUGF0aEZ1cnRsZUZpbGVQYXRoIiwiZmlsZVBhdGhVdGlsaXRpZXMiLCJpc0ZpbGVQYXRoTm9taW5hbEZpbGVQYXRoIiwiZmlsZVBhdGgiLCJGaWxlQ29udGV4dCIsImZpbGVQYXRoRnVydGxlRmlsZVBhdGgiLCJmaWxlUGF0aE5vbWluYWxGaWxlUGF0aCIsIkZ1cnRsZUZpbGVDb250ZXh0IiwiTm9taW5hbEZpbGVDb250ZXh0Il0sIm1hcHBpbmdzIjoiQUFBQTs7OzsrQkFTZ0JBOzs7ZUFBQUE7OzswQkFQa0I7MkJBQ0E7OERBRUg7Ozs7OztBQUUvQixJQUFRQywyQkFBd0RDLDZCQUFpQixDQUF6RUQsMEJBQTBCRSw0QkFBOEJELDZCQUFpQixDQUEvQ0M7QUFFM0IsU0FBU0gsd0JBQXdCSSxRQUFRO0lBQzlDLElBQUlDLGNBQWM7SUFFbEIsSUFBTUMseUJBQXlCTCx5QkFBeUJHLFdBQ3RERywwQkFBMEJKLDBCQUEwQkM7SUFFdEQsSUFBSUUsd0JBQXdCO1FBQzFCRCxjQUFjRyw4QkFBaUIsRUFBRyxHQUFHO0lBQ3ZDO0lBRUEsSUFBSUQseUJBQXlCO1FBQzNCRixjQUFjSSxnQkFBa0IsRUFBRSxHQUFHO0lBQ3ZDO0lBRUEsT0FBT0o7QUFDVCJ9
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "name": "occam-verify-cli",
3
3
  "author": "James Smith",
4
- "version": "1.0.554",
4
+ "version": "1.0.556",
5
5
  "license": "MIT, Anti-996",
6
6
  "homepage": "https://github.com/djalbat/occam-verify-cli",
7
7
  "description": "Occam's Verifier",
@@ -13,12 +13,12 @@
13
13
  "argumentative": "^2.0.36",
14
14
  "necessary": "^17.0.9",
15
15
  "occam-file-system": "^6.0.505",
16
- "occam-furtle": "^3.0.70",
16
+ "occam-furtle": "^3.0.72",
17
17
  "occam-grammars": "^1.3.510",
18
- "occam-languages": "^0.0.40",
18
+ "occam-languages": "^0.0.44",
19
19
  "occam-lexers": "^23.1.34",
20
20
  "occam-model": "^1.0.494",
21
- "occam-nominal": "^1.0.15",
21
+ "occam-nominal": "^1.0.17",
22
22
  "occam-parsers": "^23.1.37"
23
23
  },
24
24
  "devDependencies": {
package/src/context/nominal.js CHANGED
@@ -1,6 +1,6 @@
1
1
  "use strict";
2
2
 
3
- import { Context, contextUtilities } from "occam-languages";
3
+ import { Context } from "occam-languages";
4
4
  import { nominalLexer, nominalParser } from "../utilities/nominal";
5
5
 
6
6
  class NominalContext extends Context {
package/src/utilities/fileContext.js CHANGED
@@ -8,7 +8,7 @@ import NominalFileContext from "../context/file/nominal";
8
8
  const { isFilePathFurtleFilePath, isFilePathNominalFilePath } = filePathUtilities;
9
9
 
10
10
  export function FileContextFromFilePath(filePath) {
11
- let FileContext;
11
+ let FileContext = null;
12
12
 
13
13
  const filePathFurtleFilePath = isFilePathFurtleFilePath(filePath),
14
14
  filePathNominalFilePath = isFilePathNominalFilePath(filePath);