Class JarEntryAnnotationFileResource
- java.lang.Object
-
- org.checkerframework.framework.stub.JarEntryAnnotationFileResource
-
- All Implemented Interfaces:
AnnotationFileResource
public class JarEntryAnnotationFileResource extends java.lang.Object implements AnnotationFileResource
JarEntry
-based implementation ofAnnotationFileResource
.
-
-
Constructor Summary
Constructors Constructor Description JarEntryAnnotationFileResource(java.util.jar.JarFile file, java.util.jar.JarEntry entry)
Constructs aAnnotationFileResource
for the specified entry in the specified JAR file.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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
public java.lang.String getDescription()
Description copied from interface:AnnotationFileResource
Returns a user-friendly description of the resource (e.g. a filesystem path).- Specified by:
getDescription
in interfaceAnnotationFileResource
- Returns:
- a description of the resource
-
getInputStream
public java.io.InputStream getInputStream() throws java.io.IOException
Description copied from interface:AnnotationFileResource
Returns a stream for reading the contents of the resource.- Specified by:
getInputStream
in interfaceAnnotationFileResource
- Throws:
java.io.IOException
-
-