public interface PortalManager
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
DEFAULT_DISPLAY |
static java.lang.String |
DEFAULT_PORTAL_HOME |
static java.lang.String |
DEFAULT_PORTAL_HOME_DEV |
static java.lang.String |
DEFAULT_PORTAL_NAME |
static java.lang.String |
DEFAULT_SKIN |
| 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) |
static final java.lang.String DEFAULT_PORTAL_NAME
static final java.lang.String DEFAULT_SKIN
static final java.lang.String DEFAULT_DISPLAY
static final java.lang.String DEFAULT_PORTAL_HOME
static final java.lang.String DEFAULT_PORTAL_HOME_DEV
java.util.Map<java.lang.String,Portal> getPortals()
Portal getDefault()
java.io.File getHomeDir()
Portal get(java.lang.String name)
boolean exists(java.lang.String name)
void add(Portal portal)
void remove(java.lang.String name)
void save(Portal portal)
void reharvest(java.lang.String objectId)
void reharvest(java.util.Set<java.lang.String> objectIds)
java.lang.String getDefaultPortal()
java.lang.String getDefaultDisplay()
java.util.List<java.lang.String> getSkinPriority()
Copyright © 2009-2019. All Rights Reserved.