public interface DispatchElement
Modifier and Type | Method and Description |
---|---|
DispatchElement |
consumePathFragment(String pathFragment)
Visits a path element.
|
PageInstance |
getPageInstance()
Returns the PageInstance of this element.
|
void |
setPageInstance(PageInstance pageInstance)
Sets the PageInstance of this element.
|
static final String copyright
PageInstance getPageInstance()
void setPageInstance(PageInstance pageInstance)
DispatchElement consumePathFragment(String pathFragment)
pathFragment
- one of the elements of the path being visited (e.g. in /a/b/c, one path fragment might be
the string "a")