Uses of Interface
org.multijava.mjc.FileFinder

Packages that use FileFinder

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of FileFinder in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement FileFinder

class

JmlFileFinder This FileFinder looks for a .class file and a .java file, returning whichever one is newer.

Methods in org.jmlspecs.checker with parameters of type FileFinder

void	JmlClassOrGFImport.setImportKind(FileFinder finder) Registers whether this imports a type or an external generic function.

Uses of FileFinder in org.multijava.mjc

Classes in org.multijava.mjc that implement FileFinder

class	AbstractFileFinder This class provides a method for converting anchor class names to the prefixes of the files declaring the anchored generic function.
class	MjcFileFinder This FileFinder looks for a .class file and a .java file, returning whichever one is newer.

Fields in org.multijava.mjc declared as FileFinder

protected FileFinder

TypeLoader.fileFinder

Methods in org.multijava.mjc that return FileFinder

static FileFinder	CTopLevel.fileFinder() Returns the FileFinder instance that is used by the current session when searching for classes and generic functions.
FileFinder	TypeLoader.fileFinder() Returns the FileFinder instance that is used by the current loader when searching for classes and generic functions.

Methods in org.multijava.mjc with parameters of type FileFinder

abstract void	JClassOrGFImportType.setImportKind(FileFinder finder) Registers whether this imports a type or an external generic function.
void	JClassOrGFImport.setImportKind(FileFinder finder) Registers whether this imports a type or an external generic function.

Constructors in org.multijava.mjc with parameters of type FileFinder

TypeLoader(FileFinder fileFinder)
This constructor is only for use by subclasses.