KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > jboss > console > manager > interfaces > ConsolePlugin


1 /*
2   * JBoss, Home of Professional Open Source
3   * Copyright 2005, JBoss Inc., and individual contributors as indicated
4   * by the @authors tag. See the copyright.txt in the distribution for a
5   * full listing of individual contributors.
6   *
7   * This is free software; you can redistribute it and/or modify it
8   * under the terms of the GNU Lesser General Public License as
9   * published by the Free Software Foundation; either version 2.1 of
10   * the License, or (at your option) any later version.
11   *
12   * This software is distributed in the hope that it will be useful,
13   * but WITHOUT ANY WARRANTY; without even the implied warranty of
14   * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15   * Lesser General Public License for more details.
16   *
17   * You should have received a copy of the GNU Lesser General Public
18   * License along with this software; if not, write to the Free
19   * Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
20   * 02110-1301 USA, or see the FSF site: http://www.fsf.org.
21   */

22 package org.jboss.console.manager.interfaces;
23
24 import org.jboss.console.manager.PluginManager;
25
26 /**
27  * Interface that all management plugins must implement
28  *
29  * @see org.jboss.console.manager.PluginManager
30  *
31  * @author <a HREF="mailto:sacha.labourey@cogito-info.ch">Sacha Labourey</a>.
32  * @version $Revision: 37459 $
33  *
34  * <p><b>Revisions:</b>
35  *
36  * <p><b>14 decembre 2002 Sacha Labourey:</b>
37  * <ul>
38  * <li> First implementation </li>
39  * </ul>
40  */

41
42 public interface ConsolePlugin
43    extends java.io.Serializable JavaDoc
44 {
45    public final static String JavaDoc WEB_PROFILE = "WEB";
46    
47    public final static String JavaDoc[] PLUGIN_PROFILES = {WEB_PROFILE};
48    
49    /**
50     * Define in which console framework this plugin can be plugged (web, eclipse, etc.)
51     */

52    String JavaDoc[] getSupportedProfiles ();
53    
54    public TreeNode getSubTreeForResource (PluginManager master, String JavaDoc profile, ManageableResource resource);
55    
56    
57    /*
58     * Plugin identifier: used by the PluginManager to list all activated plugins
59     */

60    public String JavaDoc getIdentifier();
61
62    /*
63     * Plugin version: used by the PluginManager to list all activated plugins
64     */

65    public String JavaDoc getVersion();
66    
67 }
68
Popular Tags