| javax.servlet.http.HttpServlet org.sakaiproject.jsf.util.JsfTool
All known Subclasses: org.theospi.portfolio.shared.control.servlet.HelperAwareJsfTool, org.sakaiproject.tool.syllabus.SyllabusFilePickerServlet, org.sakaiproject.jsf.util.SamigoJsfTool, org.sakaiproject.jsf.util.HelperAwareJsfTool, org.sakaiproject.tool.messageforums.MessageForumsFilePickerServlet, org.sakaiproject.tool.section.jsf.JsfTool, org.sakaiproject.sample.tool.JsfSampleTool, org.sakaiproject.tool.help.HelpJsfTool,
JsfTool | public class JsfTool extends HttpServlet (Code) | |
Sakai Servlet to use for all JSF tools.
author: University of Michigan, Sakai Software Development Team version: $Revision: 9278 $ |
Field Summary | |
final protected static String | JSF_EXT The file extension to get to JSF. | final public static String | LAST_VIEW_VISITED Session attribute to hold the last view visited. | final public static String | URL_EXT Request attribute we set to help the return URL know what extension we (or jsf) add (does not need to be in the URL. | final public static String | URL_PATH Request attribute we set to help the return URL know what path we add (does not need to be in the URL. | protected String | m_default The default target, as configured. | protected boolean | m_defaultToLastView if true, we preserve the last visit per placement / user, and use it if we get a request with no path. | protected String | m_path The folder to the jsf files, as configured. |
JSF_EXT | final protected static String JSF_EXT(Code) | | The file extension to get to JSF.
|
LAST_VIEW_VISITED | final public static String LAST_VIEW_VISITED(Code) | | Session attribute to hold the last view visited.
|
URL_EXT | final public static String URL_EXT(Code) | | Request attribute we set to help the return URL know what extension we (or jsf) add (does not need to be in the URL.
|
URL_PATH | final public static String URL_PATH(Code) | | Request attribute we set to help the return URL know what path we add (does not need to be in the URL.
|
m_default | protected String m_default(Code) | | The default target, as configured.
|
m_defaultToLastView | protected boolean m_defaultToLastView(Code) | | if true, we preserve the last visit per placement / user, and use it if we get a request with no path.
|
m_path | protected String m_path(Code) | | The folder to the jsf files, as configured. Does not end with a "/".
|
computeDefaultTarget | protected String computeDefaultTarget()(Code) | | Compute a target (i.e. the servlet path info, not including folder root or jsf extension) for the case of the actual path being empty.
The servlet info path target computed for the case of empty actual path. |
destroy | public void destroy()(Code) | | Shutdown the servlet.
|
getServletInfo | public String getServletInfo()(Code) | | Access the Servlet's information display.
servlet information. |
isResourceRequest | protected boolean isResourceRequest(String path)(Code) | | Recognize a path that is a resource request. It must have an "extension", i.e. a dot followed by characters that do not include a slash.
Parameters: path - The path to check true if the path is a resource request, false if not. |
redirectRequestedTarget | protected String redirectRequestedTarget(String target)(Code) | | Compute a new target (i.e. the servlet path info, not including folder root or jsf extension) if needed based on the requested target.
Parameters: target - The servlet path info target requested. The target we will actually respond with. |
Methods inherited from javax.servlet.http.HttpServlet | protected void doDelete(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException(Code)(Java Doc) protected void doGet(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException(Code)(Java Doc) protected void doHead(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException(Code)(Java Doc) protected void doOptions(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException(Code)(Java Doc) protected void doPost(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException(Code)(Java Doc) protected void doPut(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException(Code)(Java Doc) protected void doTrace(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException(Code)(Java Doc) protected long getLastModified(HttpServletRequest req)(Code)(Java Doc) protected void service(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException(Code)(Java Doc) public void service(ServletRequest req, ServletResponse res) throws ServletException, IOException(Code)(Java Doc)
|
|
|