Package org.checkerframework.framework.stub

Class JarEntryAnnotationFileResource

java.lang.Object

org.checkerframework.framework.stub.JarEntryAnnotationFileResource

All Implemented Interfaces:

AnnotationFileResource

public class JarEntryAnnotationFileResource
extends Object
implements AnnotationFileResource

JarEntry-based implementation of AnnotationFileResource.

Constructor Summary

Constructors

Constructor	Description
JarEntryAnnotationFileResource(JarFile file, JarEntry entry)	Constructs a AnnotationFileResource for the specified entry in the specified JAR file.

Method Summary

Modifier and Type	Method	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.

Methods inherited from class java.lang.Object

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

Constructor Details

JarEntryAnnotationFileResource

public JarEntryAnnotationFileResource(JarFile file,
 JarEntry entry)

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

Parameters:

file - the JAR file

entry - the JAR entry

Method Details

getDescription

public String getDescription()

Description copied from interface: AnnotationFileResource

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

Specified by:

getDescription in interface AnnotationFileResource

Returns:

a description of the resource

getInputStream

public InputStream getInputStream()
                           throws IOException

Description copied from interface: AnnotationFileResource

Returns a stream for reading the contents of the resource.

Specified by:

getInputStream in interface AnnotationFileResource

Throws:

IOException