|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface ApplicationExtension
A servlet that allows remote management of the application.
| Method Summary | |
|---|---|
Set<String> |
excludes()
Returns the set of request paths that should be excluded from request management. |
void |
init(ApplicationContext context)
Initialises the extensions with the context of the application. |
String |
mapping()
Returns the mapping of this extension. |
String |
name()
Returns the name of this extension. |
| Methods inherited from interface javax.servlet.Servlet |
|---|
destroy, getServletConfig, getServletInfo, init, service |
| Method Detail |
|---|
void init(ApplicationContext context)
throws Exception
context - the application context
Exception - if the extension cannot be initialisedString name()
String mapping()
Set<String> excludes()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||