Class core.Mailbox

• allocEventQueue(int size) - Discard events and allocate new (empty) queue
• freeEventQueue() - Discard all events
• getNumQueuedEvents() : int - thread-safe way to get the number of queued events
• peekEvent(int id) : Event - Return reference to oldest event that matches the given id
• peekEvent() : Event - Return reference to oldest event without removing it from the queue
• sendEvent(Event ev) - Create a copy of "ev" (deref value) and add to queue
• waitEvent(int id, timeout) : Event - Wait until next event arrives that matches the given id or until timeout expires. return null or next event
• waitEvent(int timeout) : Event - Wait until next event arrives or until timeout expires. return null or next event