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