public static interface ServletUrlResourcePaths.UrlResourcePathVisitor
| Modifier and Type | Method and Description |
|---|---|
void |
foundPublicEvents(UrlResourcePath path,
Stream<String> publicEvents)
Called when a
UrlResourcePath is found with a public event. |
void |
foundPublicPath(UrlResourcePath publicPath)
Called when a public
UrlResourcePath is found. |
void foundPublicPath(UrlResourcePath publicPath)
UrlResourcePath is found.publicPath - The public UrlResourcePathvoid foundPublicEvents(UrlResourcePath path, Stream<String> publicEvents)
UrlResourcePath is found with a public event.path - The UrlResourcePathpublicEvents - The public events on the given pathCopyright © 2023. All rights reserved.