jml2b.util
Class JmlClassEntryFile

java.lang.Object
  jml2b.util.JmlFileEntry
      jml2b.util.JmlClassEntryFile

public class JmlClassEntryFile

extends JmlFileEntry

Author:

L. Burdy

Constructor Summary

JmlClassEntryFile(java.lang.String jarFile, java.lang.String path)

Method Summary

java.lang.String	getAbsolutePath()
java.io.File	getFile()
java.lang.String	getName()
void	loadClass(IJml2bConfiguration config, boolean defaultExternalFile)

Methods inherited from class java.lang.Object

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

Constructor Detail

JmlClassEntryFile

public JmlClassEntryFile(java.lang.String jarFile,
                         java.lang.String path)

Parameters:

jarFile -

path -

Method Detail

getFile

public java.io.File getFile()

Specified by:

getFile in class JmlFileEntry

getName

public java.lang.String getName()

Specified by:

getName in class JmlFileEntry

getAbsolutePath

public java.lang.String getAbsolutePath()

Specified by:

getAbsolutePath in class JmlFileEntry

loadClass

public void loadClass(IJml2bConfiguration config,
                      boolean defaultExternalFile)
               throws ClassLoadException,
                      Jml2bException

Specified by:

loadClass in class JmlFileEntry

Parameters:

defaultExternalFile -

Throws:

ClassLoadException

Jml2bException