jml2b.util
Class JmlEntryFileInJar

java.lang.Object
  jml2b.util.JmlFileEntry
      jml2b.util.JmlSourceEntryFile
          jml2b.util.JmlEntryFileInJar

All Implemented Interfaces:

java.io.Serializable

public class JmlEntryFileInJar

extends JmlSourceEntryFile

implements java.io.Serializable

Author:

L. Burdy

See Also:

Serialized Form

Constructor Summary

JmlEntryFileInJar(java.lang.String zf, java.lang.String ze)

Method Summary

java.lang.String	getAbsolutePath()
java.io.File	getFile()
java.io.InputStream	getInputStream()
java.lang.String	getName()
java.lang.String	toString()

Methods inherited from class jml2b.util.JmlSourceEntryFile

loadClass, loadFile

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

JmlEntryFileInJar

public JmlEntryFileInJar(java.lang.String zf,
                         java.lang.String ze)

Method Detail

getFile

public java.io.File getFile()

Specified by:

getFile in class JmlFileEntry

getInputStream

public java.io.InputStream getInputStream()
                                   throws java.io.IOException

Throws:

java.io.IOException

getName

public java.lang.String getName()

Specified by:

getName in class JmlFileEntry

getAbsolutePath

public java.lang.String getAbsolutePath()

Specified by:

getAbsolutePath in class JmlFileEntry

toString

public java.lang.String toString()