org.dhallj.parser.support

Interface Provider

All Known Implementing Classes:

StreamProvider, StringProvider

public interface Provider

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 offset, int len) Reads characters into an array

Method Detail

read

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

Reads characters into an array

Parameters:

buffer - Destination buffer

offset - Offset at which to start storing characters

length - The maximum possible number of characters to read

Returns:

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

Throws:

java.io.IOException

close

void close()
    throws java.io.IOException

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

Throws:

java.io.IOException