    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    }