JML

org.multijava.util.classfile
Class ZipClassDescription

java.lang.Object
  extended byorg.multijava.util.classfile.ClassPath.ClassDescription
      extended byorg.multijava.util.classfile.ZipClassDescription

class ZipClassDescription
extends ClassPath.ClassDescription


Field Summary
private  ZipEntry entry
           
private  long time
           
private  ZipFile zip
           
 
Constructor Summary
(package private) ZipClassDescription(ZipFile z, ZipEntry e, long t)
           
 
Method Summary
 ClassPath.Data getData()
           
 String getName()
           
 long getTime()
           
 boolean isClass()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

time

private long time

entry

private ZipEntry entry

zip

private ZipFile zip
Constructor Detail

ZipClassDescription

ZipClassDescription(ZipFile z,
                    ZipEntry e,
                    long t)
Method Detail

getTime

public long getTime()

getName

public String getName()

isClass

public boolean isClass()

getData

public ClassPath.Data getData()

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.