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.ServletException
java.io.IOException
java.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.