FileDocCategorySizeDatePackage
PlayerQueue.javaAPI DocExample867Tue Dec 12 18:58:42 GMT 2000bingo.player

PlayerQueue

public class PlayerQueue extends EventQueue

Fields Summary
private Player
player
Constructors Summary
public PlayerQueue(Player player)

	super();
	this.player = player;
    
Methods Summary
protected voiddispatchEvent(java.awt.AWTEvent event)
As of 1.2, this method gets called from the event-handling thread that's dedicated to this PlayerQueue. (In 1.1, this method doesn't exist in EventQueue, and the thread calls event.src.dispatchEvent instead.)

	//XXX Duplicate 1.1 behavior (to avoid duplicating code).
	//XXX If this app is 1.2 only, then call player.handleIWonEvent
	//XXX here.
	//XXX (Or maybe we should perform a 1.2 vs. 1.1 test instead?)
	player.dispatchEvent(event); //duplicate 1.1 behavior (to avoid
				     //duplicating code)