ZipClassDescription (JML and MultiJava documentation)

Overview

Package

Class

Use

Tree

Deprecated

Index

Help

JML

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.multijava.util.classfile
Class ZipClassDescription

java.lang.Object
  org.multijava.util.classfile.ClassPath.ClassDescription
      org.multijava.util.classfile.ZipClassDescription

class ZipClassDescription
extends ClassPath.ClassDescription

Field Summary

private java.util.zip.ZipEntry entry


private long time


private java.util.zip.ZipFile zip


Constructor Summary

(package private) ZipClassDescription(java.util.zip.ZipFile z, java.util.zip.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 java.util.zip.ZipEntry entry

zip

private java.util.zip.ZipFile zip

Constructor Detail

ZipClassDescription

ZipClassDescription(java.util.zip.ZipFile z,
                    java.util.zip.ZipEntry e,
                    long t)

Method Detail

getTime

public long getTime()

getName

public String getName()

isClass

public boolean isClass()

getData

public ClassPath.Data getData()