edu.umd.cs.findbugs.ba

Interface SourceFileDataSource

All Known Implementing Classes:

FileSourceFileDataSource, ZipSourceFileDataSource

public interface SourceFileDataSource

A data source which can produce a stream for a source file.

Method Summary

Modifier and Type	Method and Description
java.lang.String	getFullFileName() Get the full filename of the source file.
java.net.URI	getFullURI() Get the full URI of the source file.
long	getLastModified()
java.io.InputStream	open() Open an InputStream on the source file.

Method Detail

open

java.io.InputStream open()
                  throws java.io.IOException

Open an InputStream on the source file.

Throws:

java.io.IOException

getFullFileName

java.lang.String getFullFileName()

Get the full filename of the source file.

getFullURI

java.net.URI getFullURI()

Get the full URI of the source file.

getLastModified

long getLastModified()