public virtual void SetReadonly(bool @readonly) { if (this.@readonly && !@readonly) { throw new InvalidOperationException("can't alter readonly IntervalSet"); } this.@readonly = @readonly; }
static IntervalSet() { CompleteCharSet.SetReadonly(true); EmptySet.SetReadonly(true); }