| Package | Description |
|---|---|
| org.eclipse.jetty.servlet |
Jetty Server : Modular Servlet Integration
|
| Modifier and Type | Field | Description |
|---|---|---|
protected Source |
BaseHolder._source |
|
static Source |
Source.EMBEDDED |
|
static Source |
Source.JAVAX_API |
| Modifier and Type | Method | Description |
|---|---|---|
Source |
BaseHolder.getSource() |
|
Source |
ServletMapping.getSource() |
| Modifier and Type | Method | Description |
|---|---|---|
FilterHolder |
ServletHandler.newFilterHolder(Source source) |
|
ListenerHolder |
ServletHandler.newListenerHolder(Source source) |
|
ServletHolder |
ServletHandler.newServletHolder(Source source) |
Add a new servlet holder
|
| Constructor | Description |
|---|---|
BaseHolder(Source source) |
|
FilterHolder(Source source) |
Constructor
|
Holder(Source source) |
|
ListenerHolder(Source source) |
|
ServletHolder(Source creator) |
Constructor .
|
ServletMapping(Source source) |
Copyright © 1995–2017 Webtide. All rights reserved.