public WktStreamTokenizer(TextReader reader) : base(reader, true) { if (reader == null) { throw new ArgumentNullException("reader"); } } #endregion