public interface Fragment
| Modifier and Type | Method and Description |
|---|---|
void |
addChild(Fragment child)
Adds an child to the fragment
|
void |
createURL(PortalURL url)
Creates an URL pointing to this fragment
|
java.util.Collection |
getChildFragments()
Returns a collection of all child fragments
|
java.lang.String |
getId()
Returns the identifier of this fragment.
|
Parameters |
getInitParameters()
Returns the initialization parameters of this fragment
|
Navigation |
getNavigation()
Returns the navigational information linked with this fragment.
|
Fragment |
getParent()
Returns the parent fragment.
|
boolean |
isPartOfURL(PortalURL url)
Returns true if the fragment is part of the URL
|
void |
service(javax.servlet.http.HttpServletRequest request,
javax.servlet.http.HttpServletResponse response)
Is called to render the fragment.
|
void service(javax.servlet.http.HttpServletRequest request,
javax.servlet.http.HttpServletResponse response)
throws javax.servlet.ServletException,
java.io.IOException
request - the servlet requestresponse - the servlet responsejavax.servlet.ServletExceptionjava.io.IOExceptionjava.lang.String getId()
Fragment getParent()
Parameters getInitParameters()
java.util.Collection getChildFragments()
void addChild(Fragment child)
child - the child fragmentNavigation getNavigation()
void createURL(PortalURL url)
url - the PortalURL object usedboolean isPartOfURL(PortalURL url)
url - the PortalURL object usedCopyright © 2003-2013 . All Rights Reserved.