1
//////////////////////////////////////////////////////////////////////
3
// JCSP ("CSP for Java") Libraries //
4
// Copyright (C) 1996-2008 Peter Welch and Paul Austin. //
5
// 2001-2004 Quickstone Technologies Limited. //
7
// This library is free software; you can redistribute it and/or //
8
// modify it under the terms of the GNU Lesser General Public //
9
// License as published by the Free Software Foundation; either //
10
// version 2.1 of the License, or (at your option) any later //
13
// This library is distributed in the hope that it will be //
14
// useful, but WITHOUT ANY WARRANTY; without even the implied //
15
// warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR //
16
// PURPOSE. See the GNU Lesser General Public License for more //
19
// You should have received a copy of the GNU Lesser General //
20
// Public License along with this library; if not, write to the //
21
// Free Software Foundation, Inc., 59 Temple Place, Suite 330, //
22
// Boston, MA 02111-1307, USA. //
24
// Author contact: P.H.Welch@kent.ac.uk //
27
//////////////////////////////////////////////////////////////////////
31
import org.jcsp.lang.*;
32
import java.awt.event.*;
35
* @author P.D. Austin and P.H. Welch
37
class WindowEventHandler implements WindowListener
40
* The Channel action event notifications are sent down.
42
protected ChannelOutput event;
45
* constructs a new WindowEventHandler with the specified output Channel.
47
* @param event The Channel to send the event notification down
49
public WindowEventHandler(ChannelOutput event)
55
* Invoked when the Component the event handler is listening to has the window
56
* opened. Notifies the event process that a WindowEvent has
57
* occurred by sending the WindowEvent Object. Some notifications will be
58
* lost so there are no guarantees that all events generated will be
61
* @param e The parameters associated with this event
63
public void windowOpened(WindowEvent e)
69
* Invoked when the Component the event handler is listening to has the window
70
* start to close. Notifies the event process that a WindowEvent has
71
* occurred by sending the WindowEvent Object. Some notifications will be
72
* lost so there are no guarantees that all events generated will be
75
* @param e The parameters associated with this event
77
public void windowClosing(WindowEvent e)
83
* Invoked when the Component the event handler is listening to has the window
84
* closed. Notifies the event process that a WindowEvent has
85
* occurred by sending the WindowEvent Object. Some notifications will be
86
* lost so there are no guarantees that all events generated will be
89
* @param e The parameters associated with this event
91
public void windowClosed(WindowEvent e)
97
* Invoked when the Component the event handler is listening to has the window
98
* iconified. Notifies the event process that a WindowEvent has
99
* occurred by sending the WindowEvent Object. Some notifications will be
100
* lost so there are no guarantees that all events generated will be
103
* @param e The parameters associated with this event
105
public void windowIconified(WindowEvent e)
111
* Invoked when the Component the event handler is listening to has the window
112
* deiconified. Notifies the event process that a WindowEvent has
113
* occurred by sending the WindowEvent Object. Some notifications will be
114
* lost so there are no guarantees that all events generated will be
117
* @param e The parameters associated with this event
119
public void windowDeiconified(WindowEvent e)
125
* Invoked when the Component the event handler is listening to has the window
126
* activated. Notifies the event process that a WindowEvent has
127
* occurred by sending the WindowEvent Object. Some notifications will be
128
* lost so there are no guarantees that all events generated will be
131
* @param e The parameters associated with this event
133
public void windowActivated(WindowEvent e)
139
* Invoked when the Component the event handler is listening to has the window
140
* deactivated. Notifies the event process that a WindowEvent has
141
* occurred by sending the WindowEvent Object. Some notifications will be
142
* lost so there are no guarantees that all events generated will be
145
* @param e The parameters associated with this event
147
public void windowDeactivated(WindowEvent e)
b'\\ No newline at end of file'