Package com.github.javaparser
Class StreamProvider
- java.lang.Object
-
- com.github.javaparser.StreamProvider
-
- All Implemented Interfaces:
Provider
,Closeable
,AutoCloseable
public class StreamProvider extends Object implements Provider
NOTE : This generated class can be safely deleted if installing in a GWT installation (use StringProvider instead)
-
-
Constructor Summary
Constructors Constructor Description StreamProvider(InputStream stream, String charsetName)
Deprecated.StreamProvider(InputStream stream, Charset charset)
StreamProvider(Reader reader)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
close()
int
read(char[] aDest, int nOfs, int nLen)
Reads characters into an array
-
-
-
Constructor Detail
-
StreamProvider
@Deprecated public StreamProvider(InputStream stream, String charsetName) throws IOException
Deprecated.- Throws:
IOException
-
StreamProvider
public StreamProvider(InputStream stream, Charset charset)
-
StreamProvider
public StreamProvider(Reader reader)
-
-
Method Detail
-
read
public int read(char[] aDest, int nOfs, int nLen) throws IOException
Description copied from interface:Provider
Reads characters into an array- Specified by:
read
in interfaceProvider
- Parameters:
aDest
- Destination buffer. May not benull
.nOfs
- Offset at which to start storing characters. Must be ≥ 0.nLen
- The maximum possible number of characters to read. Must be ≥ 0.- Returns:
- The number of characters read, or -1 at the end of the stream
- Throws:
IOException
- if reading fails
-
close
public void close() throws IOException
- Specified by:
close
in interfaceAutoCloseable
- Specified by:
close
in interfaceCloseable
- Throws:
IOException
-
-