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