framework
Class GameEndEvent

java.lang.Object
  java.util.EventObject
      framework.GameEvent
          framework.GameEndEvent

All Implemented Interfaces:

Serializable

public class GameEndEvent
extends GameEvent

An event indicating that a game has ended.

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.EventObject

source

Constructor Summary

GameEndEvent(Game game)

GameEndEvent(Game game, Map props)

Method Summary

Map	getProperties()
Object	getProperty(String key)
void	setProperty(String key, Object value)

Methods inherited from class framework.GameEvent

getGame

Methods inherited from class java.util.EventObject

getSource, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

GameEndEvent

public GameEndEvent(Game game)

GameEndEvent

public GameEndEvent(Game game,
                    Map props)

Method Detail

getProperty

public Object getProperty(String key)

setProperty

public void setProperty(String key,
                        Object value)

getProperties

public Map getProperties()