--- /dev/null
+<HTML>\r
+<HEAD>\r
+ <!-- Created by GNNpress -->\r
+ <!-- Changed by: Anselm Baird-Smith, 4-Feb-1997 -->\r
+ <TITLE>ErrorFilter reference manual</TITLE>\r
+</HEAD>\r
+<BODY BGCOLOR="white">\r
+<P>\r
+<A HREF="http://www.w3.org/pub/WWW/" TARGET="_top_">\r
+<IMG SRC="/icons/WWW/w3c_home.gif" ALT="W3C" BORDER="0" WIDTH="72"\r
+ HEIGHT="48"></A> <A HREF="http://www.w3.org/pub/WWW/Jigsaw/" TARGET="_top_">\r
+<IMG SRC="/icons/jigsaw" ALT="Jigsaw" BORDER="0"> </A> \r
+ <HR>\r
+<A HREF="resources.html">All Resources</A> <A HREF="filters.html">All filters\r
+</A> \r
+ <HR>\r
+<H1>\r
+ ErrorFilter\r
+</H1>\r
+<P>\r
+The error filter allows you to redefine <I>on the fly</I> all the error messages\r
+flowing out of <B>Jigsaw</B>. The general principle is that all error messages\r
+comming out of <B>Jigsaw</B> are filtered, and intercepted. <B>Jigsaw</B>\r
+then uses internal requests to query some other resource for generating the\r
+exact text of the error message.\r
+<P>\r
+ <HR>\r
+<H2>\r
+ Inherits\r
+</H2>\r
+<P>\r
+The <A HREF="../api/w3c.jigsaw.filters.ErrorFilter.html">ErrorFilter</A>\r
+class inherits from the following classes:\r
+<UL>\r
+ <LI>\r
+ <A HREF="w3c.jigsaw.resources.ResourceFilter.html">ResourceFilter</A>\r
+</UL>\r
+<P>\r
+ <HR>\r
+<H2>\r
+ Attributes description\r
+</H2>\r
+<P>\r
+The ErrorFilter defines the following attributes:\r
+<UL>\r
+ <LI>\r
+ <A HREF="#base-url">base-url</A>\r
+ <LI>\r
+ <A HREF="#extension">extension</A>\r
+</UL>\r
+<P>\r
+ <HR>\r
+<P>\r
+<CODE><A NAME="base-url">base-url</A></CODE>\r
+<DL>\r
+ <DT>\r
+ <I>semantics</I>\r
+ <DD>\r
+ The base URL of the directory containing the error messages. When this filter\r
+ is enabled it will issue an internal request to the resource whose URL starts\r
+ with this base url attribute value, and whose name is the number of the error\r
+ code (plus an extra extension, see below).\r
+ <DT>\r
+ <I>type</I>\r
+ <DD>\r
+ This attribute is a computed\r
+ <A HREF="../api/w3c.tools.store.StringAttribute.html">StringAttribute</A>\r
+ <DT>\r
+ <I>default value</I>\r
+ <DD>\r
+ This attribute defaults to <CODE>/errors</CODE>.\r
+</DL>\r
+<P>\r
+ <HR>\r
+<P>\r
+<CODE><A NAME="extension">extension</A></CODE>\r
+<DL>\r
+ <DT>\r
+ <I>semantics</I>\r
+ <DD>\r
+ The extension of the resources that knows how to generate eror messages.\r
+ If the base-url attribute is set to <CODE>/errors</CODE>, and this attribute\r
+ is set to <CODE>html</CODE>, then the when generating the message for a\r
+ <CODE>407</CODE> error, the error filter will use the\r
+ <CODE>/errors/407.html</CODE> resource.\r
+ <DT>\r
+ <I>type</I>\r
+ <DD>\r
+ This attribute is a computed\r
+ <A HREF="../api/w3c.tools.store.StringAttribute.html">StringAttribute</A>\r
+ <DT>\r
+ <I>default value</I>\r
+ <DD>\r
+ This attribute defaults to <CODE>html</CODE>.\r
+</DL>\r
+<P>\r
+ <HR>\r
+<P>\r
+<I><A HREF="mailto:jigsaw@w3.org">Jigsaw Team</A><BR>\r
+</I>$Id: w3c.jigsaw.filters.ErrorFilter.html,v 1.1 1996/09/08 21:00:49 abaird\r
+Exp $\r
+<P>\r
+<P>\r
+<P>\r
+</BODY></HTML>\r
projects / Benchmarks_CSolver.git / blobdiff