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 33 namespace 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 { ANTLRInputStream( Stream input )47 public ANTLRInputStream( Stream input ) 48 : this( input, null ) 49 { 50 } 51 ANTLRInputStream( Stream input, int size )52 public ANTLRInputStream( Stream input, int size ) 53 : this( input, size, null ) 54 { 55 } 56 ANTLRInputStream( Stream input, Encoding encoding )57 public ANTLRInputStream( Stream input, Encoding encoding ) 58 : this( input, InitialBufferSize, encoding ) 59 { 60 } 61 ANTLRInputStream( Stream input, int size, Encoding encoding )62 public ANTLRInputStream( Stream input, int size, Encoding encoding ) 63 : this( input, size, ReadBufferSize, encoding ) 64 { 65 } 66 ANTLRInputStream( Stream input, int size, int readBufferSize, Encoding encoding )67 public ANTLRInputStream( Stream input, int size, int readBufferSize, Encoding encoding ) 68 : base(GetStreamReader(input, encoding), size, readBufferSize) 69 { 70 } 71 GetStreamReader(Stream input, Encoding encoding)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