org.eclipse.jdt.internal.compiler.tool

Class Archive

java.lang.Object

org.eclipse.jdt.internal.compiler.tool.Archive

public class Archive
extends Object

Used as a zip file cache.

Field Summary

Fields

Modifier and Type	Field and Description
protected Hashtable<String,ArrayList<String>>	packagesCache
static Archive	UNKNOWN_ARCHIVE

Constructor Summary

Constructors

Constructor and Description
Archive(File file)

Method Summary

Methods

Modifier and Type	Method and Description
Set<String>	allPackages()
void	close()
boolean	contains(String entryName)
void	flush()
ArchiveFileObject	getArchiveFileObject(String entryName, Charset charset)
ArrayList<String>	getTypes(String packageName)

Methods inherited from class java.lang.Object

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

Field Detail

UNKNOWN_ARCHIVE

public static final Archive UNKNOWN_ARCHIVE

packagesCache

protected Hashtable<String,ArrayList<String>> packagesCache

Constructor Detail

Archive

public Archive(File file)
        throws ZipException,
               IOException

Throws:

ZipException

IOException

Method Detail

getArchiveFileObject

public ArchiveFileObject getArchiveFileObject(String entryName,
                                     Charset charset)

contains

public boolean contains(String entryName)

allPackages

public Set<String> allPackages()

getTypes

public ArrayList<String> getTypes(String packageName)

flush

public void flush()

close

public void close()