KickJava   Java API By Example, From Geeks To Geeks.

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


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.server.config.Configuration;
12 import org.jboss.portal.server.invocation.InvocationFactory;
13 import org.jboss.portal.server.kernel.Kernel;
14 import org.jboss.portal.server.metadata.ServerObjectMetaData;
15 import org.jboss.portal.server.servlet.BootStrapContext;
16
17 /**
18  * @author <a HREF="mailto:julien@jboss.org">Julien Viet</a>
19  * @version $Revision: 1.4 $
20  */
21 public interface ServerManager
22 {
23    InvocationFactory getInvocationContext();
24
25    Configuration getConfiguration();
26
27    ObjectFactory getObjectFactory();
28
29    BootStrapContext getBootStrap();
30
31    Kernel getKernel();
32
33    PortalServer getPortalServer();
34
35    ThemeServer getThemeServer();
36
37    LayoutServer getLayoutServer();
38
39    void deploy(ServerObjectMetaData metaData) throws Exception JavaDoc;
40
41    void undeploy(ServerObjectID id);
42 }
43
Popular Tags