package psl;
   
   import ensure.Ensure;
   
   /**
    * Default implementation of an exception handler.
    */
   public class DefaultExceptionHandler implements ExceptionHandler {
   	/**
  	 * Creates a new default exception handler.
  	 */
  	public DefaultExceptionHandler() {
  		/*
  		 * Nothing to do.
  		 */
  	}
  	
  	@Override
  	public void thrown(DispatcherOp<?> op, Object subscriber, Throwable t,
  			Thread dt) {
  		Ensure.not_null(op, "op == null");
  		Ensure.not_null(subscriber, "subscriber == null");
  		Ensure.not_null(t, "t == null");
  		Ensure.not_null(dt, "dt == null");
  		
  		/*
  		 * PMD complains about printing the stack trace but that is
  		 * exactly what we should be doing here.
  		 */
  		t.printStackTrace(); 
  	}
  	
  	@Override
  	public void thrown(Runnable task, Throwable t, Thread dt) {
  		Ensure.not_null(task, "task == null");
  		Ensure.not_null(t, "t == null");
  		Ensure.not_null(dt, "dt == null");
  		
  		/*
  		 * PMD complains about printing the stack trace but that is
  		 * exactly what we should be doing here.
  		 */
  		t.printStackTrace(); 
  	}
  	
  	@Override
  	public void thrown(Throwable t) {
  		Ensure.not_null(t, "t == null");
  		
  		/*
  		 * PMD complains about printing the stack trace but that is
  		 * exactly what we should be doing here.
  		 */
  		t.printStackTrace(); 
  	}
  }