1 | /* Generated by: ParserGeneratorCC: Do not edit this line. Provider.java Version 1.1 */ |
---|---|
2 | /* ParserGeneratorCCOptions:KEEP_LINE_COLUMN=true */ |
3 | /* |
4 | * Copyright (C) 2007-2010 JĂșlio Vilmar Gesser. |
5 | * Copyright (C) 2011, 2013-2020 The JavaParser Team. |
6 | * |
7 | * This file is part of JavaParser. |
8 | * |
9 | * JavaParser can be used either under the terms of |
10 | * a) the GNU Lesser General Public License as published by |
11 | * the Free Software Foundation, either version 3 of the License, or |
12 | * (at your option) any later version. |
13 | * b) the terms of the Apache License |
14 | * |
15 | * You should have received a copy of both licenses in LICENCE.LGPL and |
16 | * LICENCE.APACHE. Please refer to those files for details. |
17 | * |
18 | * JavaParser is distributed in the hope that it will be useful, |
19 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
20 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
21 | * GNU Lesser General Public License for more details. |
22 | */ |
23 | package com.github.javaparser; |
24 | |
25 | import java.io.IOException; |
26 | |
27 | /** |
28 | * Abstract interface for reading from a stream. |
29 | * The buffering should be done internally. |
30 | */ |
31 | public interface Provider extends java.io.Closeable |
32 | { |
33 | /** |
34 | * Reads characters into an array |
35 | * |
36 | * @param aDest Destination buffer. May not be <code>null</code>. |
37 | * @param nOfs Offset at which to start storing characters. Must be ≥ 0. |
38 | * @param nLen The maximum possible number of characters to read. Must be ≥ 0. |
39 | * @return The number of characters read, or -1 at the end of the stream |
40 | * @exception IOException if reading fails |
41 | */ |
42 | int read (char [] aDest, int nOfs, int nLen) throws IOException; |
43 | } |
44 | |
45 | /* ParserGeneratorCC - OriginalChecksum=92db66a1c25c2e482aec30c2c873d2a8 (do not edit this line) */ |
46 |
Members