occam-verify-cli 1.0.438 → 1.0.444

package/src/node/body/conjecture.js

@@ -2,29 +2,6 @@
 
 import BodyNode from "../../node/body";
 
-import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../../ruleNames";
-
 export default class ConjectureBodyNode extends BodyNode {
-  getProofNode() {
-    const ruleName = PROOF_RULE_NAME,
-          proofNode = this.getNodeByRuleName(ruleName);
-
-    return proofNode;
-  }
-
-  getDeductionNode() {
-    const ruleName = DEDUCTION_RULE_NAME,
-          deductionNode = this.getNodeByRuleName(ruleName);
-
-    return deductionNode;
-  }
-
-  getSuppositionNodes() {
-    const ruleName = SUPPOSITION_RULE_NAME,
-          suppositionNodes = this.getNodesByRuleName(ruleName);
-
-    return suppositionNodes;
-  }
-
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(ConjectureBodyNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/body/lemma.js

@@ -2,29 +2,6 @@
 
 import BodyNode from "../../node/body";
 
-import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../../ruleNames";
-
 export default class LemmaBodyNode extends BodyNode {
-  getProofNode() {
-    const ruleName = PROOF_RULE_NAME,
-          proofNode = this.getNodeByRuleName(ruleName);
-
-    return proofNode;
-  }
-
-  getDeductionNode() {
-    const ruleName = DEDUCTION_RULE_NAME,
-          deductionNode = this.getNodeByRuleName(ruleName);
-
-    return deductionNode;
-  }
-
-  getSuppositionNodes() {
-    const ruleName = SUPPOSITION_RULE_NAME,
-          suppositionNodes = this.getNodesByRuleName(ruleName);
-
-    return suppositionNodes;
-  }
-
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(LemmaBodyNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/body/metaLemma.js

@@ -2,29 +2,6 @@
 
 import BodyNode from "../../node/body";
 
-import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../../ruleNames";
-
 export default class MetaLemmaBodyNode extends BodyNode {
-  getProofNode() {
-    const ruleName = PROOF_RULE_NAME,
-          proofNode = this.getNodeByRuleName(ruleName);
-
-    return proofNode;
-  }
-
-  getDeductionNode() {
-    const ruleName = DEDUCTION_RULE_NAME,
-          deductionNode = this.getNodeByRuleName(ruleName);
-
-    return deductionNode;
-  }
-
-  getSuppositionNodes() {
-    const ruleName = SUPPOSITION_RULE_NAME,
-          suppositionNodes = this.getNodesByRuleName(ruleName);
-
-    return suppositionNodes;
-  }
-
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(MetaLemmaBodyNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/body/metatheorem.js

@@ -2,29 +2,6 @@
 
 import BodyNode from "../../node/body";
 
-import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../../ruleNames";
-
 export default class MetatheoremBodyNode extends BodyNode {
-  getProofNode() {
-    const ruleName = PROOF_RULE_NAME,
-          proofNode = this.getNodeByRuleName(ruleName);
-
-    return proofNode;
-  }
-
-  getDeductionNode() {
-    const ruleName = DEDUCTION_RULE_NAME,
-          deductionNode = this.getNodeByRuleName(ruleName);
-
-    return deductionNode;
-  }
-
-  getSuppositionNodes() {
-    const ruleName = SUPPOSITION_RULE_NAME,
-          suppositionNodes = this.getNodesByRuleName(ruleName);
-
-    return suppositionNodes;
-  }
-
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(MetatheoremBodyNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/body/rule.js

@@ -26,5 +26,17 @@ export default class RuleBodyNode extends BodyNode {
     return conclusionNode;
   }
 
+  getDeductionNode() {
+    const deductionNode = null;
+
+    return deductionNode;
+  }
+
+  getSuppositionNodes() {
+    const suppositionNodes = null;
+
+    return suppositionNodes;
+  }
+
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(RuleBodyNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/body/theorem.js

@@ -2,29 +2,6 @@
 
 import BodyNode from "../../node/body";
 
-import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../../ruleNames";
-
 export default class TheoremBodyNode extends BodyNode {
-  getProofNode() {
-    const ruleName = PROOF_RULE_NAME,
-          proofNode = this.getNodeByRuleName(ruleName);
-
-    return proofNode;
-  }
-
-  getDeductionNode() {
-    const ruleName = DEDUCTION_RULE_NAME,
-          deductionNode = this.getNodeByRuleName(ruleName);
-
-    return deductionNode;
-  }
-
-  getSuppositionNodes() {
-    const ruleName = SUPPOSITION_RULE_NAME,
-          suppositionNodes = this.getNodesByRuleName(ruleName);
-
-    return suppositionNodes;
-  }
-
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return BodyNode.fromRuleNameChildNodesOpacityAndPrecedence(TheoremBodyNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/body.js

@@ -2,6 +2,29 @@
 
 import NonTerminalNode from "../nonTerminalNode";
 
+import { PROOF_RULE_NAME, DEDUCTION_RULE_NAME, SUPPOSITION_RULE_NAME } from "../ruleNames";
+
 export default class BodyNode extends NonTerminalNode {
+  getProofNode() {
+    const ruleName = PROOF_RULE_NAME,
+          proofNode = this.getNodeByRuleName(ruleName);
+
+    return proofNode;
+  }
+
+  getDeductionNode() {
+    const ruleName = DEDUCTION_RULE_NAME,
+          deductionNode = this.getNodeByRuleName(ruleName);
+
+    return deductionNode;
+  }
+
+  getSuppositionNodes() {
+    const ruleName = SUPPOSITION_RULE_NAME,
+          suppositionNodes = this.getNodesByRuleName(ruleName);
+
+    return suppositionNodes;
+  }
+
   static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/combinator.js

@@ -2,6 +2,15 @@
 
 import NonTerminalNode from "../nonTerminalNode";
 
+import { STATEMENT_RULE_NAME } from "../ruleNames";
+
 export default class CombinatorNode extends NonTerminalNode {
+  getStatementNode() {
+    const ruleName = STATEMENT_RULE_NAME,
+          statementNode = this.getNodeByRuleName(ruleName);
+
+    return statementNode;
+  }
+
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(CombinatorNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/constructor.js

@@ -2,6 +2,15 @@
 
 import NonTerminalNode from "../nonTerminalNode";
 
+import { TERM_RULE_NAME } from "../ruleNames";
+
 export default class ConstructorNode extends NonTerminalNode {
+  getTermNode() {
+    const ruleName = TERM_RULE_NAME,
+          termNode = this.getNodeByRuleName(ruleName);
+
+    return termNode;
+  }
+
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ConstructorNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/declaration/combinator.js

@@ -2,14 +2,14 @@
 
 import DeclarationNode from "../../node/declaration";
 
-import { STATEMENT_RULE_NAME } from "../../ruleNames";
+import { COMBINATOR_RULE_NAME } from "../../ruleNames";
 
 export default class ContainedDeclarationNode extends DeclarationNode {
-  getStatementNode() {
-    const ruleName = STATEMENT_RULE_NAME,
-          statementNode = this.getNodeByRuleName(ruleName);
+  getCombinatorNode() {
+    const ruleName = COMBINATOR_RULE_NAME,
+          combinatorNode = this.getNodeByRuleName(ruleName);
 
-    return statementNode;
+    return combinatorNode;
   }
 
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return DeclarationNode.fromRuleNameChildNodesOpacityAndPrecedence(ContainedDeclarationNode, ruleName, childNodes, opacity, precedence); }

package/src/node/declaration/constructor.js

@@ -3,7 +3,7 @@
 import DeclarationNode from "../../node/declaration";
 
 import { PROVISIONALLY } from "../../constants";
-import { TERM_RULE_NAME, TYPE_RULE_NAME } from "../../ruleNames";
+import { CONSTRUCTOR_RULE_NAME, TYPE_RULE_NAME } from "../../ruleNames";
 
 export default class ConstructorDeclarationNode extends DeclarationNode {
   isProvisional() {
@@ -28,13 +28,6 @@ export default class ConstructorDeclarationNode extends DeclarationNode {
     return provisional;
   }
 
-  getTermNode() {
-    const ruleName = TERM_RULE_NAME,
-          termNode = this.getNodeByRuleName(ruleName);
-
-    return termNode;
-  }
-
   getTypeNode() {
     const ruleName = TYPE_RULE_NAME,
           typeNode = this.getNodeByRuleName(ruleName);
@@ -42,5 +35,12 @@ export default class ConstructorDeclarationNode extends DeclarationNode {
     return typeNode;
   }
 
+  getConstructorNode() {
+    const ruleName = CONSTRUCTOR_RULE_NAME,
+          constructorNode = this.getNodeByRuleName(ruleName);
+
+    return constructorNode;
+  }
+
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return DeclarationNode.fromRuleNameChildNodesOpacityAndPrecedence(ConstructorDeclarationNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/declaration/property.js

@@ -5,20 +5,6 @@ import DeclarationNode from "../../node/declaration";
 import { TYPE_RULE_NAME, PROPERTY_RULE_NAME } from "../../ruleNames";
 
 export default class PropertyDeclarationNode extends DeclarationNode {
-  getTypeNode() {
-    const ruleName = TYPE_RULE_NAME,
-          typeNode = this.getNodeByRuleName(ruleName);
-
-    return typeNode;
-  }
-
-  getPropertyNode() {
-    const ruleName = PROPERTY_RULE_NAME,
-          propertyNode = this.getNodeByRuleName(ruleName);
-
-    return propertyNode;
-  }
-
   getPropertyName() {
     const propertyNode = this.getPropertyNode(),
           propertyName = propertyNode.getPropertyName();
@@ -38,5 +24,19 @@ export default class PropertyDeclarationNode extends DeclarationNode {
     return nominalTypeName;
   }
 
+  getTypeNode() {
+    const ruleName = TYPE_RULE_NAME,
+          typeNode = this.getNodeByRuleName(ruleName);
+
+    return typeNode;
+  }
+
+  getPropertyNode() {
+    const ruleName = PROPERTY_RULE_NAME,
+          propertyNode = this.getNodeByRuleName(ruleName);
+
+    return propertyNode;
+  }
+
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return DeclarationNode.fromRuleNameChildNodesOpacityAndPrecedence(PropertyDeclarationNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/declaration/simpleType.js

@@ -6,6 +6,13 @@ import { PROVISIONAL } from "../../constants";
 import { TYPE_RULE_NAME, TYPES_RULE_NAME } from "../../ruleNames";
 
 export default class SimpleTypeDeclarationNode extends DeclarationNode {
+  isPrefixed() {
+    const typeNode = this.getTypeNode(),
+          prefixed = typeNode.isPrefixed();
+
+    return prefixed;
+  }
+
   isProvisional() {
     let provisional = false;
 
@@ -28,11 +35,32 @@ export default class SimpleTypeDeclarationNode extends DeclarationNode {
     return provisional;
   }
 
-  isPrefixed() {
+  getTypePrefixName() {
     const typeNode = this.getTypeNode(),
-          prefixed = typeNode.isPrefixed();
+          typePrefixName = typeNode.getTypePrefixName();
 
-    return prefixed;
+    return typePrefixName;
+  }
+
+  getSuperTypeNodes() {
+    let superTypeNodes = [];
+
+    const typesNode = this.getTypesNode();
+
+    if (typesNode !== null) {
+      const typeNodes = typesNode.getTypeNodes();
+
+      superTypeNodes = typeNodes; ///
+    }
+
+    return superTypeNodes;
+  }
+
+  getNominalTypeName() {
+    const typeNode = this.getTypeNode(),
+          nominalTypeName = typeNode.getNominalTypeName();
+
+    return nominalTypeName;
   }
 
   getTypeName() {
@@ -61,34 +89,6 @@ export default class SimpleTypeDeclarationNode extends DeclarationNode {
     return typesNode;
   }
 
-  getTypePrefixName() {
-    const typeNode = this.getTypeNode(),
-          typePrefixName = typeNode.getTypePrefixName();
-
-    return typePrefixName;
-  }
-
-  getSuperTypeNodes() {
-    let superTypeNodes = [];
-
-    const typesNode = this.getTypesNode();
-
-    if (typesNode !== null) {
-      const typeNodes = typesNode.getTypeNodes();
-
-      superTypeNodes = typeNodes; ///
-    }
-
-    return superTypeNodes;
-  }
-
-  getNominalTypeName() {
-    const typeNode = this.getTypeNode(),
-          nominalTypeName = typeNode.getNominalTypeName();
-
-    return nominalTypeName;
-  }
-
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return DeclarationNode.fromRuleNameChildNodesOpacityAndPrecedence(SimpleTypeDeclarationNode, ruleName, childNodes, opacity, precedence); }
 }
 

package/src/node/declaration/variable.js

@@ -28,6 +28,13 @@ export default class VariableDeclarationNode extends DeclarationNode {
     return provisional;
   }
 
+  getVariableIdentifier() {
+    const variableNode = this.getVariableNode(),
+          variableIdentifier = variableNode.getVariableIdentifier();
+
+    return variableIdentifier;
+  }
+
   getTypeNode() {
     const ruleName = TYPE_RULE_NAME,
           typeNode = this.getNodeByRuleName(ruleName);
@@ -42,12 +49,5 @@ export default class VariableDeclarationNode extends DeclarationNode {
     return variableNode;
   }
 
-  getVariableIdentifier() {
-    const variableNode = this.getVariableNode(),
-          variableIdentifier = variableNode.getVariableIdentifier();
-
-    return variableIdentifier;
-  }
-
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return DeclarationNode.fromRuleNameChildNodesOpacityAndPrecedence(VariableDeclarationNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/equality.js

@@ -9,13 +9,6 @@ import { TERM_RULE_NAME } from "../ruleNames";
 const { first, last } = arrayUtilities;
 
 export default class EqualityNode extends NonTerminalNode {
-  getTermNodes() {
-    const ruleName = TERM_RULE_NAME,
-          termNodes = this.getNodesByRuleName(ruleName);
-
-    return termNodes;
-  }
-
   getLeftTermNode() {
     const termNodes = this.getTermNodes(),
           firstTermNode = first(termNodes),
@@ -32,5 +25,12 @@ export default class EqualityNode extends NonTerminalNode {
     return rightTermNode;
   }
 
+  getTermNodes() {
+    const ruleName = TERM_RULE_NAME,
+          termNodes = this.getNodesByRuleName(ruleName);
+
+    return termNodes;
+  }
+
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(EqualityNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/frame.js

@@ -17,13 +17,6 @@ export default class FrameNode extends NonTerminalNode {
     return singular;
   }
 
-  getAssumptionNodes() {
-    const ruleName = ASSUMPTION_RULE_NAME,
-          declarationNodes = this.getNodesByRuleName(ruleName);
-
-    return declarationNodes;
-  }
-
   getMetavariableName() {
     let metavariableName = null;
 
@@ -43,20 +36,6 @@ export default class FrameNode extends NonTerminalNode {
     return metavariableNode;
   }
 
-  getMetavariableNodes() {
-    const ruleName = METAVARIABLE_RULE_NAME,
-          metavariableNodes = this.getNodesByRuleName(ruleName);
-
-    return metavariableNodes;
-  }
-
-  getSingularAssumptionNode() {
-    const ruleName = ASSUMPTION_RULE_NAME,
-          singularAssumptionNode = this.getSingularNodeByRuleName(ruleName);
-
-    return singularAssumptionNode;
-  }
-
   getSingularMetavariableNode() {
     let singularMetavariableNode = null;
 
@@ -71,5 +50,26 @@ export default class FrameNode extends NonTerminalNode {
     return singularMetavariableNode;
   }
 
+  getAssumptionNodes() {
+    const ruleName = ASSUMPTION_RULE_NAME,
+          declarationNodes = this.getNodesByRuleName(ruleName);
+
+    return declarationNodes;
+  }
+
+  getMetavariableNodes() {
+    const ruleName = METAVARIABLE_RULE_NAME,
+          metavariableNodes = this.getNodesByRuleName(ruleName);
+
+    return metavariableNodes;
+  }
+
+  getSingularAssumptionNode() {
+    const ruleName = ASSUMPTION_RULE_NAME,
+          singularAssumptionNode = this.getSingularNodeByRuleName(ruleName);
+
+    return singularAssumptionNode;
+  }
+
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(FrameNode, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/header.js

@@ -2,30 +2,9 @@
 
 import NonTerminalNode from "../nonTerminalNode";
 
-import {SIGNATURE_RULE_NAME, PARENTHESISED_LABEL_RULE_NAME, PARENTHESISED_LABELS_RULE_NAME } from "../ruleNames";
+import { SIGNATURE_RULE_NAME, PARENTHESISED_LABEL_RULE_NAME, PARENTHESISED_LABELS_RULE_NAME } from "../ruleNames";
 
 export default class HeaderNode extends NonTerminalNode {
-  getParenthesisedLabelsNode() {
-    const ruleName = PARENTHESISED_LABELS_RULE_NAME,
-          parenthesisedLabelsNode = this.getNodeByRuleName(ruleName);
-
-    return parenthesisedLabelsNode;
-  }
-
-  getParenthesisedLabelNode() {
-    const ruleName = PARENTHESISED_LABEL_RULE_NAME,
-          parenthesisedLabelsNode = this.getNodeByRuleName(ruleName);
-
-    return parenthesisedLabelsNode;
-  }
-
-  getSignatureNode() {
-    const ruleName = SIGNATURE_RULE_NAME,
-          signatureNode = this.getNodeByRuleName(ruleName);
-
-    return signatureNode;
-  }
-
   getLabelNodes() {
     let labelNodes = [];
 
@@ -50,5 +29,26 @@ export default class HeaderNode extends NonTerminalNode {
     return labelNode;
   }
 
+  getSignatureNode() {
+    const ruleName = SIGNATURE_RULE_NAME,
+          signatureNode = this.getNodeByRuleName(ruleName);
+
+    return signatureNode;
+  }
+
+  getParenthesisedLabelNode() {
+    const ruleName = PARENTHESISED_LABEL_RULE_NAME,
+          parenthesisedLabelsNode = this.getNodeByRuleName(ruleName);
+
+    return parenthesisedLabelsNode;
+  }
+
+  getParenthesisedLabelsNode() {
+    const ruleName = PARENTHESISED_LABELS_RULE_NAME,
+          parenthesisedLabelsNode = this.getNodeByRuleName(ruleName);
+
+    return parenthesisedLabelsNode;
+  }
+
   static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence); }
 }

package/src/node/metaLemmaMetaTheorem.js

@@ -11,14 +11,6 @@ export default class MetaLemmaMetaTheoremNode extends NonTerminalNode {
     return axiomBodyNode;
   }
 
-  getHeaderNode() {
-    const { headerRuleName } = this.constructor,
-          ruleName = headerRuleName,  ///
-          headerNode = this.getNodeByRuleName(ruleName);
-
-    return headerNode;
-  }
-
   getLabelNode() {
     const headerNode = this.getHeaderNode(),
           labelNode = headerNode.getLabelNode();
@@ -26,11 +18,19 @@ export default class MetaLemmaMetaTheoremNode extends NonTerminalNode {
     return labelNode;
   }
 
-  getSuppositionNodes() {
+  getProofNode() {
     const bodyNode = this.getBodyNode(),
-          suppositionNodes = bodyNode.getSuppositionNodes();
+          proofNode = bodyNode.getProofNode();
 
-    return suppositionNodes;
+    return proofNode;
+  }
+
+  getHeaderNode() {
+    const { headerRuleName } = this.constructor,
+          ruleName = headerRuleName,  ///
+          headerNode = this.getNodeByRuleName(ruleName);
+
+    return headerNode;
   }
 
   getDeductionNode() {
@@ -40,11 +40,11 @@ export default class MetaLemmaMetaTheoremNode extends NonTerminalNode {
     return deductionNode;
   }
 
-  getProofNode() {
+  getSuppositionNodes() {
     const bodyNode = this.getBodyNode(),
-          proofNode = bodyNode.getProofNode();
+          suppositionNodes = bodyNode.getSuppositionNodes();
 
-    return proofNode;
+    return suppositionNodes;
   }
 
   static fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(Class, ruleName, childNodes, opacity, precedence); }

package/src/node/metavariable.js

@@ -5,20 +5,6 @@ import NonTerminalNode from "../nonTerminalNode";
 import { TERM_RULE_NAME, TYPE_RULE_NAME } from "../ruleNames";
 
 export default class MetavariableNode extends NonTerminalNode {
-  getTermNode() {
-    const ruleName = TERM_RULE_NAME,
-          termNode = this.getNodeByRuleName(ruleName);
-
-    return termNode;
-  }
-
-  getTypeNode() {
-    const ruleName = TYPE_RULE_NAME,
-          typeNode = this.getNodeByRuleName(ruleName);
-
-    return typeNode;
-  }
-
   getMetavariableName() {
     let metaVariableName;
 
@@ -38,5 +24,19 @@ export default class MetavariableNode extends NonTerminalNode {
     return metaVariableName;
   }
 
+  getTermNode() {
+    const ruleName = TERM_RULE_NAME,
+          termNode = this.getNodeByRuleName(ruleName);
+
+    return termNode;
+  }
+
+  getTypeNode() {
+    const ruleName = TYPE_RULE_NAME,
+          typeNode = this.getNodeByRuleName(ruleName);
+
+    return typeNode;
+  }
+
   static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(MetavariableNode, ruleName, childNodes, opacity, precedence); }
 }