public static class ServerProperties.Servlet extends Object
Constructor and Description |
---|
Servlet() |
Modifier and Type | Method and Description |
---|---|
String |
getApplicationDisplayName() |
Map<String,String> |
getContextParameters() |
String |
getContextPath() |
Jsp |
getJsp() |
String |
getPath() |
String |
getPath(String path)
Deprecated.
since 2.0.4 in favor of
DispatcherServletPath.getRelativePath(String) |
String[] |
getPathsArray(Collection<String> paths)
Deprecated.
since 2.0.4 in favor of
DispatcherServletPath.getRelativePath(String) |
String[] |
getPathsArray(String[] paths)
Deprecated.
since 2.0.4 in favor of
DispatcherServletPath.getRelativePath(String) |
String |
getServletMapping()
Deprecated.
since 2.0.4 in favor of
DispatcherServletPath.getServletUrlMapping() |
String |
getServletPrefix()
Deprecated.
since 2.0.4 in favor of
DispatcherServletPath.getPrefix() |
Session |
getSession() |
void |
setApplicationDisplayName(String displayName) |
void |
setContextPath(String contextPath) |
void |
setPath(String path) |
public String getContextPath()
public void setContextPath(String contextPath)
public String getApplicationDisplayName()
public void setApplicationDisplayName(String displayName)
public String getPath()
public void setPath(String path)
public Jsp getJsp()
public Session getSession()
@Deprecated public String getServletMapping()
DispatcherServletPath.getServletUrlMapping()
@Deprecated public String getPath(String path)
DispatcherServletPath.getRelativePath(String)
path
- the path to make relative@Deprecated public String getServletPrefix()
DispatcherServletPath.getPrefix()
@Deprecated public String[] getPathsArray(Collection<String> paths)
DispatcherServletPath.getRelativePath(String)
paths
- the source paths@Deprecated public String[] getPathsArray(String[] paths)
DispatcherServletPath.getRelativePath(String)
paths
- the source pathsCopyright © 2019 Pivotal Software, Inc.. All rights reserved.