/** * Sets the {@code _def} child of this {@link ARenamedDeclIR} node. * @param value the new {@code _def} child of this {@link ARenamedDeclIR} node */ public void setDef(SDeclIR value) { if (this._def != null) { this._def.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._def = value; }
/** * Sets the {@code _invariant} child of this {@link ARecordDeclIR} node. * @param value the new {@code _invariant} child of this {@link ARecordDeclIR} node */ public void setInvariant(SDeclIR value) { if (this._invariant != null) { this._invariant.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._invariant = value; }
/** * Sets the {@code _inv} child of this {@link ATypeDeclIR} node. * @param value the new {@code _inv} child of this {@link ATypeDeclIR} node */ public void setInv(SDeclIR value) { if (this._inv != null) { this._inv.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._inv = value; }
/** * Sets the {@code _decl} child of this {@link ATypeDeclIR} node. * @param value the new {@code _decl} child of this {@link ATypeDeclIR} node */ public void setDecl(SDeclIR value) { if (this._decl != null) { this._decl.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._decl = value; }
/** * Sets the {@code _invariant} child of this {@link SClassDeclBase} node. * @param value the new {@code _invariant} child of this {@link SClassDeclBase} node */ public void setInvariant(SDeclIR value) { if (this._invariant != null) { this._invariant.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._invariant = value; }
/** * Sets the {@code _def} child of this {@link AThreadDeclIR} node. * @param value the new {@code _def} child of this {@link AThreadDeclIR} node */ public void setDef(SDeclIR value) { if (this._def != null) { this._def.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._def = value; }