public class ZipSourceFileDataSource extends java.lang.Object implements SourceFileDataSource
Constructor and Description |
---|
ZipSourceFileDataSource(java.util.zip.ZipFile zipFile,
java.lang.String entryName) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getFullFileName()
Get the full filename of the source file.
|
java.io.InputStream |
open()
Open an InputStream on the source file.
|
public ZipSourceFileDataSource(java.util.zip.ZipFile zipFile, java.lang.String entryName)
public java.io.InputStream open() throws java.io.IOException
SourceFileDataSource
open
in interface SourceFileDataSource
java.io.IOException
public java.lang.String getFullFileName()
SourceFileDataSource
getFullFileName
in interface SourceFileDataSource
FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.