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 and Description
StreamProvider(InputStream stream, Charset charset)
StreamProvider(InputStream stream, String charsetName) Deprecated.
StreamProvider(Reader reader)

Method Summary

Modifier and Type	Method and Description
void	close()
int	read(char[] aDest, int nOfs, int nLen) Reads characters into an array

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 interface Provider

Parameters:

aDest - Destination buffer

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 if all read

Throws:

IOException - if reading fails

close

public void close()
           throws IOException

Specified by:

close in interface Closeable

Specified by:

close in interface AutoCloseable

Throws:

IOException