JML

org.multijava.util.compiler
Interface WarningFilter

All Known Implementing Classes:
DefaultFilter, UniverseFilter

public interface WarningFilter

This interface filters warning


Field Summary
static int FLT_ACCEPT
          Does not decide, the warning will be displayed depending on the user options (warning level, langage specification)
static int FLT_FORCE
          Forces the warning to be displayed
static int FLT_REJECT
          Rejects the warning, it will not be displayed
 
Method Summary
 int filter(CWarning warning)
          Filters a warning
 

Field Detail

FLT_REJECT

public static final int FLT_REJECT
Rejects the warning, it will not be displayed


FLT_FORCE

public static final int FLT_FORCE
Forces the warning to be displayed


FLT_ACCEPT

public static final int FLT_ACCEPT
Does not decide, the warning will be displayed depending on the user options (warning level, langage specification)

Method Detail

filter

public int filter(CWarning warning)
Filters a warning

Parameters:
warning - a warning to be filtred
Returns:
FLT_REJECT, FLT_FORCE, FLT_ACCEPT

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.