Uses of Class
org.multijava.util.compiler.CWarning

Packages that use CWarning

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.
org.multijava.util.compiler	Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language.

Uses of CWarning in org.jmlspecs.checker

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

int	JMLWarningFilter.filter(CWarning warning) Filters a warning
int	JMLDefaultWarningFilter.filter(CWarning warning) Filters a warning

Uses of CWarning in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac with parameters of type CWarning

int	JMLRacWarningFilter.filter(CWarning warning) Filters a warning

Uses of CWarning in org.multijava.mjc

Methods in org.multijava.mjc that return CWarning

protected CWarning	JTypeDeclaration.uniqueSourceWarning() Returns the appropriate warning message when another class has been declared whose signature matches the signature of this.
protected CWarning	MJGenericFunctionDecl.uniqueSourceWarning() Returns the appropriate warning message when another class has been declared whose signature matches the signature of this.

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

protected boolean	Main.suppressWarning(CWarning warning) Returns true if the given warning should be suppressed.
int	DefaultFilter.filter(CWarning warning) Filters a warning
int	UniverseFilter.filter(CWarning warning) Filters a warning

Uses of CWarning in org.multijava.util.compiler

Methods in org.multijava.util.compiler with parameters of type CWarning

abstract int

WarningFilter.filter(CWarning warning) Filters a warning