at.dms.kjc
Class DefaultFilter
java.lang.Object
at.dms.kjc.DefaultFilter
- All Implemented Interfaces:
- WarningFilter
public class DefaultFilter
- extends Object
- implements WarningFilter
This is the default warning filter
public class MyWarningFilter implements at.dms.kjc.DefaultFilter
// ----------------------------------------------------------------------
// FILTER
// ----------------------------------------------------------------------
* Filters a warning
* @param warning a warning to be filtred
* @return FLT_REJECT, FLT_FORCE, FLT_ACCEPT
*
* This filter accepts unused catch parameters if they are prefixed with an underscore
*
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
DefaultFilter
public DefaultFilter()
filter
public int filter(CWarning warning)
- Filters a warning
- Specified by:
filter
in interface WarningFilter
- Parameters:
warning
- a warning to be filtred
- Returns:
- FLT_REJECT, FLT_FORCE, FLT_ACCEPT
deepClone
public Object deepClone()
- Returns a deep clone of this object.
deepCloneInto
protected void deepCloneInto(DefaultFilter other)
- Clones all fields of this into
other