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    }