public TextReader GetTextReader() { PullingReader pr = new PullingReader ( new PullingReader.Pull (PullText), new PullingReader.DoClose (Close)); return pr; }