KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > archive > crawler > framework > exceptions > EndedException


1 /*
2  * Created on Aug 11, 2004
3  *
4  */
5 package org.archive.crawler.framework.exceptions;
6
7 /**
8  * Indicates a crawl has ended, either due to operator
9  * termination, frontier exhaustion, or any other reason.
10  *
11  * @author gojomo
12  */
13 public class EndedException extends Exception JavaDoc {
14     // TODO: subclass for various kinds of ends?
15
16     private static final long serialVersionUID = -4638427249822262643L;
17
18     /**
19      * Constructs a new <code>EndedException</code>.
20      *
21      * @param message describes why the crawl ended
22      */
23     public EndedException(String JavaDoc message) {
24         super(message);
25     }
26
27 }
28
Popular Tags