private static void CheckOptions(TextReaderRocksOptions options) { if (options != TextReaderRocksOptions.None && options != TextReaderRocksOptions.CloseReader) throw new ArgumentException ("options", "Invalid `options' value."); }