Package 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	Description
ZipSourceFileDataSource(java.util.zip.ZipFile zipFile, java.nio.file.FileSystem zipFileSystem, java.lang.String entryName)

Method Summary

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

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.nio.file.FileSystem zipFileSystem,
                               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

getFullURI

public java.net.URI getFullURI()

Description copied from interface: SourceFileDataSource

Get the full URI of the source file.

Specified by:

getFullURI in interface SourceFileDataSource

getLastModified

public long getLastModified()

Specified by:

getLastModified in interface SourceFileDataSource