Uses of Class
jml2b.util.JmlFileEntry

Packages that use JmlFileEntry

jml2b.structure.java
jml2b.util

Uses of JmlFileEntry in jml2b.structure.java

Fields in jml2b.structure.java declared as JmlFileEntry

JmlFileEntry

JmlFile.fileName FileName of the corresponding file (if any)

Methods in jml2b.structure.java that return JmlFileEntry

JmlFileEntry	JmlFile.getFileName() Return the filename corresponding to this file.
static JmlFileEntry	JmlLoader.searchCandidateFile(IJml2bConfiguration config, Package p, java.lang.String name) Search a candidate file for the class name located in the package relative path pkg_path.

Constructors in jml2b.structure.java with parameters of type JmlFileEntry

JmlFile(JmlFileEntry file_name, antlr.collections.AST a, boolean external)

Uses of JmlFileEntry in jml2b.util

Subclasses of JmlFileEntry in jml2b.util

class	JmlClassEntryFile
class	JmlEntryFile
class	JmlEntryFileInJar
class	JmlSourceEntryFile

Methods in jml2b.util that return JmlFileEntry

JmlFileEntry	JmlPathDirectory.checkFile(java.io.File file)
abstract JmlFileEntry	JmlPathEntry.checkFile(java.io.File file)
JmlFileEntry	JmlPathJar.checkFile(java.io.File file)