occam-verify-cli 1.0.984 → 1.0.985

package/src/node/document.js

@@ -1,7 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-export default class DocumentNode extends NonTerminalNode {
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(DocumentNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/equality.js

@@ -1,35 +0,0 @@
-"use strict";
-
-import { arrayUtilities } from "necessary";
-import { NonTerminalNode } from "occam-languages";
-
-import { TERM_RULE_NAME } from "../ruleNames";
-
-const { first, last } = arrayUtilities;
-
-export default class EqualityNode extends NonTerminalNode {
-  getLeftTermNode() {
-    const termNodes = this.getTermNodes(),
-          firstTermNode = first(termNodes),
-          leftTermNode = firstTermNode; ///
-
-    return leftTermNode;
-  }
-
-  getRightTermNode() {
-    const termNodes = this.getTermNodes(),
-          firstTermNode = last(termNodes),
-          rightTermNode = firstTermNode; ///
-
-    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/equivalence.js

@@ -1,16 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { TERM_RULE_NAME } from "../ruleNames";
-
-export default class EquivalenceNode extends NonTerminalNode {
-  getTermNodes() {
-    const ruleName = TERM_RULE_NAME,
-          termNodes = this.getNodesByRuleName(ruleName);
-
-    return termNodes;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(EquivalenceNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/equivalences.js

@@ -1,7 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-export default class EquivalencesNode extends NonTerminalNode {
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(EquivalencesNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/error.js

@@ -1,7 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-export default class ErrorNode extends NonTerminalNode {
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ErrorNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/frame.js

@@ -1,40 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { ASSUMPTION_RULE_NAME, METAVARIABLE_RULE_NAME } from "../ruleNames";
-
-export default class FrameNode extends NonTerminalNode {
-  isSingular() {
-    let singular = false;
-
-    const metavariableNode = this.getMetavariableNode();
-
-    if (metavariableNode !== null) {
-      const assumptionNodes = this.getAssumptionNodes(),
-            assumptionNodesLength = assumptionNodes.length;
-
-      if (assumptionNodesLength === 0) {
-        singular = true;
-      }
-    }
-
-    return singular;
-  }
-
-  getAssumptionNodes() {
-    const ruleName = ASSUMPTION_RULE_NAME,
-          declarationNodes = this.getNodesByRuleName(ruleName);
-
-    return declarationNodes;
-  }
-
-  getMetavariableNode() {
-    const ruleName = METAVARIABLE_RULE_NAME,
-          metavariableNode = this.getNodeByRuleName(ruleName);
-
-    return metavariableNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(FrameNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/header/axiom.js

@@ -1,16 +0,0 @@
-"use strict";
-
-import HeaderNode from "../../node/header";
-
-import { SIGNATURE_RULE_NAME } from "../../ruleNames";
-
-export default class AxiomHeaderNode extends HeaderNode {
-  getSignatureNode() {
-    const ruleName = SIGNATURE_RULE_NAME,
-          signatureNode = this.getNodeByRuleName(ruleName);
-
-    return signatureNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return HeaderNode.fromRuleNameChildNodesOpacityAndPrecedence(AxiomHeaderNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/header/conjecture.js

@@ -1,7 +0,0 @@
-"use strict";
-
-import HeaderNode from "../../node/header";
-
-export default class ConjectureHeaderNode extends HeaderNode {
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return HeaderNode.fromRuleNameChildNodesOpacityAndPrecedence(ConjectureHeaderNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/header/lemma.js

@@ -1,7 +0,0 @@
-"use strict";
-
-import HeaderNode from "../../node/header";
-
-export default class LemmaHeaderNode extends HeaderNode {
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return HeaderNode.fromRuleNameChildNodesOpacityAndPrecedence(LemmaHeaderNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/header/metaLemma.js

@@ -1,7 +0,0 @@
-"use strict";
-
-import HeaderNode from "../../node/header";
-
-export default class MetaLemmaHeaderNode extends HeaderNode {
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return HeaderNode.fromRuleNameChildNodesOpacityAndPrecedence(MetaLemmaHeaderNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/header/metatheorem.js

@@ -1,7 +0,0 @@
-"use strict";
-
-import HeaderNode from "../../node/header";
-
-export default class MetatheoremHeaderNode extends HeaderNode {
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return HeaderNode.fromRuleNameChildNodesOpacityAndPrecedence(MetatheoremHeaderNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/header/rule.js

@@ -1,7 +0,0 @@
-"use strict";
-
-import HeaderNode from "../../node/header";
-
-export default class RuleHeaderNode extends HeaderNode {
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return HeaderNode.fromRuleNameChildNodesOpacityAndPrecedence(RuleHeaderNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/header/theorem.js

@@ -1,7 +0,0 @@
-"use strict";
-
-import HeaderNode from "../../node/header";
-
-export default class TheoremHeaderNode extends HeaderNode {
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return HeaderNode.fromRuleNameChildNodesOpacityAndPrecedence(TheoremHeaderNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/header.js

@@ -1,54 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { SIGNATURE_RULE_NAME, PARENTHESISED_LABEL_RULE_NAME, PARENTHESISED_LABELS_RULE_NAME } from "../ruleNames";
-
-export default class HeaderNode extends NonTerminalNode {
-  getLabelNodes() {
-    let labelNodes = [];
-
-    const parenthesisedLabelsNode = this.getParenthesisedLabelsNode();
-
-    if (parenthesisedLabelsNode !== null) {
-      labelNodes = parenthesisedLabelsNode.getLabelNodes();
-    }
-
-    return labelNodes;
-  }
-
-  getLabelNode() {
-    let labelNode = [];
-
-    const parenthesisedLabelNode = this.getParenthesisedLabelNode();
-
-    if (parenthesisedLabelNode !== null) {
-      labelNode = parenthesisedLabelNode.getLabelNode();
-    }
-
-    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/hypothesis.js

@@ -1,23 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { NONSENSE_RULE_NAME, STATEMENT_RULE_NAME } from "../ruleNames";
-
-export default class HypothesisNode extends NonTerminalNode {
-  getNonsenseNode() {
-    const ruleName = NONSENSE_RULE_NAME,
-          nonsenseNode = this.getNodeByRuleName(ruleName);
-
-    return nonsenseNode;
-  }
-
-  getStatementNode() {
-    const ruleName = STATEMENT_RULE_NAME,
-          statementNode = this.getNodeByRuleName(ruleName);
-
-    return statementNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(HypothesisNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/judgement.js

@@ -1,30 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { FRAME_RULE_NAME, ASSUMPTION_RULE_NAME } from "../ruleNames";
-
-export default class JudgementNode extends NonTerminalNode {
-  isSingular() {
-    const frameNode = this.getFrameNode(),
-          singular = frameNode.isSingular();
-
-    return singular;
-  }
-
-  getFrameNode() {
-    const ruleName = FRAME_RULE_NAME,
-          frameNode = this.getNodeByRuleName(ruleName);
-
-    return frameNode;
-  }
-
-  getAssumptionNode() {
-    const ruleName = ASSUMPTION_RULE_NAME,
-          assumptionNodes = this.getNodeByRuleName(ruleName);
-
-    return assumptionNodes;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(JudgementNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/label.js

@@ -1,16 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { METAVARIABLE_RULE_NAME } from "../ruleNames";
-
-export default class LabelNode extends NonTerminalNode {
-  getMetavariableNode() {
-    const ruleName = METAVARIABLE_RULE_NAME,
-          metavariableNode = this.getNodeByRuleName(ruleName);
-
-    return metavariableNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(LabelNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/labels.js

@@ -1,16 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { LABEL_RULE_NAME } from "../ruleNames";
-
-export default class LabelsNode extends NonTerminalNode {
-  getLabelNodes() {
-    const ruleName = LABEL_RULE_NAME,
-          labelNodes = this.getNodesByRuleName(ruleName);
-
-    return labelNodes;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(LabelsNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/metaArgument.js

@@ -1,16 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { STATEMENT_RULE_NAME } from "../ruleNames";
-
-export default class MetaArgumentNode extends NonTerminalNode {
-  getSingularStatementNode() {
-    const ruleName = STATEMENT_RULE_NAME,
-          singularStatementNode = this.getNodeByRuleName(ruleName);
-
-    return singularStatementNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(MetaArgumentNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/metaType.js

@@ -1,26 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-export default class MetaTypeNode extends NonTerminalNode {
-  getMetaTypeName() {
-    let metaTypeName;
-
-    this.someChildNode((childNode) => {
-      const childNodeTerminalNode = childNode.isTerminalNode();
-
-      if (childNodeTerminalNode) {
-        const terminalNode = childNode, ///
-              content = terminalNode.getContent();
-
-        metaTypeName = content; ///
-
-        return true;
-      }
-    });
-
-    return metaTypeName;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(MetaTypeNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/metavariable.js

@@ -1,42 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { TERM_RULE_NAME, TYPE_RULE_NAME } from "../ruleNames";
-
-export default class MetavariableNode extends NonTerminalNode {
-  getMetavariableName() {
-    let metavariableName;
-
-    this.someChildNode((childNode) => {
-      const childNodeTerminalNode = childNode.isTerminalNode();
-
-      if (childNodeTerminalNode) {
-        const terminalNode = childNode, ///
-              content = terminalNode.getContent();
-
-        metavariableName = content; ///
-
-        return true;
-      }
-    });
-
-    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); }
-}

package/src/node/parameter.js

@@ -1,51 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { NAME_TOKEN_TYPE, IDENTIFIER_TOKEN_TYPE } from "../tokenTypes";
-
-export default class ParameterNode extends NonTerminalNode {
-  getName() {
-    let name = null;
-
-    this.someChildNode((childNode, index) => {
-      const terminalNode = childNode, ///
-            type = terminalNode.getType();
-
-      if (type === NAME_TOKEN_TYPE) {
-        const content = terminalNode.getContent();
-
-        name = content;  ///
-      }
-
-      if (index === 0) {
-        return true;
-      }
-    });
-
-    return name;
-  }
-
-  getIdentifier() {
-    let identifier = null;
-
-    this.someChildNode((childNode, index) => {
-      const terminalNode = childNode, ///
-            type = terminalNode.getType();
-
-      if (type === IDENTIFIER_TOKEN_TYPE) {
-        const content = terminalNode.getContent();
-
-        identifier = content;  ///
-      }
-
-      if (index === 0) {
-        return true;
-      }
-    });
-
-    return identifier;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ParameterNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/parenthesisedLabel.js

@@ -1,16 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { LABEL_RULE_NAME } from "../ruleNames";
-
-export default class ParenthesisedLabelNode extends NonTerminalNode {
-  getLabelNode() {
-    const ruleName = LABEL_RULE_NAME,
-          labelNode = this.getNodeByRuleName(ruleName);
-
-    return labelNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ParenthesisedLabelNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/parenthesisedLabels.js

@@ -1,23 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { LABELS_RULE_NAME } from "../ruleNames";
-
-export default class ParenthesisedLabelsNode extends NonTerminalNode {
-  getLabelNodes() {
-    const labelsNode = this.getLabelsNode(),
-          labelNodes = labelsNode.getLabelNodes();
-
-    return labelNodes;
-  }
-
-  getLabelsNode() {
-    const ruleName = LABELS_RULE_NAME,
-          labelsNode = this.getNodeByRuleName(ruleName);
-
-    return labelsNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ParenthesisedLabelsNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/placeholder.js

@@ -1,7 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-export default class PlaceholderNode extends NonTerminalNode {
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(PlaceholderNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/procedureCall.js

@@ -1,30 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { PARAMETER_RULE_NAME, PROCEDURE_REFERENCE_RULE_NAME } from "../ruleNames";
-
-export default class ProcedureCallNode extends NonTerminalNode {
-  getProcedureName() {
-    const procedureReferenceNode = this.getProcedureReferenceNode(),
-          procedureName = procedureReferenceNode.getProcedureName();
-
-    return procedureName;
-  }
-
-  getParameterNodes() {
-    const ruleName = PARAMETER_RULE_NAME,
-          parameterNodes = this.getNodesByRuleName(ruleName);
-
-    return parameterNodes;
-  }
-
-  getProcedureReferenceNode() {
-    const ruleName = PROCEDURE_REFERENCE_RULE_NAME,
-          procedureReferenceNode = this.getNodeByRuleName(ruleName);
-
-    return procedureReferenceNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ProcedureCallNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/procedureReference.js

@@ -1,26 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-export default class ProcedureReferenceNode extends NonTerminalNode {
-  getName() {
-    let name;
-
-    this.someChildNode((childNode) => {
-      const childNodeTerminalNode = childNode.isTerminalNode();
-
-      if (childNodeTerminalNode) {
-        const terminalNode = childNode, ///
-              content = terminalNode.getContent();
-
-        name = content; ///
-
-        return true;
-      }
-    });
-
-    return name;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ProcedureReferenceNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/proof.js

@@ -1,16 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { DERIVATION_RULE_NAME } from "../ruleNames";
-
-export default class ProofNode extends NonTerminalNode {
-  getDerivationNode() {
-    const ruleName = DERIVATION_RULE_NAME,
-          derivationNode = this.getNodeByRuleName(ruleName);
-
-    return derivationNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(ProofNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/proofAssertion/premise.js

@@ -1,16 +0,0 @@
-"use strict";
-
-import ProofAssertionNode from "../../node/proofAssertion";
-
-import { PROCEDURE_CALL_RULE_NAME } from "../../ruleNames";
-
-export default class PremiseNode extends ProofAssertionNode {
-  getProcedureCallNode() {
-    const ruleName = PROCEDURE_CALL_RULE_NAME,
-          procedureCallNode = this.getNodeByRuleName(ruleName);
-
-    return procedureCallNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return ProofAssertionNode.fromRuleNameChildNodesOpacityAndPrecedence(PremiseNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/proofAssertion/step.js

@@ -1,52 +0,0 @@
-"use strict";
-
-import ProofAssertionNode from "../../node/proofAssertion";
-
-import { QUALIFICATION_RULE_NAME } from "../../ruleNames";
-
-export default class StepNode extends ProofAssertionNode {
-  isStepNode() {
-    const stepNode = true;
-
-    return stepNode;
-  }
-
-  isSubproofNode() {
-    const subproofNode = false;
-
-    return subproofNode;
-  }
-
-  getReferenceNode() {
-    let referenceNode = null;
-
-    const qualificationNode = this.getQualificationNode();
-
-    if (qualificationNode !== null) {
-      referenceNode = qualificationNode.getReferenceNode();
-    }
-
-    return referenceNode;
-  }
-
-  getSignatureAssertionNode() {
-    let signatureAssertionNode =  null;
-
-    const qualificationNode = this.getQualificationNode();
-
-    if (qualificationNode !== null) {
-      signatureAssertionNode = qualificationNode.getSignatureAssertionNode();
-    }
-
-    return signatureAssertionNode;
-  }
-
-  getQualificationNode() {
-    const ruleName = QUALIFICATION_RULE_NAME,
-          qualificationNode = this.getNodeByRuleName(ruleName);
-
-    return qualificationNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return ProofAssertionNode.fromRuleNameChildNodesOpacityAndPrecedence(StepNode, ruleName, childNodes, opacity, precedence); }
-}