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

Implementation of AnnotationFileResource for an entry in a JAR or ZIP archive. The resource holds the entry's contents, so it holds no open file handle.

Constructor Summary

Constructors

Constructor	Description
JarEntryAnnotationFileResource(File archive, String entryName, byte[] contents)	Constructs a AnnotationFileResource for the specified entry in the specified archive.

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(File archive,
 String entryName,
 byte[] contents)

Constructs a AnnotationFileResource for the specified entry in the specified archive.

Parameters:

archive - the JAR or ZIP archive

entryName - the name of the entry in the archive

contents - the contents of the 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()

Description copied from interface: AnnotationFileResource

Returns a stream for reading the contents of the resource.

Specified by:

getInputStream in interface AnnotationFileResource