01: // RequestFilter.java
02: // $Id: PropRequestFilter.java,v 1.5 1998/08/13 16:29:13 bmahe Exp $
03: // (c) COPYRIGHT MIT and INRIA, 1996.
04: // Please first read the full copyright statement in file COPYRIGHT.html
05:
06: package org.w3c.www.protocol.http;
07:
08: /**
09: * The PropRequestFilter interface.
10: * This interface extends the basic requestFilter interface, in order to
11: * allow the implementing filters to be set through the
12: * <code>org.w3c.www.protocol.http.filters</code> property.
13: * <p>To set a PropRequestFilter through this property, you just need to
14: * define the property to a <code>|</code> separated list of
15: * PropRequestFilter compatible class. Upon initialization, the
16: * HttpManager will read this property value, and <code>initialize</code>
17: * all these filters in the global scope.
18: */
19:
20: public interface PropRequestFilter extends RequestFilter {
21:
22: /**
23: * Initialize this filter, using the provided manager.
24: * During initialization, it is up to the filter to install itself
25: * in the manager, by invoking the appropriate <code>setFilter</code>
26: * method.
27: * @param manager The HttpManager initializing the filter.
28: * @exception PropRequestFilterException If the filter couldn't be
29: * initialized properly.
30: */
31:
32: public void initialize(HttpManager manager)
33: throws PropRequestFilterException;
34:
35: }
|