occam-verify-cli 0.0.1092 → 0.0.1094

package/src/substitution/{statementForMetavariable.js → statement.js}

@@ -4,15 +4,12 @@ import shim from "../shim";
 import Substitution from "../substitution";
 import LocalContext from "../context/local";
 import metaLevelUnifier from "../unifier/metaLevel";
+import StatementSubstitutionNodeAndTokens from "../nodeAndTokens/substitution/statement";
 
 import { stripBracketsFromStatementNode } from "../utilities/brackets";
 import { statementFromJSON, statementToStatementJSON, metavariableFromJSON, metavariableToMetavariableJSON } from "../utilities/json";
-import { unqualifiedStatementTokensFromUnqualifiedStatementString, substitutionTokensFromUnqualifiedStatementTokensAndSubstitutionNode } from "../utilities/tokens";
-import { substitutionNodeFromUnqualifiedStatementNode,
-         unqualifiedStatementStringFromSubstitutionString,
-         unqualifiedStatementNodeFromUnqualifiedStatementTokens } from "../utilities/node";
 
-class StatementForMetavariableSubstitution extends Substitution {
+class StatementSubstitution extends Substitution {
   constructor(string, node, tokens, resolved, statement, metavariable, substitution) {
     super(string, node, tokens);
 
@@ -93,8 +90,13 @@ class StatementForMetavariableSubstitution extends Substitution {
     if (simpleSubstitution !== null) {
       specificContext.trace(`Resolving the ${substitutionString} substitution...`);
 
+      const context = generalContext, ///
+            localContext = LocalContext.fromContextAndTokens(context, this.tokens);
+
+      generalContext = localContext;  ///
+
       const substitution = simpleSubstitution,  ///
-        substitutionResolved = substitution.resolveSubstitution(this.substitution, this.statement, substitutions, generalContext, specificContext);
+            substitutionResolved = substitution.resolveSubstitution(this.substitution, this.statement, substitutions, generalContext, specificContext);
 
       this.resolved = substitutionResolved; ///
 
@@ -115,21 +117,40 @@ class StatementForMetavariableSubstitution extends Substitution {
           specificSubstitution = this.unifyStatement(statement, specificContext, specificContext);  ///
 
     if (specificSubstitution !== null) {
-      generalContext = contextFromLocalContextAndSubstitution(generalContext, generalSubstitution);  ///
-
-      specificContext = contextFromLocalContextAndSubstitution(specificContext, specificSubstitution);  ///
-
       substitutions.snapshot();
 
-      const generalSubstitutionNode = generalSubstitution.getSubstitutionNode(),  ///
-            specificSubstitutionNode = specificSubstitution.getSubstitutionNode(),  ///
-            generalSubstitutionString = generalContext.nodeAsString(generalSubstitutionNode),
-            specificSubstitutionString = specificContext.nodeAsString(specificSubstitutionNode);
+      const generalSubstitutionString = generalSubstitution.getString(),
+            specificSubstitutionString = specificSubstitution.getString();
 
       specificContext.trace(`Unifying the '${specificSubstitutionString}' substitution with the '${generalSubstitutionString}' substitution...`);
 
+      const generalSubstitutionNode = generalSubstitution.getNode(),
+            specificSubstitutionNode = specificSubstitution.getNode(),
+            generalSubstitutionTokens = generalSubstitution.getTokens(),
+            specificSubstitutionTokens = specificSubstitution.getTokens();
+
+      let tokens,
+          context,
+          localContext;
+
+      tokens = generalSubstitutionTokens; ///
+
+      context = generalContext; ///
+
+      localContext = LocalContext.fromContextAndTokens(context, tokens);
+
+      generalContext = localContext;  ///
+
+      tokens = specificSubstitutionTokens;  ///
+
+      context = specificContext;  ///
+
+      localContext = LocalContext.fromContextAndTokens(context, tokens);
+
+      specificContext = localContext; ///
+
       const generalNode = generalSubstitutionNode,  ///
-            specificNode = specificSubstitutionNode,  ///
+            specificNode = specificSubstitutionNode,  ///,
             unifiedAtMetaLevel = metaLevelUnifier.unify(generalNode, specificNode, substitutions, generalContext, specificContext);
 
       if (unifiedAtMetaLevel) {
@@ -187,23 +208,18 @@ class StatementForMetavariableSubstitution extends Substitution {
 
   static fromJSON(json, fileContext) {
     const { string } = json,
-          lexer = fileContext.getLexer(),
-          parser = fileContext.getParser(),
-          substitutionString = string,  ///
-          unqualifiedStatementString = unqualifiedStatementStringFromSubstitutionString(substitutionString),
-          unqualifiedStatementTokens = unqualifiedStatementTokensFromUnqualifiedStatementString(unqualifiedStatementString, lexer),
-          unqualifiedStatementNode = unqualifiedStatementNodeFromUnqualifiedStatementTokens(unqualifiedStatementTokens, parser),
-          substitutionNode = substitutionNodeFromUnqualifiedStatementNode(unqualifiedStatementNode),
-          substitutionTokens = substitutionTokensFromUnqualifiedStatementTokensAndSubstitutionNode(unqualifiedStatementTokens, substitutionNode),
-          node = substitutionNode,  ///
-          tokens = substitutionTokens,  ///
+          context = fileContext,  ///
+          statementSubstitutionString = string,  ///
+          statementSubstitutionNodeAndTokens = StatementSubstitutionNodeAndTokens.fromStatementSubstitutionString(statementSubstitutionString, context),
+          node = statementSubstitutionNodeAndTokens.getNode(),
+          tokens = statementSubstitutionNodeAndTokens.getTokens(),
           resolved = true,
           statement = statementFromJSON(json, fileContext),
           metavariable = metavariableFromJSON(json, fileContext),
           substitution = null,  ///
-          statementForMetavariableSubstitution = new StatementForMetavariableSubstitution(string, node, tokens, resolved, statement, metavariable, substitution);
+          statementSubstitution = new StatementSubstitution(string, node, tokens, resolved, statement, metavariable, substitution);
 
-    return statementForMetavariableSubstitution;
+    return statementSubstitution;
   }
 
   static fromStatementAndMetavariable(statement, metavariable, context) {
@@ -215,22 +231,16 @@ class StatementForMetavariableSubstitution extends Substitution {
 
     statement = Statement.fromStatementNode(statementNode, context);
 
-    const lexer = context.getLexer(),
-          parser = context.getParser(),
-          string = stringFromStatementAndMetavariable(statement, metavariable),
-          substitutionString = string,  ///
-          unqualifiedStatementString = unqualifiedStatementStringFromSubstitutionString(substitutionString),
-          unqualifiedStatementTokens = unqualifiedStatementTokensFromUnqualifiedStatementString(unqualifiedStatementString, lexer),
-          unqualifiedStatementNode = unqualifiedStatementNodeFromUnqualifiedStatementTokens(unqualifiedStatementTokens, parser),
-          substitutionNode = substitutionNodeFromUnqualifiedStatementNode(unqualifiedStatementNode),
-          substitutionTokens = substitutionTokensFromUnqualifiedStatementTokensAndSubstitutionNode(unqualifiedStatementTokens, substitutionNode),
-          node = substitutionNode,  ///
-          tokens = substitutionTokens,  ///
+    const string = stringFromStatementAndMetavariable(statement, metavariable),
+          statementSubstitutionString = string,  ///
+          statementSubstitutionNodeAndTokens = StatementSubstitutionNodeAndTokens.fromStatementSubstitutionString(statementSubstitutionString, context),
+          node = statementSubstitutionNodeAndTokens.getNode(),
+          tokens = statementSubstitutionNodeAndTokens.getTokens(),
           resolved = true,
           substitution = null,
-          statementForMetavariableSubstitution = new StatementForMetavariableSubstitution(string, node, tokens, resolved, statement, metavariable, substitution);
+          statementSubstitution = new StatementSubstitution(string, node, tokens, resolved, statement, metavariable, substitution);
 
-    return statementForMetavariableSubstitution;
+    return statementSubstitution;
   }
 
   static fromStatementMetavariableAndSubstitution(statement, metavariable, substitution, context) {
@@ -242,39 +252,23 @@ class StatementForMetavariableSubstitution extends Substitution {
 
     statement = Statement.fromStatementNode(statementNode, context);
 
-    const lexer = context.getLexer(),
-          parser = context.getParser(),
-          string = stringFromStatementMetavariableAndSubstitution(statement, metavariable, substitution, context),
-          substitutionString = string,  ///
-          unqualifiedStatementString = unqualifiedStatementStringFromSubstitutionString(substitutionString),
-          unqualifiedStatementTokens = unqualifiedStatementTokensFromUnqualifiedStatementString(unqualifiedStatementString, lexer),
-          unqualifiedStatementNode = unqualifiedStatementNodeFromUnqualifiedStatementTokens(unqualifiedStatementTokens, parser),
-          substitutionNode = substitutionNodeFromUnqualifiedStatementNode(unqualifiedStatementNode),
-          substitutionTokens = substitutionTokensFromUnqualifiedStatementTokensAndSubstitutionNode(unqualifiedStatementTokens, substitutionNode),
-          node = substitutionNode,  ///
-          tokens = substitutionTokens,  ///
+    const string = stringFromStatementMetavariableAndSubstitution(statement, metavariable, substitution, context),
+          statementSubstitutionString = string,  ///
+          statementSubstitutionNodeAndTokens = StatementSubstitutionNodeAndTokens.fromStatementSubstitutionString(statementSubstitutionString, context),
+          node = statementSubstitutionNodeAndTokens.getNode(),
+          tokens = statementSubstitutionNodeAndTokens.getTokens(),
           resolved = false,
-          statementForMetavariableSubstitution = new StatementForMetavariableSubstitution(string, node, tokens, resolved, statement, metavariable, substitution);
+          statementSubstitution = new StatementSubstitution(string, node, tokens, resolved, statement, metavariable, substitution);
 
-    return statementForMetavariableSubstitution;
+    return statementSubstitution;
   }
 }
 
 Object.assign(shim, {
-  StatementForMetavariableSubstitution
+  StatementSubstitution
 });
 
-export default StatementForMetavariableSubstitution;
-
-function contextFromLocalContextAndSubstitution(context, substitution) {
-  const substitutionTokens = substitution.getTokens(),
-        tokens = substitutionTokens, ///
-        localContext = LocalContext.fromContextAndTokens(context, tokens); ///
-
-  context = localContext; ///
-
-  return context;
-}
+export default StatementSubstitution;
 
 function stringFromStatementAndMetavariable(statement, metavariable) {
   const statementString = statement.getString(),

package/src/substitution/{termForVariable.js → term.js}

@@ -2,20 +2,16 @@
 
 import shim from "../shim";
 import Substitution from "../substitution";
+import TermSubstitutionNodeAndTokens from "../nodeAndTokens/substitution/term";
 
 import { nodeQuery } from "../utilities/query";
 import { stripBracketsFromTermNode } from "../utilities/brackets";
-import { substitutionNodeFromUnqualifiedStatementNode,
-         unqualifiedStatementStringFromSubstitutionString,
-         unqualifiedStatementNodeFromUnqualifiedStatementTokens } from "../utilities/node";
-import { unqualifiedStatementTokensFromUnqualifiedStatementString,
-         substitutionTokensFromUnqualifiedStatementTokensAndSubstitutionNode } from "../utilities/tokens";
 
-const termNodeQuery = nodeQuery("/substitution/term[0]"),
-      variableNodeQuery = nodeQuery("/substitution/term[1]/variable!"),
-      substitutionNodeQuery = nodeQuery("/statement/substitution");
+const termNodeQuery = nodeQuery("/termSubstitution/term[0]"),
+      variableNodeQuery = nodeQuery("/termSubstitution/term[1]/variable!"),
+      termSubstitutionNodeQuery = nodeQuery("/statement/termSubstitution");
 
-export default class TermForVariableSubstitution extends Substitution {
+export default class TermSubstitution extends Substitution {
   constructor(string, node, tokens, term, variable) {
     super(string, node, tokens);
 
@@ -90,27 +86,27 @@ export default class TermForVariableSubstitution extends Substitution {
   }
 
   static fromStatementNode(statementNode, context) {
-    let termForVariableSubstitution = null;
+    let termSubstitution = null;
 
-    const substitutionNode = substitutionNodeQuery(statementNode);
+    const termSubstitutionNode = termSubstitutionNodeQuery(statementNode);
 
-    if (substitutionNode !== null) {
-      const termNode = termNodeQuery(substitutionNode),
-            variableNode = variableNodeQuery(substitutionNode);
+    if (termSubstitutionNode !== null) {
+      const termNode = termNodeQuery(termSubstitutionNode),
+            variableNode = variableNodeQuery(termSubstitutionNode);
 
       if ((termNode !== null) && (variableNode !== null)) {
         const { Term, Variable } = shim,
               term = Term.fromTermNode(termNode, context),
               variable = Variable.fromVariableNode(variableNode, context),
-              node = substitutionNode,  ///
+              node = termSubstitutionNode,  ///
               tokens = context.nodeAsTokens(node),
               string = stringFromTermAndVariable(term, variable);
 
-        termForVariableSubstitution = new TermForVariableSubstitution(string, node, tokens, term, variable);
+        termSubstitution = new TermSubstitution(string, node, tokens, term, variable);
       }
     }
 
-    return termForVariableSubstitution;
+    return termSubstitution;
   }
 
   static fromTernAndVariable(term, variable, context) {
@@ -122,20 +118,14 @@ export default class TermForVariableSubstitution extends Substitution {
 
     term = Term.fromTermNode(termNode, context);
 
-    const lexer = context.getLexer(),
-          parser = context.getParser(),
-          string = stringFromTermAndVariable(term, variable),
-          substitutionString = string,  ///
-          unqualifiedStatementString = unqualifiedStatementStringFromSubstitutionString(substitutionString),
-          unqualifiedStatementTokens = unqualifiedStatementTokensFromUnqualifiedStatementString(unqualifiedStatementString, lexer),
-          unqualifiedStatementNode = unqualifiedStatementNodeFromUnqualifiedStatementTokens(unqualifiedStatementTokens, parser),
-          substitutionNode = substitutionNodeFromUnqualifiedStatementNode(unqualifiedStatementNode),
-          substitutionTokens = substitutionTokensFromUnqualifiedStatementTokensAndSubstitutionNode(unqualifiedStatementTokens, substitutionNode),
-          node = substitutionNode,  //
-          tokens = substitutionTokens,  ///
-          termForVariableSubstitution = new TermForVariableSubstitution(string, node, tokens, term, variable);
-
-    return termForVariableSubstitution;
+    const string = stringFromTermAndVariable(term, variable),
+          termSubstitutionString = string,  ///
+          termSubstitutionNodeAndTokens = TermSubstitutionNodeAndTokens.fromTermSubstitutionString(termSubstitutionString, context),
+          node = termSubstitutionNodeAndTokens.getNode(),
+          tokens = termSubstitutionNodeAndTokens.getTokens(),
+          termSubstitution = new TermSubstitution(string, node, tokens, term, variable);
+
+    return termSubstitution;
   }
 }
 

package/src/substitution.js

@@ -39,12 +39,6 @@ class Substitution {
     return statement;
   }
 
-  getSubstitutionNode() {
-    const substitutionNode = null;
-
-    return substitutionNode;
-  }
-
   getMetavariableNode() {
     const metavariableNode = null;
 

package/src/substitutions.js

@@ -82,18 +82,6 @@ class Substitutions {
     return substitutions;
   }
 
-  findSimpleSubstitution() {
-    const simpleSubstitution = this.findSubstitution((substitution) => {
-      const substitutionSimple = substitution.isSimple();
-
-      if (substitutionSimple) {
-        return true;
-      }
-    });
-
-    return simpleSubstitution;
-  }
-
   findSubstitutionByVariableName(variableName) {
     const substitution = this.findSubstitution((substitution) => {
       const variableNameMatches = substitution.matchVariableName(variableName);

package/src/term.js

@@ -9,7 +9,7 @@ import termAsConstructorVerifier from "./verifier/termAsConstructor";
 
 import { objectType } from "./type";
 import { nodeQuery, nodesQuery } from "./utilities/query"
-import { termNodeFromTermString } from "./utilities/node";
+import { termNodeFromTermString } from "./nodeAndTokens/term";
 import { variableNameFromVariableNode } from "./utilities/name";
 import { typeFromJSON, typeToTypeJSON } from "./utilities/json";
 
@@ -260,10 +260,9 @@ class Term {
 
   static fromJSON(json, fileContext) {
     const { string } = json,
-          lexer = fileContext.getLexer(),
-          parser = fileContext.getParser(),
+          context = fileContext,  ///
           termString = string,  ///
-          termNode = termNodeFromTermString(termString, lexer, parser),
+          termNode = termNodeFromTermString(termString, context),
           node = termNode,  ///
           type = typeFromJSON(json, fileContext),
           term = new Term(string, node, type);

package/src/unifier/metaLevel.js

@@ -2,8 +2,8 @@
 
 import shim from "../shim";
 import Unifier from "../unifier";
-import TermForVariableSubstitution from "../substitution/termForVariable";
-import FrameForMetavariableSubstitution from "../substitution/frameForMetavariable";
+import TermSubstitution from "../substitution/term";
+import FrameSubstitution from "../substitution/frame";
 
 import { nodeQuery } from "../utilities/query";
 import { variableNameFromVariableNode } from "../utilities/name";
@@ -50,9 +50,9 @@ class MetaLevelUnifier extends Unifier {
           const statementMetavariableNode = statementMetavariableNodeQuery(statementNode);
 
           if (statementMetavariableNode !== null) {
-            const substitution = FrameForMetavariableSubstitution.fromStatementNode(statementNode, context) ||
-                                   TermForVariableSubstitution.fromStatementNode(statementNode, context) ||
-                                     null;
+            const frameSubstitution = FrameSubstitution.fromStatementNode(statementNode, context),
+                  termSubstitution = TermSubstitution.fromStatementNode(statementNode, context),
+                  substitution = (frameSubstitution || termSubstitution);
 
             const { Statement } = shim,
                   metavariableNode = statementMetavariableNode, ///

package/src/unifier/termWithConstructor.js

@@ -24,18 +24,18 @@ class TermWithConstructorUnifier extends Unifier {
 
   static maps = [
     {
-      nodeQueryA: typeNodeQuery,
-      nodeQueryB: termNodeQuery,
-      unify: (typeNodeB, termNodeB, context) => {
+      generalNodeQuery: typeNodeQuery,
+      specificNodeQuery: termNodeQuery,
+      unify: (generalTypeNode, specificTermNode, context) => {
         let unified = false;
 
         const { Term } = shim,
-              typeNode = typeNodeB, ///
+              typeNode = generalTypeNode, ///
               typeName = typeNameFromTypeNode(typeNode),
               type = context.findTypeByTypeName(typeName);
 
         if (type !== null) {
-          const termNode = termNodeB, ///
+          const termNode = specificTermNode, ///
                 term = Term.fromTermNode(termNode, context),
                 termVerifiedGivenType = term.verifyGivenType(type, context);
 

package/src/utilities/json.js

@@ -313,8 +313,9 @@ export function suppositionsFromJSON(json, fileContext) {
 export function substitutionsFromJSON(json, fileContext) {
   let { substitutions = [] } = json;  ///
 
-  const { StatementForMetavariableSubstitution: Substitution } = shim,  ///
-        substitutionsJSON = substitutions;  ///
+  const { StatementSubstitution } = shim,
+        substitutionsJSON = substitutions,  ///
+        Substitution = StatementSubstitution; ///
 
   substitutions = substitutionsJSON.map((substitutionJSON) => {
     const json = substitutionJSON,  ///

package/src/utilities/substitutions.js

@@ -4,7 +4,8 @@ import { nodeQuery } from "../utilities/query";
 import { variableNameFromVariableNode } from "../utilities/name";
 
 const variableNodeQuery = nodeQuery("/term/variable!"),
-      metavariableNodeQuery = nodeQuery("/*/metavariable!");
+      metavariableNodeQuery = nodeQuery("/*/metavariable!"),
+      substitutionNodeQuery = nodeQuery("/*/substitution!");
 
 export function termFromTermAndSubstitutions(term, substitutions) {
   if (term !== null) {
@@ -16,13 +17,7 @@ export function termFromTermAndSubstitutions(term, substitutions) {
 
     if (variableNode !== null) {
       const variableName = variableNameFromVariableNode(variableNode),
-            substitution = substitutions.findSubstitution((substitution) => {
-              const variableNameMatches = substitution.matchVariableName(variableName);
-
-              if (variableNameMatches) {
-                return true;
-              }
-            });
+            substitution = substitutions.findSubstitutionByVariableName(variableName);
 
       if (substitution !== null) {
         term = substitution.getTerm();
@@ -42,13 +37,7 @@ export function frameFromFrameAndSubstitutions(frame, substitutions) {
     const metavariableNode = metavariableNodeQuery(frameNode);
 
     if (metavariableNode !== null) {
-      const substitution = substitutions.findSubstitution((substitution) => {
-        const metavariableNodeMatches = substitution.matchMetavariableNode(metavariableNode);
-
-        if (metavariableNodeMatches) {
-          return true;
-        }
-      });
+      const substitution = substitutions.findSubstitutionByMetavariableNode(metavariableNode);
 
       if (substitution !== null) {
         frame = substitution.getFrame();
@@ -65,16 +54,11 @@ export function statementFromStatementAndSubstitutions(statement, substitutions)
 
     statement = null;
 
-    const metavariableNode = metavariableNodeQuery(statementNode);
+    const metavariableNode = metavariableNodeQuery(statementNode),
+          substitutionNode = substitutionNodeQuery(statementNode);
 
     if (metavariableNode !== null) {
-      const substitution = substitutions.findSubstitution((substitution) => {
-        const metavariableNodeMatches = substitution.matchMetavariableNode(metavariableNode);
-
-        if (metavariableNodeMatches) {
-          return true;
-        }
-      });
+      const substitution = substitutions.findSubstitutionByMetavariableNodeAndSubstitutionNode(metavariableNode, substitutionNode);
 
       if (substitution !== null) {
         statement = substitution.getStatement();

package/src/variable.js

@@ -2,13 +2,13 @@
 
 import shim from "./shim";
 import LocalContext from "./context/local";
-import TermForVariableSubstitution from "./substitution/termForVariable";
+import TermSubstitution from "./substitution/term";
 
 import { nodeQuery } from "./utilities/query";
 import { objectType } from "./type";
 import { variableNameFromVariableNode} from "./utilities/name";
 import { typeFromJSON, typeToTypeJSON } from "./utilities/json";
-import { variableNodeFromVariableString } from "./utilities/node";
+import { variableNodeFromVariableString } from "./nodeAndTokens/variable";
 
 const typeNodeQuery = nodeQuery("/variableDeclaration/type"),
       variableNodeQuery = nodeQuery("/variableDeclaration/variable"),
@@ -171,8 +171,8 @@ class Variable {
       } else {
         const context = specificContext,  ///
               variable = this,  ///
-              termForVariableSubstitution = TermForVariableSubstitution.fromTernAndVariable(term, variable, context),
-              substitution = termForVariableSubstitution;  ///
+              termSubstitution = TermSubstitution.fromTernAndVariable(term, variable, context),
+              substitution = termSubstitution;  ///
 
         substitutions.addSubstitution(substitution, context);
 
@@ -201,12 +201,11 @@ class Variable {
 
   static fromJSON(json, fileContext) {
     const { string } = json,
-          lexer  = fileContext.getLexer(),
-          parser = fileContext.getParser(),
+          localContext = LocalContext.fromFileContext(fileContext),
+          context = localContext, ///
           variableString = string,  ///
-          variableNode = variableNodeFromVariableString(variableString, lexer, parser),
+          variableNode = variableNodeFromVariableString(variableString, context),
           variableName = variableNameFromVariableNode(variableNode),
-          context = LocalContext.fromFileContext(fileContext),
           node = variableNode,
           name = variableName,  ///
           type = typeFromJSON(json, fileContext),

package/lib/ruleNames.js

@@ -1,30 +0,0 @@
-"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, {
-    CONSTRUCTOR_DECLARATION_RULE_NAME: function() {
-        return CONSTRUCTOR_DECLARATION_RULE_NAME;
-    },
-    METAVARIABLE_RULE_NAME: function() {
-        return METAVARIABLE_RULE_NAME;
-    },
-    UNQUALIFIED_STATEMENT_RULE_NAME: function() {
-        return UNQUALIFIED_STATEMENT_RULE_NAME;
-    },
-    VARIABLE_RULE_NAME: function() {
-        return VARIABLE_RULE_NAME;
-    }
-});
-var VARIABLE_RULE_NAME = "variable";
-var METAVARIABLE_RULE_NAME = "metavariable";
-var UNQUALIFIED_STATEMENT_RULE_NAME = "unqualifiedStatement";
-var CONSTRUCTOR_DECLARATION_RULE_NAME = "constructorDeclaration";
-
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJzb3VyY2VzIjpbIi4uL3NyYy9ydWxlTmFtZXMuanMiXSwic291cmNlc0NvbnRlbnQiOlsiXCJ1c2Ugc3RyaWN0XCI7XG5cbmV4cG9ydCBjb25zdCBWQVJJQUJMRV9SVUxFX05BTUUgPSBcInZhcmlhYmxlXCI7XG5leHBvcnQgY29uc3QgTUVUQVZBUklBQkxFX1JVTEVfTkFNRSA9IFwibWV0YXZhcmlhYmxlXCI7XG5leHBvcnQgY29uc3QgVU5RVUFMSUZJRURfU1RBVEVNRU5UX1JVTEVfTkFNRSA9IFwidW5xdWFsaWZpZWRTdGF0ZW1lbnRcIjtcbmV4cG9ydCBjb25zdCBDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUgPSBcImNvbnN0cnVjdG9yRGVjbGFyYXRpb25cIjtcbiJdLCJuYW1lcyI6WyJDT05TVFJVQ1RPUl9ERUNMQVJBVElPTl9SVUxFX05BTUUiLCJNRVRBVkFSSUFCTEVfUlVMRV9OQU1FIiwiVU5RVUFMSUZJRURfU1RBVEVNRU5UX1JVTEVfTkFNRSIsIlZBUklBQkxFX1JVTEVfTkFNRSJdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7Ozs7Ozs7O0lBS2FBLGlDQUFpQztlQUFqQ0E7O0lBRkFDLHNCQUFzQjtlQUF0QkE7O0lBQ0FDLCtCQUErQjtlQUEvQkE7O0lBRkFDLGtCQUFrQjtlQUFsQkE7OztBQUFOLElBQU1BLHFCQUFxQjtBQUMzQixJQUFNRix5QkFBeUI7QUFDL0IsSUFBTUMsa0NBQWtDO0FBQ3hDLElBQU1GLG9DQUFvQyJ9