org.dhallj.parser.support

Class StreamProvider

java.lang.Object

org.dhallj.parser.support.StreamProvider

All Implemented Interfaces:

Provider

public class StreamProvider
extends java.lang.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(java.io.InputStream stream)
StreamProvider(java.io.InputStream stream, java.lang.String charsetName)
StreamProvider(java.io.Reader reader)

Method Summary

Modifier and Type	Method and Description
void	close() Closes the stream and releases any system resources associated with it.
int	read(char[] buffer, int off, int len) 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

public StreamProvider(java.io.Reader reader)

StreamProvider

public StreamProvider(java.io.InputStream stream)
               throws java.io.IOException

Throws:

java.io.IOException

StreamProvider

public StreamProvider(java.io.InputStream stream,
                      java.lang.String charsetName)
               throws java.io.IOException

Throws:

java.io.IOException

Method Detail

read

public int read(char[] buffer,
                int off,
                int len)
         throws java.io.IOException

Description copied from interface: Provider

Reads characters into an array

Specified by:

read in interface Provider

Parameters:

buffer - Destination buffer

off - Offset at which to start storing characters

Returns:

The number of characters read, or -1 if all read

Throws:

java.io.IOException

close

public void close()
           throws java.io.IOException

Description copied from interface: Provider

Closes the stream and releases any system resources associated with it.

Specified by:

close in interface Provider

Throws:

java.io.IOException