EASE.Sensing.Specification
Class Specification.WindowCloser

java.lang.Object
  |
  +--java.awt.event.WindowAdapter
        |
        +--EASE.Sensing.Specification.Specification.WindowCloser

class Specification.WindowCloser
extends java.awt.event.WindowAdapter

Either get rid of the window or just hide it when the close button is pressed, depends on the value of exit (true for dispose).


Field Summary
 boolean exit
           
private  Specification s
           
 
Constructor Summary
Specification.WindowCloser(Specification s)
           
 
Method Summary
 void windowClosing(java.awt.event.WindowEvent e)
           
 
Methods inherited from class java.awt.event.WindowAdapter
windowActivated, windowClosed, windowDeactivated, windowDeiconified, windowIconified, windowOpened
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

exit

public boolean exit

s

private Specification s
Constructor Detail

Specification.WindowCloser

public Specification.WindowCloser(Specification s)
Method Detail

windowClosing

public void windowClosing(java.awt.event.WindowEvent e)
Overrides:
windowClosing in class java.awt.event.WindowAdapter