org.checkerframework.framework.stub

Class JarEntryStubResource

java.lang.Object

org.checkerframework.framework.stub.JarEntryStubResource

All Implemented Interfaces:

StubResource

public class JarEntryStubResource
extends java.lang.Object
implements StubResource

JarEntry-based implementation of StubResource.

Constructor Summary

Constructors

Constructor and Description
JarEntryStubResource(java.util.jar.JarFile file, java.util.jar.JarEntry entry) Constructs a StubResource for the specified entry in the specified JAR file.

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JarEntryStubResource

public JarEntryStubResource(java.util.jar.JarFile file,
                            java.util.jar.JarEntry entry)

Constructs a StubResource for the specified entry in the specified JAR file.

Parameters:

file - the JAR file

entry - the JAR entry

Method Detail

getDescription

public java.lang.String getDescription()

Description copied from interface: StubResource

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

Specified by:

getDescription in interface StubResource

getInputStream

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

Description copied from interface: StubResource

Returns a stream for reading the contents of the resource.

Specified by:

getInputStream in interface StubResource

Throws:

java.io.IOException