001 /* Copyright 2000, 2001, Compaq Computer Corporation */ 002 003 package javafe.filespace; 004 005 006 /** 007 * A simple filter interface for use in filtering out values. 008 */ 009 010 011 public interface Filter { 012 013 /** 014 * The actual "static" type of objects we filter 015 */ 016 //@ ghost public \TYPE acceptedType; 017 018 019 /** Should our client accept a given value? */ 020 //@ requires value != null; 021 //@ requires \typeof(value) <: acceptedType; 022 boolean accept(Object value); 023 }