jml2b.util
Class JmlFileEntry

java.lang.Object
  jml2b.util.JmlFileEntry

Direct Known Subclasses:

JmlClassEntryFile, JmlSourceEntryFile

public abstract class JmlFileEntry

extends java.lang.Object

Author:

L. Burdy

Constructor Summary

JmlFileEntry()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

JmlFileEntry

public JmlFileEntry()

Method Detail

getFile

public abstract java.io.File getFile()

getName

public abstract java.lang.String getName()

getAbsolutePath

public abstract java.lang.String getAbsolutePath()

loadClass

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

Parameters:

defaultExternalFile -

Throws:

ClassLoadException

Jml2bException