edu.umd.cs.findbugs.ba
Class ZipSourceFileDataSource

java.lang.Object
  extended by 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.


Field Summary
private  java.lang.String entryName
           
private  java.util.zip.ZipEntry zipEntry
           
private  java.util.zip.ZipFile zipFile
           
 
Constructor Summary
ZipSourceFileDataSource(java.util.zip.ZipFile zipFile, java.lang.String entryName)
           
 
Method Summary
 java.lang.String getFullFileName()
          Get the full filename of the source file.
 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
 

Field Detail

zipFile

private java.util.zip.ZipFile zipFile

entryName

private java.lang.String entryName

zipEntry

private java.util.zip.ZipEntry zipEntry
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