jml2b.util
Class JmlSourceEntryFile

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

Direct Known Subclasses:

JmlEntryFile, JmlEntryFileInJar

public abstract class JmlSourceEntryFile

extends JmlFileEntry

Author:

L. Burdy

Constructor Summary

JmlSourceEntryFile()

Method Summary

void	loadClass(IJml2bConfiguration config, boolean defaultExternalFile)
JmlFile	loadFile(boolean external) /** Load the given Java/JML file and return a new JmlFile structure

Methods inherited from class jml2b.util.JmlFileEntry

getAbsolutePath, getFile, getName

Methods inherited from class java.lang.Object

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

Constructor Detail

JmlSourceEntryFile

public JmlSourceEntryFile()

Method Detail

loadClass

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

Specified by:

loadClass in class JmlFileEntry

Parameters:

defaultExternalFile -

Throws:

ClassLoadException

Jml2bException

loadFile

public JmlFile loadFile(boolean external)

/** Load the given Java/JML file and return a new JmlFile structure