/** * Sets the {@code _sentinelType} child of this {@link AHistoryExpIR} node. * @param value the new {@code _sentinelType} child of this {@link AHistoryExpIR} node */ public void setSentinelType(AClassTypeIR value) { if (this._sentinelType != null) { this._sentinelType.parent(null); } if (value != null) { if (value.parent() != null) { value.parent().removeChild(value); } value.parent(this); } this._sentinelType = value; }