jml2b.util
Class JmlEntryFile

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

All Implemented Interfaces:

java.io.Serializable

public class JmlEntryFile

extends JmlSourceEntryFile

implements java.io.Serializable

Author:

L. Burdy

See Also:

Serialized Form

Constructor Summary

JmlEntryFile(java.io.File f)

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

JmlEntryFile

public JmlEntryFile(java.io.File f)

Method Detail

getFile

public java.io.File getFile()

Specified by:

getFile in class JmlFileEntry

getInputStream

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

Throws:

java.io.FileNotFoundException

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()