Class FileAnnotationFileResource
- java.lang.Object
-
- org.checkerframework.framework.stub.FileAnnotationFileResource
-
- All Implemented Interfaces:
AnnotationFileResource
public class FileAnnotationFileResource extends java.lang.Object implements AnnotationFileResource
File
-based implementation ofAnnotationFileResource
.
-
-
Constructor Summary
Constructors Constructor Description FileAnnotationFileResource(java.io.File file)
Constructs aAnnotationFileResource
for the specified annotation file (stub file or ajava 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
-
-