| Modifier and Type | Method and Description |
|---|---|
UrlResourcePath |
ServletAdapterFactory.getServletPath()
Returns the
Stream of UrlResourcePaths that are exposed by the servlet. |
| Modifier and Type | Method and Description |
|---|---|
Stream<UrlResourcePath> |
ServletUrlResourcePaths.getBasePaths()
Returns the base paths found in the model.
|
Stream<UrlResourcePath> |
UrlResourcePath.subPaths()
A
Stream of child paths. |
| Modifier and Type | Method and Description |
|---|---|
void |
ServletUrlResourcePaths.UrlResourcePathVisitor.foundPublicEvents(UrlResourcePath path,
Stream<String> publicEvents)
Called when a
UrlResourcePath is found with a public event. |
void |
ServletUrlResourcePaths.UrlResourcePathVisitor.foundPublicPath(UrlResourcePath publicPath)
Called when a public
UrlResourcePath is found. |
Copyright © 2023. All rights reserved.