net.jangaroo.jooc.input
Class ZipFileInputSource

java.lang.Object
  net.jangaroo.jooc.input.DirectoryInputSource
      net.jangaroo.jooc.input.ZipFileInputSource

All Implemented Interfaces:

InputSource

public class ZipFileInputSource
extends DirectoryInputSource

Constructor Summary

ZipFileInputSource(java.io.File file, java.lang.String[] rootDirs)
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

Method Summary

void	close()
InputSource	getChild(java.lang.String path)
char	getFileSeparatorChar()
java.lang.String	getName()
java.lang.String	getPath()
java.lang.String	getRelativePath()
java.util.zip.ZipFile	getZipFile()
java.util.List<InputSource>	list()

Methods inherited from class net.jangaroo.jooc.input.DirectoryInputSource

getInputStream, getParent, isDirectory

Methods inherited from class java.lang.Object

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

Constructor Detail

ZipFileInputSource

public ZipFileInputSource(java.io.File file,
                          java.lang.String[] rootDirs)
                   throws java.io.IOException

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

Parameters:

file - a zip or jar file

rootDirs - a list of directories to accept as roots (e.g. ["", "META-INF/joo-api"], in lookup order

Throws:

java.io.IOException - if an IO error occurs

Method Detail

getName

public java.lang.String getName()

getPath

public java.lang.String getPath()

getRelativePath

public java.lang.String getRelativePath()

list

public java.util.List<InputSource> list()

close

public void close()
           throws java.io.IOException

Specified by:

close in interface InputSource

Overrides:

close in class DirectoryInputSource

Throws:

java.io.IOException

getFileSeparatorChar

public char getFileSeparatorChar()

getZipFile

public java.util.zip.ZipFile getZipFile()

getChild

public InputSource getChild(java.lang.String path)