batch/org/eclipse/jdt/internal/compiler/batch/ClasspathJar.java

package org.eclipse.jdt.internal.compiler.batch;

/*
 * (c) Copyright IBM Corp. 2000, 2001.
 * All Rights Reserved.
 */
import java.io.*;
import java.util.*;
import java.util.zip.*;

import org.eclipse.jdt.internal.compiler.env.*;
import org.eclipse.jdt.internal.compiler.classfmt.*;

class ClasspathJar implements FileSystem.Classpath {
	ZipFile zipFile;
	Hashtable directoryCache;	
ClasspathJar(File file) throws IOException {
	zipFile = new ZipFile(file);
	buildDirectoryStructure();
}
void buildDirectoryStructure() {
	directoryCache = new Hashtable(101);
	for (Enumeration e = zipFile.entries(); e.hasMoreElements(); ) {
		String fileName = ((ZipEntry) e.nextElement()).getName();

		// extract the package name
		int last = fileName.lastIndexOf('/');
		if (last > 0 && directoryCache.get(fileName.substring(0, last)) == null) {
			// add the package name & all of its parent packages
			for (int i = 0; i <= last; i++) {
				i = fileName.indexOf('/', i);
				String packageName = fileName.substring(0, i);
				if (directoryCache.get(packageName) == null)
					directoryCache.put(packageName, packageName);
			}
		}
	}
}
public boolean exists(String filename, char[][] packageName) {
	return zipFile.getEntry(FileSystem.assembleName(filename, packageName, '/')) != null;
}
public boolean isPackage(char[][] compoundName, char[] packageName) {
	return 
		directoryCache.get(
			FileSystem.assembleName(packageName, compoundName, '/'))
				!= null;
}
public long lastModified(String filename, char[][] packageName) {
	ZipEntry entry = zipFile.getEntry(FileSystem.assembleName(filename, packageName, '/'));
	if (entry == null)
		return -1L;
	else
		return entry.getTime();
}
public NameEnvironmentAnswer readClassFile(String filename, char[][] packageName) {
	try {
		return new NameEnvironmentAnswer(
			ClassFileReader.read(zipFile, FileSystem.assembleName(filename, packageName, '/')));
	} catch (Exception e) {
		return null; // treat as if class file is missing
	}
}
public NameEnvironmentAnswer readJavaFile(String filename, char[][] packageName) {
	try {
		String fullName = FileSystem.assembleName(filename, packageName, '/');
		ZipEntry entry = zipFile.getEntry(fullName);
		InputStreamReader reader = new InputStreamReader(zipFile.getInputStream(entry));
		int length;
		char[] contents = new char[length = (int) entry.getSize()];
		int len = 0;
		int readSize = 0;
		while ((readSize != -1) && (len != length)) {
			readSize = reader.read(contents, len, length - len);
			len += readSize;
		}
		reader.close();
		return new NameEnvironmentAnswer(new CompilationUnit(contents, fullName));
	} catch (Exception e) {
		return null; // treat as if source file is missing
	}
}
public String toString() {
	return "Classpath for jar file "/*nonNLS*/ + zipFile;
}
}