wyil.io

Interface ModuleReader

public interface ModuleReader

A module reader is responsible for physically reading information about a given module. Distinct module readers will be needed for different underlying implementations of Whiley. For example, on the JVM, we might want an instance which reads module information directly from a JVM classfile.

Author:

David J. Pearce

Method Summary

Modifier and Type	Method and Description
WyilFile	read(wyfs.lang.Path.ID module, InputStream input) Read a given given module from an input stream.

Method Detail

read

WyilFile read(wyfs.lang.Path.ID module,
              InputStream input)
       throws IOException

Read a given given module from an input stream.

Parameters:

module - --- the identifier of the module being read.

input - --- an input stream containing the contents of the module to be read.

Returns:

Throws:

IOException