Uses of Interface
org.multijava.util.compiler.WarningFilter

Packages that use WarningFilter

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of WarningFilter in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement WarningFilter

class	JMLDefaultWarningFilter A warning filter for JML.
class	JMLWarningFilter A warning filter for JML.

Methods in org.jmlspecs.checker that return WarningFilter

protected WarningFilter

Main.getDefaultFilter() Return an instance of the JML default warning filter.

Uses of WarningFilter in org.jmlspecs.jmlrac

Classes in org.jmlspecs.jmlrac that implement WarningFilter

class

JMLRacWarningFilter A warning filter for JML.

Uses of WarningFilter in org.multijava.mjc

Classes in org.multijava.mjc that implement WarningFilter

class	DefaultFilter This is the default warning filter.
class	UniverseFilter A filter that lets all Universe related messages pass.

Fields in org.multijava.mjc declared as WarningFilter

private WarningFilter

Main.filter

Methods in org.multijava.mjc that return WarningFilter

protected WarningFilter	Main.getFilter() Return the warning filter.
protected WarningFilter	Main.getDefaultFilter() Return an instance of the default warning filter.