org.checkerframework.framework.stub

Class FileStubResource

java.lang.Object

org.checkerframework.framework.stub.FileStubResource

All Implemented Interfaces:

StubResource

public class FileStubResource
extends java.lang.Object
implements StubResource

File-based implementation of StubResource.

Constructor Summary

Constructors

Constructor and Description
FileStubResource(java.io.File file) Constructs a StubResource for the specified stub file.

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FileStubResource

public FileStubResource(java.io.File file)

Constructs a StubResource for the specified stub file.

Parameters:

file - the stub file

Method Detail

getDescription

public java.lang.String getDescription()

Description copied from interface: StubResource

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

Specified by:

getDescription in interface StubResource

getInputStream

public java.io.InputStream getInputStream()
                                   throws java.io.IOException

Description copied from interface: StubResource

Returns a stream for reading the contents of the resource.

Specified by:

getInputStream in interface StubResource

Throws:

java.io.IOException