public class PortalManagerImpl extends java.lang.Object implements PortalManager
DEFAULT_DISPLAY, DEFAULT_PORTAL_HOME, DEFAULT_PORTAL_HOME_DEV, DEFAULT_PORTAL_NAME, DEFAULT_SKIN| Constructor and Description |
|---|
PortalManagerImpl() |
| Modifier and Type | Method and Description |
|---|---|
void |
add(Portal portal) |
boolean |
exists(java.lang.String name) |
Portal |
get(java.lang.String name) |
Portal |
getDefault() |
java.lang.String |
getDefaultDisplay() |
java.lang.String |
getDefaultPortal() |
java.io.File |
getHomeDir() |
java.util.Map<java.lang.String,Portal> |
getPortals() |
java.util.List<java.lang.String> |
getSkinPriority() |
void |
reharvest(java.util.Set<java.lang.String> objectIds) |
void |
reharvest(java.lang.String objectId) |
void |
remove(java.lang.String name) |
void |
save(Portal portal) |
public java.util.Map<java.lang.String,Portal> getPortals()
getPortals in interface PortalManagerpublic Portal getDefault()
getDefault in interface PortalManagerpublic java.io.File getHomeDir()
getHomeDir in interface PortalManagerpublic Portal get(java.lang.String name)
get in interface PortalManagerpublic boolean exists(java.lang.String name)
exists in interface PortalManagerpublic void add(Portal portal)
add in interface PortalManagerpublic void remove(java.lang.String name)
remove in interface PortalManagerpublic void save(Portal portal)
save in interface PortalManagerpublic void reharvest(java.lang.String objectId)
reharvest in interface PortalManagerpublic void reharvest(java.util.Set<java.lang.String> objectIds)
reharvest in interface PortalManagerpublic java.lang.String getDefaultPortal()
getDefaultPortal in interface PortalManagerpublic java.lang.String getDefaultDisplay()
getDefaultDisplay in interface PortalManagerpublic java.util.List<java.lang.String> getSkinPriority()
getSkinPriority in interface PortalManagerCopyright © 2009-2019. All Rights Reserved.