info.gridworld.gui
Class WorldFrame.GUIExceptionHandler

java.lang.Object
  extended by info.gridworld.gui.WorldFrame.GUIExceptionHandler
Enclosing class:
WorldFrame<T>

public class WorldFrame.GUIExceptionHandler
extends java.lang.Object

Nested class that is registered as the handler for exceptions on the Swing event thread. The handler will put up an alert panel and dump the stack trace to the console.


Constructor Summary
WorldFrame.GUIExceptionHandler()
           
 
Method Summary
 void handle(java.lang.Throwable e)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

WorldFrame.GUIExceptionHandler

public WorldFrame.GUIExceptionHandler()
Method Detail

handle

public void handle(java.lang.Throwable e)