org.checkerframework.framework.stub

Interface StubResource

All Known Implementing Classes:

FileStubResource, JarEntryStubResource

public interface StubResource

Contract for sources of stub data.

Method Summary

Modifier and Type	Method and Description
String	getDescription() Returns a user-friendly description of the resource (e.g.
InputStream	getInputStream() Returns a stream for reading the contents of the resource.

Method Detail

getDescription

String getDescription()

Returns a user-friendly description of the resource (e.g. a filesystem path).

getInputStream

InputStream getInputStream()
                    throws IOException

Returns a stream for reading the contents of the resource.

Throws:

IOException