Package org.checkerframework.framework.stub

Class FileAnnotationFileResource

java.lang.Object

org.checkerframework.framework.stub.FileAnnotationFileResource

All Implemented Interfaces:

AnnotationFileResource

public class FileAnnotationFileResource
extends Object
implements AnnotationFileResource

File-based implementation of AnnotationFileResource.

Constructor Summary

Constructors

Constructor	Description
FileAnnotationFileResource(File file)	Constructs a AnnotationFileResource for the specified annotation file (stub file or ajava 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

FileAnnotationFileResource

public FileAnnotationFileResource(File file)

Constructs a AnnotationFileResource for the specified annotation file (stub file or ajava file).

Parameters:

file - the annotation file

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