occam-verify-cli 1.0.984 → 1.0.986

package/src/node/assumption/metaLevel.js

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

package/src/node/assumption.js

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

package/src/node/body/axiom.js

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

package/src/node/body/conjecture.js

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

package/src/node/body/lemma.js

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

package/src/node/body/metaLemma.js

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

package/src/node/body/metatheorem.js

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

package/src/node/body/rule.js

@@ -1,42 +0,0 @@
-"use strict";
-
-import BodyNode from "../../node/body";
-
-import { PROOF_RULE_NAME, PREMISE_RULE_NAME, CONCLUSION_RULE_NAME } from "../../ruleNames";
-
-export default class RuleBodyNode extends BodyNode {
-  getProofNode() {
-    const ruleName = PROOF_RULE_NAME,
-          proofNode = this.getNodeByRuleName(ruleName);
-
-    return proofNode;
-  }
-
-  getPremiseNodes() {
-    const ruleName = PREMISE_RULE_NAME,
-          premiseNodes = this.getNodesByRuleName(ruleName);
-
-    return premiseNodes;
-  }
-
-  getConclusionNode() {
-    const ruleName = CONCLUSION_RULE_NAME,
-          conclusionNode = this.getNodeByRuleName(ruleName);
-
-    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

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

package/src/node/body.js

@@ -1,30 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-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

@@ -1,16 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-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/conclusion.js

@@ -1,23 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { NONSENSE_RULE_NAME, STATEMENT_RULE_NAME } from "../ruleNames";
-
-export default class ConclusionNode 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(ConclusionNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/constructor.js

@@ -1,16 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-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

@@ -1,16 +0,0 @@
-"use strict";
-
-import DeclarationNode from "../../node/declaration";
-
-import { COMBINATOR_RULE_NAME } from "../../ruleNames";
-
-export default class ContainedDeclarationNode extends DeclarationNode {
-  getCombinatorNode() {
-    const ruleName = COMBINATOR_RULE_NAME,
-          combinatorNode = this.getNodeByRuleName(ruleName);
-
-    return combinatorNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return DeclarationNode.fromRuleNameChildNodesOpacityAndPrecedence(ContainedDeclarationNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/declaration/complexType.js

@@ -1,88 +0,0 @@
-"use strict";
-
-import DeclarationNode from "../../node/declaration";
-
-import { PROVISIONAL } from "../../constants";
-import { TYPE_RULE_NAME, TYPES_RULE_NAME, PROPERTY_DECLARATION_RULE_NAME } from "../../ruleNames";
-
-export default class ComplexTypeDeclarationNode extends DeclarationNode {
-  isProvisional() {
-    let provisional = false;
-
-    this.someChildNode((childNode) => {
-      const childNodeTerminalNode = childNode.isTerminalNode();
-
-      if (childNodeTerminalNode) {
-        const terminalNode = childNode,
-              content = terminalNode.getContent(),
-              contentProvisional = (content === PROVISIONAL);
-
-        if (contentProvisional) {
-          provisional = true;
-
-          return true;
-        }
-      }
-    });
-
-    return provisional;
-  }
-
-  getTypeName() {
-    const typeNode = this.getTypeNode(),
-          typeName = typeNode.getTypeName();
-
-    return typeName;
-  }
-
-  getTypeNode() {
-    const ruleName = TYPE_RULE_NAME,
-          typeNode = this.getNodeByRuleName(ruleName);
-
-    return typeNode;
-  }
-
-  getTypesNode() {
-    const ruleName = TYPES_RULE_NAME,
-          typesNode = this.getNodeByRuleName(ruleName);
-
-    return typesNode;
-  }
-
-  getSuperTypeNodes() {
-    let superTypeNodes = [];
-
-    const typesNode = this.getTypesNode();
-
-    if (typesNode !== null) {
-      const typeNodes = typesNode.getTypeNodes();
-
-      superTypeNodes = typeNodes; ///
-    }
-
-    return superTypeNodes;
-  }
-
-  getTypePrefixName() {
-    const typeNode = this.getTypeNode(),
-          typePrefixName = typeNode.getTypePrefixName();
-
-    return typePrefixName;
-  }
-
-  getNominalTypeName() {
-    const typeNode = this.getTypeNode(),
-          nominalTypeName = typeNode.getNominalTypeName();
-
-    return nominalTypeName;
-  }
-
-  getPropertyDeclarationNodes() {
-    const ruleName = PROPERTY_DECLARATION_RULE_NAME,
-          propertyDeclarationNodes = this.getNodesByRuleName(ruleName);
-
-    return propertyDeclarationNodes;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return DeclarationNode.fromRuleNameChildNodesOpacityAndPrecedence(ComplexTypeDeclarationNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/declaration/constructor.js

@@ -1,46 +0,0 @@
-"use strict";
-
-import DeclarationNode from "../../node/declaration";
-
-import { PROVISIONALLY } from "../../constants";
-import { CONSTRUCTOR_RULE_NAME, TYPE_RULE_NAME } from "../../ruleNames";
-
-export default class ConstructorDeclarationNode extends DeclarationNode {
-  isProvisional() {
-    let provisional = false;
-
-    this.someChildNode((childNode) => {
-      const childNodeTerminalNode = childNode.isTerminalNode();
-
-      if (childNodeTerminalNode) {
-        const terminalNode = childNode,
-              content = terminalNode.getContent(),
-              contentProvisionally = (content === PROVISIONALLY);
-
-        if (contentProvisionally) {
-          provisional = true;
-
-          return true;
-        }
-      }
-    });
-
-    return provisional;
-  }
-
-  getTypeNode() {
-    const ruleName = TYPE_RULE_NAME,
-          typeNode = this.getNodeByRuleName(ruleName);
-
-    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/metavariable.js

@@ -1,30 +0,0 @@
-"use strict";
-
-import DeclarationNode from "../../node/declaration";
-
-import { META_TYPE_RULE_NAME, METAVARIABLE_RULE_NAME } from "../../ruleNames";
-
-export default class MetavariableDeclarationNode extends DeclarationNode {
-  getMetaTypeName() {
-    const metaTypeNode = this.getMetaTypeNode(),
-          metaTypeName = metaTypeNode.getMetaTypeName();
-
-    return metaTypeName;
-  }
-
-  getMetaTypeNode() {
-    const ruleName = META_TYPE_RULE_NAME,
-          metaTypeNode = this.getNodeByRuleName(ruleName);
-
-    return metaTypeNode
-  }
-
-  getMetavariableNode() {
-    const ruleName = METAVARIABLE_RULE_NAME,
-          metavariableNode = this.getNodeByRuleName(ruleName);
-
-    return metavariableNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return DeclarationNode.fromRuleNameChildNodesOpacityAndPrecedence(MetavariableDeclarationNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/declaration/property.js

@@ -1,42 +0,0 @@
-"use strict";
-
-import DeclarationNode from "../../node/declaration";
-
-import { TYPE_RULE_NAME, PROPERTY_RULE_NAME } from "../../ruleNames";
-
-export default class PropertyDeclarationNode extends DeclarationNode {
-  getPropertyName() {
-    const propertyNode = this.getPropertyNode(),
-          propertyName = propertyNode.getPropertyName();
-
-    return propertyName;
-  }
-
-  getNominalTypeName() {
-    let nominalTypeName = null;
-
-    const typeNode = this.getTypeNode();
-
-    if (typeNode !== null) {
-      nominalTypeName = typeNode.getNominalTypeName();
-    }
-
-    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

@@ -1,87 +0,0 @@
-"use strict";
-
-import DeclarationNode from "../../node/declaration";
-
-import { PROVISIONAL } from "../../constants";
-import { TYPE_RULE_NAME, TYPES_RULE_NAME } from "../../ruleNames";
-
-export default class SimpleTypeDeclarationNode extends DeclarationNode {
-  isProvisional() {
-    let provisional = false;
-
-    this.someChildNode((childNode) => {
-      const childNodeTerminalNode = childNode.isTerminalNode();
-
-      if (childNodeTerminalNode) {
-        const terminalNode = childNode,
-              content = terminalNode.getContent(),
-              contentProvisional = (content === PROVISIONAL);
-
-        if (contentProvisional) {
-          provisional = true;
-
-          return true;
-        }
-      }
-    });
-
-    return provisional;
-  }
-
-  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;
-  }
-
-  getTypeName() {
-    let typeName = null;
-
-    const typeNode = this.getTypeNode();
-
-    if (typeNode !== null) {
-      typeName = typeNode.getTypeName();
-    }
-
-    return typeName;
-  }
-
-  getTypeNode() {
-    const ruleName = TYPE_RULE_NAME,
-          typeNode = this.getNodeByRuleName(ruleName);
-
-    return typeNode;
-  }
-
-  getTypesNode() {
-    const ruleName = TYPES_RULE_NAME,
-          typesNode = this.getNodeByRuleName(ruleName);
-
-    return typesNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return DeclarationNode.fromRuleNameChildNodesOpacityAndPrecedence(SimpleTypeDeclarationNode, ruleName, childNodes, opacity, precedence); }
-}
-

package/src/node/declaration/typePrefix.js

@@ -1,24 +0,0 @@
-"use strict";
-
-import DeclarationNode from "../../node/declaration";
-
-import { TYPE_PREFIX_RULE_NAME } from "../../ruleNames";
-
-export default class TypePrefixDeclarationNode extends DeclarationNode {
-  getTypePrefix() {
-    const typePrefixNode = this.getTypePrefixNode(),
-          typePrefixName = typePrefixNode.getTypePrefixName();
-
-    return typePrefixName;
-  }
-
-  getTypePrefixNode() {
-    const ruleName = TYPE_PREFIX_RULE_NAME,
-          typePrefixNode = this.getNodeByRuleName(ruleName);
-
-    return typePrefixNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return DeclarationNode.fromRuleNameChildNodesOpacityAndPrecedence(TypePrefixDeclarationNode, ruleName, childNodes, opacity, precedence); }
-}
-

package/src/node/declaration/variable.js

@@ -1,53 +0,0 @@
-"use strict";
-
-import DeclarationNode from "../../node/declaration";
-
-import { PROVISIONALLY } from "../../constants";
-import { TYPE_RULE_NAME, VARIABLE_RULE_NAME } from "../../ruleNames";
-
-export default class VariableDeclarationNode extends DeclarationNode {
-  isProvisional() {
-    let provisional = false;
-
-    this.someChildNode((childNode) => {
-      const childNodeTerminalNode = childNode.isTerminalNode();
-
-      if (childNodeTerminalNode) {
-        const terminalNode = childNode, ///
-              content = terminalNode.getContent(),
-              contentProvisionally = (content === PROVISIONALLY);
-
-        if (contentProvisionally) {
-          provisional = true;
-
-          return true;
-        }
-      }
-    });
-
-    return provisional;
-  }
-
-  getVariableIdentifier() {
-    const variableNode = this.getVariableNode(),
-          variableIdentifier = variableNode.getVariableIdentifier();
-
-    return variableIdentifier;
-  }
-
-  getTypeNode() {
-    const ruleName = TYPE_RULE_NAME,
-          typeNode = this.getNodeByRuleName(ruleName);
-
-    return typeNode;
-  }
-
-  getVariableNode() {
-    const ruleName = VARIABLE_RULE_NAME,
-          variableNode = this.getNodeByRuleName(ruleName);
-
-    return variableNode;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return DeclarationNode.fromRuleNameChildNodesOpacityAndPrecedence(VariableDeclarationNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/declaration.js

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

package/src/node/deduction.js

@@ -1,23 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { NONSENSE_RULE_NAME, STATEMENT_RULE_NAME } from "../ruleNames";
-
-export default class DeductionNode 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(DeductionNode, ruleName, childNodes, opacity, precedence); }
-}

package/src/node/derivation.js

@@ -1,19 +0,0 @@
-"use strict";
-
-import { NonTerminalNode } from "occam-languages";
-
-import { STEP_RULE_NAME, SUBPROOF_RULE_NAME } from "../ruleNames";
-
-export default class DerivationNode extends NonTerminalNode {
-  getStepOrSubproofNodes() {
-    const ruleNames = [
-            STEP_RULE_NAME,
-            SUBPROOF_RULE_NAME,
-          ],
-          stepOrSubproofNodes = this.getNodesByRuleName(...ruleNames);
-
-    return stepOrSubproofNodes;
-  }
-
-  static fromRuleNameChildNodesOpacityAndPrecedence(ruleName, childNodes, opacity, precedence) { return NonTerminalNode.fromRuleNameChildNodesOpacityAndPrecedence(DerivationNode, ruleName, childNodes, opacity, precedence); }
-}