edu.umd.cs.findbugs.ba

Class ZipSourceFileDataSource

java.lang.Object

edu.umd.cs.findbugs.ba.ZipSourceFileDataSource

All Implemented Interfaces:

SourceFileDataSource

public class ZipSourceFileDataSource
extends java.lang.Object
implements SourceFileDataSource

A source file data source for source files residing in Zip or Jar archives.

Constructor Summary

Constructors

Constructor and Description
ZipSourceFileDataSource(java.util.zip.ZipFile zipFile, java.lang.String entryName)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ZipSourceFileDataSource

public ZipSourceFileDataSource(java.util.zip.ZipFile zipFile,
                               java.lang.String entryName)

Method Detail

open

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

Description copied from interface: SourceFileDataSource

Open an InputStream on the source file.

Specified by:

open in interface SourceFileDataSource

Throws:

java.io.IOException

getFullFileName

public java.lang.String getFullFileName()

Description copied from interface: SourceFileDataSource

Get the full filename of the source file.

Specified by:

getFullFileName in interface SourceFileDataSource

getLastModified

public long getLastModified()

Specified by:

getLastModified in interface SourceFileDataSource