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{
35    using Encoding = System.Text.Encoding;
36    using Stream = System.IO.Stream;
37    using StreamReader = System.IO.StreamReader;
38
39    /** <summary>
40     *  A kind of ReaderStream that pulls from an InputStream.
41     *  Useful for reading from stdin and specifying file encodings etc...
42     *  </summary>
43     */
44    [System.Serializable]
45    public class ANTLRInputStream : ANTLRReaderStream
46    {
47        public ANTLRInputStream( Stream input )
48            : this( input, null )
49        {
50        }
51
52        public ANTLRInputStream( Stream input, int size )
53            : this( input, size, null )
54        {
55        }
56
57        public ANTLRInputStream( Stream input, Encoding encoding )
58            : this( input, InitialBufferSize, encoding )
59        {
60        }
61
62        public ANTLRInputStream( Stream input, int size, Encoding encoding )
63            : this( input, size, ReadBufferSize, encoding )
64        {
65        }
66
67        public ANTLRInputStream( Stream input, int size, int readBufferSize, Encoding encoding )
68            : base(GetStreamReader(input, encoding), size, readBufferSize)
69        {
70        }
71
72        private static StreamReader GetStreamReader(Stream input, Encoding encoding)
73        {
74            if (encoding != null)
75                return new StreamReader(input, encoding);
76            return new StreamReader(input);
77        }
78    }
79}
80