blob: 5c46551564c3a5f12869c7ed7d41a6415893aea6 [file] [log] [blame]
/*
* [The "BSD licence"]
* Copyright (c) 2005-2008 Terence Parr
* All rights reserved.
*
* Conversion to C#:
* Copyright (c) 2008-2009 Sam Harwell, Pixel Mine, Inc.
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
* 3. The name of the author may not be used to endorse or promote products
* derived from this software without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
namespace Antlr.Runtime {
using Encoding = System.Text.Encoding;
using Stream = System.IO.Stream;
using StreamReader = System.IO.StreamReader;
/** <summary>
* A kind of ReaderStream that pulls from an InputStream.
* Useful for reading from stdin and specifying file encodings etc...
* </summary>
*/
[System.Serializable]
public class ANTLRInputStream : ANTLRReaderStream {
public ANTLRInputStream(Stream input)
: this(input, null) {
}
public ANTLRInputStream(Stream input, int size)
: this(input, size, null) {
}
public ANTLRInputStream(Stream input, Encoding encoding)
: this(input, InitialBufferSize, encoding) {
}
public ANTLRInputStream(Stream input, int size, Encoding encoding)
: this(input, size, ReadBufferSize, encoding) {
}
public ANTLRInputStream(Stream input, int size, int readBufferSize, Encoding encoding)
: base(GetStreamReader(input, encoding), size, readBufferSize) {
}
private static StreamReader GetStreamReader(Stream input, Encoding encoding) {
if (encoding != null)
return new StreamReader(input, encoding);
return new StreamReader(input);
}
}
}