|
||||||||||
| 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
DockTitleRequests 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 | |||||||||