Re: Prioritizing message handling in actors

David Pollak wrote:
> Is there a way to prioritize message handling in Actors... basically, 
> optionally drain all the "Foo" messages from the mailbox before handling 
> any other messages or in other ways "look ahead" into the message queue?

Using `receiveWithin'/`reactWithin' you can do some kind of look-ahead. 
The following function first removes all `Foo' messages from the mailbox 
and then returns (note the timeout of 0 in `receiveWithin'):

def drainFoo() {
  receiveWithin(0) {
    case Foo => drainFoo()
    case TIMEOUT => // do nothing
  }
}

Prioritizing can be done in general using `receiveWithin'/`reactWithin'. 
 Hope this helps.

   Philipp