JML

org.multijava.util.classfile
Class ZipClassDirectory

java.lang.Object
  extended byorg.multijava.util.classfile.ClassDirectory
      extended byorg.multijava.util.classfile.ZipClassDirectory

class ZipClassDirectory
extends ClassDirectory


Field Summary
private  HashSet dirsInZip
           
private  ZipFile zip
           
 
Constructor Summary
ZipClassDirectory(ZipFile zip)
          Constructs a class directory representing a zipped file
 
Method Summary
 boolean containsDirectory(String name)
          Returns true if the zip file contains the given directory.
 ClassPath.ClassDescription findFile(String name, String suffix)
          Returns null since we do not support reading non-.class files from zip or jar archives.
 ClassPath.ClassDescription getClassFile(String name)
           
 ClassPath.ClassDescription getClassFile(String name, String suffix)
           
 String location()
          Returns the location of the directory, in this case as the location of the zip file.
private  void populateDirsInZip()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

zip

private ZipFile zip

dirsInZip

private HashSet dirsInZip
Constructor Detail

ZipClassDirectory

public ZipClassDirectory(ZipFile zip)
Constructs a class directory representing a zipped file

Method Detail

getClassFile

public ClassPath.ClassDescription getClassFile(String name,
                                               String suffix)
Parameters:
name - the name of the class
Returns:
a ClassDescription for a class file that contain the class named name

getClassFile

public ClassPath.ClassDescription getClassFile(String name)

location

public String location()
Returns the location of the directory, in this case as the location of the zip file.


findFile

public ClassPath.ClassDescription findFile(String name,
                                           String suffix)
Returns null since we do not support reading non-.class files from zip or jar archives.


containsDirectory

public boolean containsDirectory(String name)
Returns true if the zip file contains the given directory.


populateDirsInZip

private void populateDirsInZip()

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.