/** * Sets the {@code _pattern} child of this {@link ACaseAlternative} node. * @param value the new {@code _pattern} child of this {@link ACaseAlternative} node */ public void setPattern(PPattern value) { if (this._pattern != null) { this._pattern.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._pattern = value; }
/** * Sets the {@code _lhsPattern} child of this {@link PRelationBase} node. * @param value the new {@code _lhsPattern} child of this {@link PRelationBase} node */ public void setLhsPattern(PPattern value) { if (this._lhsPattern != null) { this._lhsPattern.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._lhsPattern = value; }
/** * Sets the {@code _pattern} child of this {@link AForAllStm} node. * @param value the new {@code _pattern} child of this {@link AForAllStm} node */ public void setPattern(PPattern value) { if (this._pattern != null) { this._pattern.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._pattern = value; }
/** * Sets the {@code _pattern} child of this {@link ANamePatternPair} node. * @param value the new {@code _pattern} child of this {@link ANamePatternPair} node */ public void setPattern(PPattern value) { if (this._pattern != null) { this._pattern.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._pattern = value; }
/** * Sets the {@code _left} child of this {@link AUnionPattern} node. * @param value the new {@code _left} child of this {@link AUnionPattern} node */ public void setLeft(PPattern value) { if (this._left != null) { this._left.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._left = value; }
/** * Sets the {@code _pattern} child of this {@link ACaseAlternativeStm} node. * @param value the new {@code _pattern} child of this {@link ACaseAlternativeStm} node */ public void setPattern(PPattern value) { if (this._pattern != null) { this._pattern.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._pattern = value; }
/** * Sets the {@code _pattern} child of this {@link ADefPatternBind} node. * @param value the new {@code _pattern} child of this {@link ADefPatternBind} node */ public void setPattern(PPattern value) { if (this._pattern != null) { this._pattern.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._pattern = value; }
/** * Sets the {@code _invPattern} child of this {@link AStateDefinition} node. * @param value the new {@code _invPattern} child of this {@link AStateDefinition} node */ public void setInvPattern(PPattern value) { if (this._invPattern != null) { this._invPattern.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._invPattern = value; }
/** * Sets the {@code _pattern} child of this {@link AValueDefinition} node. * @param value the new {@code _pattern} child of this {@link AValueDefinition} node */ public void setPattern(PPattern value) { if (this._pattern != null) { this._pattern.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._pattern = value; }
/** * Sets the {@code _right} child of this {@link AConcatenationPattern} node. * @param value the new {@code _right} child of this {@link AConcatenationPattern} node */ public void setRight(PPattern value) { if (this._right != null) { this._right.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._right = value; }
/** * Sets the {@code _to} child of this {@link AMapletPatternMaplet} node. * @param value the new {@code _to} child of this {@link AMapletPatternMaplet} node */ public void setTo(PPattern value) { if (this._to != null) { this._to.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._to = value; }
/** * Sets the {@code _right} child of this {@link AUnionPattern} node. * @param value the new {@code _right} child of this {@link AUnionPattern} node */ public void setRight(PPattern value) { if (this._right != null) { this._right.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._right = value; }
/** * Sets the {@code _left} child of this {@link AMapUnionPattern} node. * @param value the new {@code _left} child of this {@link AMapUnionPattern} node */ public void setLeft(PPattern value) { if (this._left != null) { this._left.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._left = value; }
/** * Sets the {@code _right} child of this {@link AMapUnionPattern} node. * @param value the new {@code _right} child of this {@link AMapUnionPattern} node */ public void setRight(PPattern value) { if (this._right != null) { this._right.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._right = value; }
/** * Sets the {@code _invPattern} child of this {@link ATypeDefinition} node. * @param value the new {@code _invPattern} child of this {@link ATypeDefinition} node */ public void setInvPattern(PPattern value) { if (this._invPattern != null) { this._invPattern.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._invPattern = value; }
/** * Sets the {@code _pattern} child of this {@link AEqualsDefinition} node. * @param value the new {@code _pattern} child of this {@link AEqualsDefinition} node */ public void setPattern(PPattern value) { if (this._pattern != null) { this._pattern.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._pattern = value; }
/** * Sets the {@code _rhsPattern} child of this {@link PRelationBase} node. * @param value the new {@code _rhsPattern} child of this {@link PRelationBase} node */ public void setRhsPattern(PPattern value) { if (this._rhsPattern != null) { this._rhsPattern.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._rhsPattern = value; }
/** * Sets the {@code _initPattern} child of this {@link AStateDefinition} node. * @param value the new {@code _initPattern} child of this {@link AStateDefinition} node */ public void setInitPattern(PPattern value) { if (this._initPattern != null) { this._initPattern.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._initPattern = value; }
/** * Sets the {@code _left} child of this {@link AConcatenationPattern} node. * @param value the new {@code _left} child of this {@link AConcatenationPattern} node */ public void setLeft(PPattern value) { if (this._left != null) { this._left.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._left = value; }