public interface DockTitleFactory
DockTitle
. Clients might install
DockTitleRequest
s on this factory such that this factory can always
change the title that is currently shown. A factory should call
DockTitleRequest.answer(DockTitle)
only when requested so, meaning
only if the method request(DockTitleRequest)
is called. If a factory
wishes to exchange a title it should call DockTitleRequest.request()
which
in return might then call request(DockTitleRequest)
.Modifier and Type | Method and Description |
---|---|
void |
install(DockTitleRequest request)
Informs this factory that it might need to create a
DockTitle for
request . |
void |
request(DockTitleRequest request)
Asks this factory to provide a
DockTitle for request ,
this method should call DockTitleRequest.answer(DockTitle) . |
void |
uninstall(DockTitleRequest request)
Informs this factory that it no longer requires to provide any titles
for
request . |
void install(DockTitleRequest request)
DockTitle
for
request
.request
- the new requestvoid request(DockTitleRequest request)
DockTitle
for request
,
this method should call DockTitleRequest.answer(DockTitle)
. Note
that this method may be called for requests that are not installed!request
- the request to answervoid uninstall(DockTitleRequest request)
request
.request
- the request that is no longer managed by this factory