Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / real-world application / jigsaw / src / org / w3c / jigsaw / http / ClientException.java

diff --git a/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigsaw/http/ClientException.java b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigsaw/http/ClientException.java
new file mode 100644 (file)
index 0000000..bb6947c
--- /dev/null
+++ b/JMCR-Stable/real-world application/jigsaw/src/org/w3c/jigsaw/http/ClientException.java
@@ -0,0 +1,42 @@
+// ClientException.java\r
+// $Id: ClientException.java,v 1.1 2010/06/15 12:21:59 smhuang Exp $\r
+// (c) COPYRIGHT MIT and INRIA, 1996.\r
+// Please first read the full copyright statement in file COPYRIGHT.html\r
+\r
+package org.w3c.jigsaw.http;\r
+\r
+import org.w3c.tools.resources.ResourceException;\r
+\r
+/**\r
+ * ClientException is used to terminate a channel with a specific client.\r
+ * Each client is represented within the server by some Client instance\r
+ * which is used to keep track of it.\r
+ * When such a client context errs severly (ie IO errors, bad HTTP spoken, etc)\r
+ * the connections has to be cleaned up and closed, that's the purpose of this\r
+ * exception.\r
+ * @see Client\r
+ */\r
+\r
+public class ClientException extends ResourceException {\r
+    public Client    client = null ;\r
+    public Exception ex     = null;\r
+\r
+    public ClientException (Client client, String msg) {\r
+       super (msg) ;\r
+       this.client = client ;\r
+    }\r
+\r
+    public ClientException (Client client, Exception ex) {\r
+       super (ex.getMessage()) ;\r
+       this.client = client ;\r
+       this.ex     = ex;\r
+    }\r
+\r
+    public ClientException (Client client, Exception ex, String msg) {\r
+       super (msg) ;\r
+       this.client = client ;\r
+       this.ex     = ex;\r
+    }\r
+}\r
+\r
+\r