occam-verify-cli 1.0.983 → 1.0.985

package/src/context/nested.js

@@ -1,21 +0,0 @@
-"use strict";
-
-import Context from "../context";
-
-export default class NestedContext extends Context {
-  addAssignment(assignment) {
-    ///
-  }
-
-  isStated() {
-    const stated = true;
-
-    return stated;
-  }
-
-  static fromNothing(context) {
-    const nestedContext = new NestedContext(context);
-
-    return nestedContext;
-  }
-}

package/src/context/nominal.js

@@ -1,62 +0,0 @@
-"use strict";
-
-import { Context } from "occam-languages";
-import { lexersUtilities, parsersUtilities } from "occam-nominal";
-
-import NominalLexer from "../nominal/lexer";
-import NominalParser from "../nominal/parser";
-
-import { baseTypeFromNothing } from "../utilities/type";
-import { findMetaTypeByMetaTypeName } from "../metaTypes";
-
-const { nominalLexerFromNothing } = lexersUtilities,
-      { nominalParserFromNothing } = parsersUtilities;
-
-const nominalLexer = nominalLexerFromNothing(NominalLexer),
-      nominalParser = nominalParserFromNothing(NominalParser); ///
-
-let baseType = null;
-
-export default class NominalContext extends Context {
-  constructor(context, lexer, parser) {
-    super(context);
-
-    this.lexer = lexer;
-    this.parser = parser;
-  }
-
-  getLexer() {
-    return this.lexer;
-  }
-
-  getParser() {
-    return this.parser;
-  }
-
-  findTypeByNominalTypeName(nominalTypeName) {
-    let type = null;
-
-    if (baseType === null) {
-      baseType = baseTypeFromNothing();
-    }
-
-    const comparesToNominalTypeName = baseType.compareNominalTypeName(nominalTypeName);
-
-    if (comparesToNominalTypeName) {
-      type = baseType;  ///
-    }
-
-    return type;
-  }
-
-  findMetaTypeByMetaTypeName(metaTypeName) { return findMetaTypeByMetaTypeName(metaTypeName); }
-
-  static fromNothing() {
-    const context = null,
-          lexer = nominalLexer, ///
-          parser = nominalParser, ///
-          nominalContext = Context.fromNothing(NominalContext, lexer, parser, context);
-
-    return nominalContext;
-  }
-}

package/src/context/phaneric.js

@@ -1,43 +0,0 @@
-"use strict";
-
-import { arrayUtilities } from "necessary";
-
-import Context from "../context";
-
-import { EMPTY_STRING } from "../constants";
-
-const { last } = arrayUtilities;
-
-export default class PhanericContext extends Context {
-  constructor(context, contexts) {
-    super(context);
-
-    this.contexts = contexts;
-  }
-
-  getContexts() {
-    return this.contexts;
-  }
-
-  nodeAsString(node) {
-    let string = EMPTY_STRING;
-
-    this.contexts.some((context) => {
-      string = context.nodeAsString(node);
-
-      if (string !== EMPTY_STRING) {
-        return true;
-      }
-    });
-
-    return string;
-  }
-
-  static fromContexts(contexts) {
-    const lastContext = last(contexts),
-          context = lastContext,  ///
-          phanericContext = new PhanericContext(context, contexts);
-
-    return phanericContext;
-  }
-}

package/src/context/thetic.js

@@ -1,17 +0,0 @@
-"use strict";
-
-import Context from "../context";
-
-export default class TheticContext extends Context {
-  isStated() {
-    const stated = true;
-
-    return stated;
-  }
-
-  static fromNothing(context) {
-    const theticContext = new TheticContext(context);
-
-    return theticContext;
-  }
-}