?? plugin.java
字號:
/* * This file is part of "The Java Telnet Application". * * This is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation; either version 2, or (at your option) * any later version. * * "The Java Telnet Application" is distributed in the hope that it will be * useful, but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this software; see the file COPYING. If not, write to the * Free Software Foundation, Inc., 59 Temple Place - Suite 330, * Boston, MA 02111-1307, USA. */package de.mud.jta;import java.io.IOException;/** * Plugin base class for the Java Telnet Application. A plugin is a component * for the PluginBus and may occur several times. If we have more than one * plugin of the same type the protected value id contains the unique plugin * id as configured in the configuration. * <P> * <B>Maintainer:</B> Matthias L. Jugel * * @version $Id: Plugin.java,v 2.1 2000/01/26 15:34:05 leo Exp $ * @author Matthias L. Jugel, Marcus Mei遪er */public class Plugin { /** holds the plugin bus used for communication between plugins */ protected PluginBus bus; /** * in case we have several plugins of the same type this contains their * unique id */ protected String id; /** * Create a new plugin and set the plugin bus used by this plugin and * the unique id. The unique id may be null if there is only one plugin * used by the system. * @param bus the plugin bus * @param id the unique plugin id */ public Plugin(PluginBus bus, String id) { this.bus = bus; this.id = id; } /** * Print an error message to stderr prepending the plugin name. This method * is public due to compatibility with Java 1.1 * @param msg the error message */ public void error(String msg) { String name = getClass().toString(); name = name.substring(name.lastIndexOf('.')+1); System.err.println(name + (id != null ? "("+id+")" : "") +": "+msg); }}
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -