| Modifier and Type | Method and Description |
|---|---|
| public MappingMatch | |
| public String | |
| public String | |
| public String | Returns: The name of the servlet (as specified in web.xml,WebServlet#name(),
jakarta. or one of the other
addServlet() methods) that the request was mapped to.
|
| getMappingMatch | back to summary |
|---|---|
public MappingMatch getMappingMatch()
| |
| getMatchValue | back to summary |
|---|---|
public String getMatchValue()
| |
| getPattern | back to summary |
|---|---|
public String getPattern()
| |
| getServletName | back to summary |
|---|---|
public String getServletName()
| |