occam-verify-cli 0.0.369 → 0.0.371

package/src/context/release/directory.js

@@ -0,0 +1,224 @@
+"use strict";
+
+import ReleaseContext from "../../context/release";
+
+import { push } from "../../utilities/array";
+import { customGrammarFromEntries } from "../../utilities/customGrammar";
+
+export default class DirectoryReleaseContext extends ReleaseContext {
+  constructor(log, verified, callbacks, customGrammar, florenceLexer, florenceParser, releaseContexts, fileContexts, release) {
+    super(log, verified, callbacks, customGrammar, florenceLexer, florenceParser, releaseContexts);
+
+    this.fileContexts = fileContexts;
+    this.release = release;
+  }
+
+  getFileContexts() {
+    return this.fileContexts;
+  }
+
+  getRelease() {
+    return this.release;
+  }
+
+  getReleaseName() {
+    const releaseName = this.release.getName();
+
+    return releaseName;
+  }
+
+  getFile(filePath) { return this.release.getFile(filePath); }
+
+  getVersion() { return this.release.getVersion(); }
+
+  getFilePaths() { return this.release.getFilePaths(); }
+
+  getDependencies() { return this.release.getDependencies(); }
+
+  matchShortenedVersion(shortenedVersion) { return this.release.matchShortenedVersion(shortenedVersion); }
+
+  getRules(releaseNames = []) {
+    const rules = [],
+        releaseName = this.getReleaseName(),
+        releaseNamesIncludesReleaseName = releaseNames.includes(releaseName);
+
+    if (!releaseNamesIncludesReleaseName) {
+      releaseNames.push(releaseName);
+
+      const bubble = false;
+
+      this.fileContexts.forEach((fileContext) => {
+        const fileContextRules = fileContext.getRules(bubble);
+
+        push(rules, fileContextRules);
+      });
+
+      this.releaseContexts.forEach((releaseContext) => {
+        const releaseContextRules = releaseContext.getRules(releaseNames);
+
+        push(rules, releaseContextRules);
+      });
+    }
+
+    return rules;
+  }
+
+  getTypes(releaseNames = []) {
+    const types = [],
+        releaseName = this.getReleaseName(),
+        releaseNamesIncludesReleaseName = releaseNames.includes(releaseName);
+
+    if (!releaseNamesIncludesReleaseName) {
+      releaseNames.push(releaseName);
+
+      const bubble = false;
+
+      this.fileContexts.forEach((fileContext) => {
+        const fileContextTypes = fileContext.getTypes(bubble);
+
+        push(types, fileContextTypes);
+      });
+
+      this.releaseContexts.forEach((releaseContext) => {
+        const releaseContextTypes = releaseContext.getTypes(releaseNames);
+
+        push(types, releaseContextTypes);
+      });
+    }
+
+    return types;
+  }
+
+  getAxioms(releaseNames = []) {
+    const axioms = [],
+        releaseName = this.getReleaseName(),
+        releaseNamesIncludesReleaseName = releaseNames.includes(releaseName);
+
+    if (!releaseNamesIncludesReleaseName) {
+      releaseNames.push(releaseName);
+
+      const bubble = false;
+
+      this.fileContexts.forEach((fileContext) => {
+        const fileContextAxioms = fileContext.getAxioms(bubble);
+
+        push(axioms, fileContextAxioms);
+      });
+
+      this.releaseContexts.forEach((releaseContext) => {
+        const releaseContextAxioms = releaseContext.getAxioms(releaseNames);
+
+        push(axioms, releaseContextAxioms);
+      });
+    }
+
+    return axioms;
+  }
+
+  getLabels(releaseNames = []) {
+    const labels = [],
+        releaseName = this.getReleaseName(),
+        releaseNamesIncludesReleaseName = releaseNames.includes(releaseName);
+
+    if (!releaseNamesIncludesReleaseName) {
+      releaseNames.push(releaseName);
+
+      const bubble = false;
+
+      this.fileContexts.forEach((fileContext) => {
+        const fileContextLabels = fileContext.getLabels(bubble);
+
+        push(labels, fileContextLabels);
+      });
+
+      this.releaseContexts.forEach((releaseContext) => {
+        const releaseContextLabels = releaseContext.getLabels(releaseNames);
+
+        push(labels, releaseContextLabels);
+      });
+    }
+
+    return labels;
+  }
+
+  getCombinators(releaseNames = []) {
+    const combinators = [],
+        releaseName = this.getReleaseName(),
+        releaseNamesIncludesReleaseName = releaseNames.includes(releaseName);
+
+    if (!releaseNamesIncludesReleaseName) {
+      releaseNames.push(releaseName);
+
+      const bubble = false;
+
+      this.fileContexts.forEach((fileContext) => {
+        const fileContextCombinators = fileContext.getCombinators(bubble);
+
+        push(combinators, fileContextCombinators);
+      });
+
+      this.releaseContexts.forEach((releaseContext) => {
+        const releaseContextCombinators = releaseContext.getCombinators(releaseNames);
+
+        push(combinators, releaseContextCombinators);
+      });
+    }
+
+    return combinators;
+  }
+
+  getConstructors(releaseNames = []) {
+    const constructors = [],
+        releaseName = this.getReleaseName(),
+        releaseNamesIncludesReleaseName = releaseNames.includes(releaseName);
+
+    if (!releaseNamesIncludesReleaseName) {
+      releaseNames.push(releaseName);
+
+      const bubble = false;
+
+      this.fileContexts.forEach((fileContext) => {
+        const fileContextConstructors = fileContext.getConstructors(bubble);
+
+        push(constructors, fileContextConstructors);
+      });
+
+      this.releaseContexts.forEach((releaseContext) => {
+        const releaseContextConstructors = releaseContext.getConstructors(releaseNames);
+
+        push(constructors, releaseContextConstructors);
+      });
+    }
+
+    return constructors;
+  }
+
+  addFileContext(fileContext) {
+    this.fileContexts.push(fileContext);
+  }
+
+  toJSON() {
+    const json = [];
+
+    this.fileContexts.forEach((fileContext) => {
+      const fileContextJSON = fileContext.toJSON();
+
+      push(json, fileContextJSON);
+    });
+
+    return json;
+  }
+
+  static fromLogReleaseAndCallbacks(log, release, callbacks) {
+    const entries = release.getEntries(),
+          verified = false,
+          customGrammar = customGrammarFromEntries(entries),
+          florenceLexer = null,
+          florenceParser = null,
+          releaseContexts = null,
+          fileContexts = [],
+          releaseContext = new DirectoryReleaseContext(log, verified, callbacks, customGrammar, florenceLexer, florenceParser, releaseContexts, fileContexts, release);
+
+    return releaseContext;
+  }
+}

package/src/context/release.js

@@ -2,20 +2,17 @@
 
 import { lexersUtilities, parsersUtilities } from "occam-custom-grammars";
 
-import { push } from "../utilities/array";
-import { customGrammarFromRelease, combinedCustomGrammarFromReleaseContexts } from "../utilities/customGrammar";
+import { combinedCustomGrammarFromReleaseContexts } from "../utilities/customGrammar";
 
 const { florenceLexerFromCombinedCustomGrammar } = lexersUtilities,
       { florenceParserFromCombinedCustomGrammar } = parsersUtilities;
 
 export default class ReleaseContext {
-  constructor(log, release, callbacks, verified, customGrammar, fileContexts, florenceLexer, florenceParser, releaseContexts) {
+  constructor(log, verified, callbacks, customGrammar, florenceLexer, florenceParser, releaseContexts) {
     this.log = log;
-    this.release = release;
-    this.callbacks = callbacks;
     this.verified = verified;
+    this.callbacks = callbacks;
     this.customGrammar = customGrammar;
-    this.fileContexts = fileContexts;
     this.florenceLexer = florenceLexer;
     this.florenceParser = florenceParser;
     this.releaseContexts = releaseContexts;
@@ -25,26 +22,18 @@ export default class ReleaseContext {
     return this.log;
   }
 
-  getRelease() {
-    return this.release;
+  isVerified() {
+    return this.verified;
   }
 
   getCallbacks() {
     return this.callbacks;
   }
 
-  isVerified() {
-    return this.verified;
-  }
-
   getCustomGrammar() {
     return this.customGrammar;
   }
 
-  getFileContexts() {
-    return this.fileContexts;
-  }
-
   getFlorenceLexer() {
     return this.florenceLexer;
   }
@@ -57,182 +46,6 @@ export default class ReleaseContext {
     return this.releaseContexts;
   }
 
-  getFile(filePath) { return this.release.getFile(filePath); }
-
-  getVersion() { return this.release.getVersion(); }
-
-  getFilePaths() { return this.release.getFilePaths(); }
-
-  getDependencies() { return this.release.getDependencies(); }
-
-  matchShortenedVersion(shortenedVersion) { return this.release.matchShortenedVersion(shortenedVersion); }
-
-  getReleaseName() {
-    const releaseName = this.release.getName();
-
-    return releaseName;
-  }
-
-  getRules(releaseNames = []) {
-    const rules = [],
-          releaseName = this.getReleaseName(),
-          releaseNamesIncludesReleaseName = releaseNames.includes(releaseName);
-
-    if (!releaseNamesIncludesReleaseName) {
-      releaseNames.push(releaseName);
-
-      const bubble = false;
-
-      this.fileContexts.forEach((fileContext) => {
-        const fileContextRules = fileContext.getRules(bubble);
-
-        push(rules, fileContextRules);
-      });
-
-      this.releaseContexts.forEach((releaseContext) => {
-        const releaseContextRules = releaseContext.getRules(releaseNames);
-
-        push(rules, releaseContextRules);
-      });
-    }
-
-    return rules;
-  }
-
-  getTypes(releaseNames = []) {
-    const types = [],
-          releaseName = this.getReleaseName(),
-          releaseNamesIncludesReleaseName = releaseNames.includes(releaseName);
-
-    if (!releaseNamesIncludesReleaseName) {
-      releaseNames.push(releaseName);
-
-      const bubble = false;
-
-      this.fileContexts.forEach((fileContext) => {
-        const fileContextTypes = fileContext.getTypes(bubble);
-
-        push(types, fileContextTypes);
-      });
-
-      this.releaseContexts.forEach((releaseContext) => {
-        const releaseContextTypes = releaseContext.getTypes(releaseNames);
-
-        push(types, releaseContextTypes);
-      });
-    }
-
-    return types;
-  }
-
-  getAxioms(releaseNames = []) {
-    const axioms = [],
-          releaseName = this.getReleaseName(),
-          releaseNamesIncludesReleaseName = releaseNames.includes(releaseName);
-
-    if (!releaseNamesIncludesReleaseName) {
-      releaseNames.push(releaseName);
-
-      const bubble = false;
-
-      this.fileContexts.forEach((fileContext) => {
-        const fileContextAxioms = fileContext.getAxioms(bubble);
-
-        push(axioms, fileContextAxioms);
-      });
-
-      this.releaseContexts.forEach((releaseContext) => {
-        const releaseContextAxioms = releaseContext.getAxioms(releaseNames);
-
-        push(axioms, releaseContextAxioms);
-      });
-    }
-
-    return axioms;
-  }
-
-  getLabels(releaseNames = []) {
-    const labels = [],
-          releaseName = this.getReleaseName(),
-          releaseNamesIncludesReleaseName = releaseNames.includes(releaseName);
-
-    if (!releaseNamesIncludesReleaseName) {
-      releaseNames.push(releaseName);
-
-      const bubble = false;
-
-      this.fileContexts.forEach((fileContext) => {
-        const fileContextLabels = fileContext.getLabels(bubble);
-
-        push(labels, fileContextLabels);
-      });
-
-      this.releaseContexts.forEach((releaseContext) => {
-        const releaseContextLabels = releaseContext.getLabels(releaseNames);
-
-        push(labels, releaseContextLabels);
-      });
-    }
-
-    return labels;
-  }
-
-  getCombinators(releaseNames = []) {
-    const combinators = [],
-          releaseName = this.getReleaseName(),
-          releaseNamesIncludesReleaseName = releaseNames.includes(releaseName);
-
-    if (!releaseNamesIncludesReleaseName) {
-      releaseNames.push(releaseName);
-
-      const bubble = false;
-
-      this.fileContexts.forEach((fileContext) => {
-        const fileContextCombinators = fileContext.getCombinators(bubble);
-
-        push(combinators, fileContextCombinators);
-      });
-
-      this.releaseContexts.forEach((releaseContext) => {
-        const releaseContextCombinators = releaseContext.getCombinators(releaseNames);
-
-        push(combinators, releaseContextCombinators);
-      });
-    }
-
-    return combinators;
-  }
-
-  getConstructors(releaseNames = []) {
-    const constructors = [],
-          releaseName = this.getReleaseName(),
-          releaseNamesIncludesReleaseName = releaseNames.includes(releaseName);
-
-    if (!releaseNamesIncludesReleaseName) {
-      releaseNames.push(releaseName);
-
-      const bubble = false;
-
-      this.fileContexts.forEach((fileContext) => {
-        const fileContextConstructors = fileContext.getConstructors(bubble);
-
-        push(constructors, fileContextConstructors);
-      });
-
-      this.releaseContexts.forEach((releaseContext) => {
-        const releaseContextConstructors = releaseContext.getConstructors(releaseNames);
-
-        push(constructors, releaseContextConstructors);
-      });
-    }
-
-    return constructors;
-  }
-
-  addFileContext(fileContext) {
-    this.fileContexts.push(fileContext);
-  }
-
   setVerified(verified) {
     this.verified = verified;
   }
@@ -272,28 +85,4 @@ export default class ReleaseContext {
 
     this.releaseContexts = releaseContexts;
   }
-
-  toJSON() {
-    const json = [];
-
-    this.fileContexts.forEach((fileContext) => {
-      const fileContextJSON = fileContext.toJSON();
-
-      push(json, fileContextJSON);
-    });
-
-    return json;
-  }
-
-  static fromLogReleaseAndCallbacks(log, release, callbacks, ...remainingArguments) {
-    const verified = false,
-          customGrammar = customGrammarFromRelease(release),
-          fileContexts = [],
-          florenceLexer = null,
-          florenceParser = null,
-          releaseContexts = [],
-          releaseContext = new ReleaseContext(log, release, callbacks, verified, customGrammar, fileContexts, florenceLexer, florenceParser, releaseContexts, ...remainingArguments);
-
-    return releaseContext;
-  }
 }

package/src/index.js

@@ -1,9 +1,12 @@
 "use strict";
 
 export { default as Callbacks } from "./callbacks";
-export { default as jsonUtilities } from "./utilities/json";
 export { default as verifyRelease } from "./verify/release";
 export { default as ReleaseContext } from "./context/release";
 export { default as versionChanges } from "./versionChanges";
+export { default as DirectoryReleaseContext } from "./context/release/directory";
+
+export { default as jsonUtilities } from "./utilities/json";
 export { default as versionUtilities } from "./utilities/version";
+export { default as customGrammarUtilities } from "./utilities/customGrammar";
 export { default as releaseContextUtilities } from "./utilities/releaseContext";

package/src/utilities/customGrammar.js

@@ -2,14 +2,14 @@
 
 import { CustomGrammar, CombinedCustomGrammar } from "occam-custom-grammars";
 
-export function customGrammarFromRelease(release) {
-  const name = release.getName(),
-        termBNF = release.getTermBNF(),
-        statementBNF = release.getStatementBNF(),
-        metastatementBNF = release.getMetastatementBNF(),
-        typePattern = release.getTypePattern(),
-        symbolPattern = release.getSymbolPattern(),
-        operatorPattern = release.getOperatorPattern(),
+export function customGrammarFromEntries(entries) {
+  const name = entries.getName(),
+        termBNF = entries.getTermBNF(),
+        statementBNF = entries.getStatementBNF(),
+        metastatementBNF = entries.getMetastatementBNF(),
+        typePattern = entries.getTypePattern(),
+        symbolPattern = entries.getSymbolPattern(),
+        operatorPattern = entries.getOperatorPattern(),
         customGrammar = CustomGrammar.fromNameTermBNFStatementBNFMetastatementBNFTypePatternSymbolPatternAndOperatorPattern(name, termBNF, statementBNF, metastatementBNF, typePattern, symbolPattern, operatorPattern);
 
   return customGrammar;
@@ -24,4 +24,9 @@ export function combinedCustomGrammarFromReleaseContexts(releaseContexts) {
         combinedCustomGrammar = CombinedCustomGrammar.fromCustomGrammars(customGrammars);
 
   return combinedCustomGrammar;
-}
+}
+
+export default {
+  customGrammarFromEntries,
+  combinedCustomGrammarFromReleaseContexts
+};