Uses of Class
org.multijava.util.Destination

Packages that use Destination

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.
org.multijava.util
org.multijava.util.classfile	Provides an editor for classfiles used by MultiJava and the Java Modeling Language.

Uses of Destination in org.jmlspecs.checker

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

void	JmlCompilationUnit.cachePassParameters(Main compiler, Destination destination) Caches the arguments for the compiler passes.

Uses of Destination in org.multijava.mjc

Fields in org.multijava.mjc declared as Destination

protected Destination

Main.destination

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

void	JCompilationUnit.cachePassParameters(Main compiler, Destination destination) Caches the arguments for the compiler passes.
abstract void	JCompilationUnitType.cachePassParameters(Main compiler, Destination destination) Caches the arguments for the compiler passes.
void	CClass.genClassFile(Destination dest) Generate the code in a class file.
void	CSourceClass.genCode(Destination destination) Generate a class file for the class represented by this.
void	CSourceDispatcherClass.genCode(Destination destination) Generate a class file for the class represented by this.
void	CBadClass.genClassFile(Destination destination) Generate the code in a class file

Uses of Destination in org.multijava.util

Methods in org.multijava.util that return Destination

static Destination

Destination.check(String dest) Establish a new destination based on the command line argument.

Uses of Destination in org.multijava.util.classfile

Methods in org.multijava.util.classfile with parameters of type Destination

void	ClassInfo.write(Destination dest) Writes the contents of the class to a file.