1/*
2 * [The "BSD licence"]
3 * Copyright (c) 2005-2008 Terence Parr
4 * All rights reserved.
5 *
6 * Conversion to C#:
7 * Copyright (c) 2008-2009 Sam Harwell, Pixel Mine, Inc.
8 * All rights reserved.
9 *
10 * Redistribution and use in source and binary forms, with or without
11 * modification, are permitted provided that the following conditions
12 * are met:
13 * 1. Redistributions of source code must retain the above copyright
14 *    notice, this list of conditions and the following disclaimer.
15 * 2. Redistributions in binary form must reproduce the above copyright
16 *    notice, this list of conditions and the following disclaimer in the
17 *    documentation and/or other materials provided with the distribution.
18 * 3. The name of the author may not be used to endorse or promote products
19 *    derived from this software without specific prior written permission.
20 *
21 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
22 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
23 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
24 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
25 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
26 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
27 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
28 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
29 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
30 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
31 */
32
33namespace Antlr.Runtime {
34    using Encoding = System.Text.Encoding;
35    using Stream = System.IO.Stream;
36    using StreamReader = System.IO.StreamReader;
37
38    /** <summary>
39     *  A kind of ReaderStream that pulls from an InputStream.
40     *  Useful for reading from stdin and specifying file encodings etc...
41     *  </summary>
42     */
43    [System.Serializable]
44    public class ANTLRInputStream : ANTLRReaderStream {
45        public ANTLRInputStream(Stream input)
46            : this(input, null) {
47        }
48
49        public ANTLRInputStream(Stream input, int size)
50            : this(input, size, null) {
51        }
52
53        public ANTLRInputStream(Stream input, Encoding encoding)
54            : this(input, InitialBufferSize, encoding) {
55        }
56
57        public ANTLRInputStream(Stream input, int size, Encoding encoding)
58            : this(input, size, ReadBufferSize, encoding) {
59        }
60
61        public ANTLRInputStream(Stream input, int size, int readBufferSize, Encoding encoding)
62            : base(GetStreamReader(input, encoding), size, readBufferSize) {
63        }
64
65        private static StreamReader GetStreamReader(Stream input, Encoding encoding) {
66            if (encoding != null)
67                return new StreamReader(input, encoding);
68            return new StreamReader(input);
69        }
70    }
71}
72