public class ZipFileInputSource extends DirectoryInputSource
| Constructor and Description |
|---|
ZipFileInputSource(File file,
String[] rootDirs,
boolean inSourcePath)
Create an InputSource directory from the given zip or jar file, providing a "union view" over the zip file
with all entries with paths relative to the given root directories
|
| Modifier and Type | Method and Description |
|---|---|
void |
close() |
boolean |
equals(Object o) |
InputSource |
getChild(String path) |
List<InputSource> |
getChildren(String path) |
char |
getFileSeparatorChar() |
String |
getName()
The file name, i.e.
|
String |
getPath() |
String |
getRelativePath() |
ZipFile |
getZipFile() |
int |
hashCode() |
List<InputSource> |
list() |
String |
toString() |
getInputStream, getParent, isDirectory, isInSourcePathpublic ZipFileInputSource(File file, String[] rootDirs, boolean inSourcePath) throws IOException
file - a zip or jar filerootDirs - a list of directories to accept as roots (e.g. ["", "META-INF/joo-api"], in lookup orderinSourcePath - whether this is part of the source pathIOException - if an IO error occurspublic String getName()
InputSourcepublic String getPath()
public String getRelativePath()
public List<InputSource> list()
public void close()
throws IOException
close in interface InputSourceclose in class DirectoryInputSourceIOExceptionpublic char getFileSeparatorChar()
public ZipFile getZipFile()
public InputSource getChild(String path)
public List<InputSource> getChildren(String path)
Copyright © 2002–2021 CoreMedia AG. All rights reserved.