endedexception.java

来自「一个搜索引擎,希望对大家有用」· Java 代码 · 共 26 行

JAVA
26
字号
/* * Created on Aug 11, 2004 * */package org.archive.crawler.framework.exceptions;/** * Indicates a crawl has ended, either due to operator * termination, frontier exhaustion, or any other reason.  *  * @author gojomo */public class EndedException extends Exception {    // TODO: subclass for various kinds of ends?        /**     * Constructs a new <code>EndedException</code>.     *      * @param message  describes why the crawl ended     */    public EndedException(String message) {        super(message);    }}

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?