public class PageRegistryServiceFileImpl extends PageRegistryService
PageRegistryService.
This store persit the PageRegistry informations.
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
CONFIG_FILE |
static java.lang.String |
DEFAULT_MAPPING |
Constructor and Description |
---|
PageRegistryServiceFileImpl() |
Modifier and Type | Method and Description |
---|---|
void |
addFragment(Fragment fragment)
Add a fragment to the page registry.
|
Fragment |
getFragment(java.lang.String id)
Returns the fragment with the given id.
|
RootFragment |
getRootFragment()
Returns the description of the complete portal site.
|
void |
init(javax.servlet.ServletConfig config,
Properties properties)
Initializes the service using the servlet configuration
and the service properties.
|
void |
postInit(javax.servlet.ServletConfig config)
This methods can be used to setup things after the services has
been initialized via init.
|
public static final java.lang.String CONFIG_FILE
public static final java.lang.String DEFAULT_MAPPING
public void init(javax.servlet.ServletConfig config, Properties properties) throws java.lang.Exception
Service
public void postInit(javax.servlet.ServletConfig config) throws java.lang.Exception
Service
public RootFragment getRootFragment()
PageRegistryService
getRootFragment
in class PageRegistryService
public Fragment getFragment(java.lang.String id)
PageRegistryService
getFragment
in class PageRegistryService
public void addFragment(Fragment fragment) throws java.lang.Exception
PageRegistryService
addFragment
in class PageRegistryService
fragment
- the fragment to addjava.lang.Exception
Copyright © 2003-2013 . All Rights Reserved.