: Class SpecWindowCloser

Overview

Package

Class

Tree

Deprecated

Index

Help

PREV CLASS NEXT CLASS

FRAMES NO FRAMES

SUMMARY: INNER | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

EASE.Agents.Specification
Class SpecWindowCloser

java.lang.Object
  |
  +--java.awt.event.WindowAdapter
        |
        +--EASE.Agents.Specification.SpecWindowCloser

Constructor Summary
`(package private)`	`SpecWindowCloser()`

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

Constructor Detail

SpecWindowCloser()

Method Detail

public void windowClosing(java.awt.event.WindowEvent e)