public interface IWidgetTokenOwnerExtension
IWidgetTokenOwner
.
Replaces the original requestWidgetToken
functionality with a
new priority based approach.
Modifier and Type | Method and Description |
---|---|
boolean |
requestWidgetToken(IWidgetTokenKeeper requester,
int priority)
Requests the widget token from this token owner.
|
boolean requestWidgetToken(IWidgetTokenKeeper requester, int priority)
true
if the token has been acquired or is
already owned by the requester. This method is non-blocking.
priority
is forwarded to any existing token keeper
to give it an estimate on whether the request has higher priority than
the current keeper's. There is, however, no guarantee that another keeper
will release the token even if it has a high priority.
requester
- the token requesterpriority
- the priority of the requesttrue
if requester acquires the token,
false
otherwise
Copyright (c) 2000, 2015 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.