public class DockSimulationTerminatedEvent extends DockEvent
DockSimulationTerminatedEvent(DockModel dock)
comesFrom, getDock
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public DockSimulationTerminatedEvent(DockModel dock)