|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface PriorityCaster
A priority caster can be anything, that supports different levels of importance, that can change internally without interference from the outside. To radiate such internal changes to the outside, a priority caster can cast changing priorities to registered listeners.
Lower priority means lower priority number.
It is recomended, but not enforced, that priorites start at
Thread.MIN_PRIORITY and end at Threasd#MAX_PRIORITY, which
is in the current version start at 1, end at 10.
| Method Summary | |
|---|---|
void |
addPriorityListener(PriorityListener ear)
Registers a priority listener to this caster. |
int |
currentPriority(String id)
Returns the current priority of the caster's named property |
void |
removePriorityListener(PriorityListener ear)
Deregisters a priority listener from this caster. |
| Method Detail |
|---|
void addPriorityListener(PriorityListener ear)
void removePriorityListener(PriorityListener ear)
int currentPriority(String id)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||