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
java.lang.String	getDescription() Returns a user-friendly description of the resource (e.g.
java.io.InputStream	getInputStream() Returns a stream for reading the contents of the resource.

Method Detail

getDescription

java.lang.String getDescription()

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

getInputStream

java.io.InputStream getInputStream()
                            throws java.io.IOException

Returns a stream for reading the contents of the resource.

Throws:

java.io.IOException