|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface DockTitleFactory
A factory for creating instances of 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)
.
Method Summary | |
---|---|
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 . |
Method Detail |
---|
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
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |