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); }