KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > jboss > portal > server > PortalConstants


1 /*****************************************
2  * *
3  * JBoss Portal: The OpenSource Portal *
4  * *
5  * Distributable under LGPL license. *
6  * See terms of license at gnu.org. *
7  * *
8  *****************************************/
9 package org.jboss.portal.server;
10
11 import org.jboss.portal.common.util.Version;
12
13 /**
14  * Defines various constants for the portal.
15  *
16  * @author <a HREF="mailto:julien@jboss.org">Julien Viet</a>
17  * @version $Revision: 1.8 $
18  */
19 public interface PortalConstants
20 {
21    /** The default portal name. */
22    String JavaDoc DEFAULT_PORTAL_NAME = "default";
23
24    // Plugin key
25
26    String JavaDoc PLUGIN_INVOCATION = "Invocation";
27    String JavaDoc PLUGIN_MODES = "Modes";
28    String JavaDoc PLUGIN_PREFS = "Prefs";
29    String JavaDoc PLUGIN_WINDOW_STATES = "WindowStates";
30    String JavaDoc PLUGIN_CONTENT_TYPES = "ContentTypes";
31
32    // Portal properties
33
34    String JavaDoc PORTAL_PROP_NAME_KEY = "org.jboss.portal.property.name";
35
36    // Current version
37
38    Version VERSION = new Version("JBoss Portal", 2, 0, 0, Version.IntermediateMajor.FINAL, 0);
39 }
40
Popular Tags