org.jcsp.awt

Class MouseEventHandler

java.lang.Object

org.jcsp.awt.MouseEventHandler

All Implemented Interfaces:

java.awt.event.MouseListener, java.util.EventListener

class MouseEventHandler
extends java.lang.Object
implements java.awt.event.MouseListener

Field Summary

Fields

Modifier and Type	Field and Description
private ChannelOutput	event The channel down which action event notifications are sent.

Constructor Summary

Constructors

Constructor and Description
MouseEventHandler(ChannelOutput event) constructs a new MouseEventHandler with the specified output channel

Method Summary

Modifier and Type	Method and Description
void	mouseClicked(java.awt.event.MouseEvent e) Assumes the event channel is being serviced (eg by an overwriting channel).
void	mouseEntered(java.awt.event.MouseEvent e) Assumes the event channel is being serviced (eg by an overwriting channel).
void	mouseExited(java.awt.event.MouseEvent e) Assumes the event channel is being serviced (eg by an overwriting channel).
void	mousePressed(java.awt.event.MouseEvent e) Assumes the event channel is being serviced (eg by an overwriting channel).
void	mouseReleased(java.awt.event.MouseEvent e) Assumes the event channel is being serviced (eg by an overwriting channel).

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

event

private ChannelOutput event

The channel down which action event notifications are sent.

Constructor Detail

MouseEventHandler

public MouseEventHandler(ChannelOutput event)

constructs a new MouseEventHandler with the specified output channel

Parameters:

event - the Channel to which to send the event notification

Method Detail

mouseClicked

public void mouseClicked(java.awt.event.MouseEvent e)

Assumes the event channel is being serviced (eg by an overwriting channel).

Specified by:

mouseClicked in interface java.awt.event.MouseListener

Parameters:

e - The parameters associated with this event

mousePressed

public void mousePressed(java.awt.event.MouseEvent e)

Assumes the event channel is being serviced (eg by an overwriting channel).

Specified by:

mousePressed in interface java.awt.event.MouseListener

Parameters:

e - The parameters associated with this event

mouseReleased

public void mouseReleased(java.awt.event.MouseEvent e)

Assumes the event channel is being serviced (eg by an overwriting channel).

Specified by:

mouseReleased in interface java.awt.event.MouseListener

Parameters:

e - The parameters associated with this event

mouseEntered

public void mouseEntered(java.awt.event.MouseEvent e)

Assumes the event channel is being serviced (eg by an overwriting channel).

Specified by:

mouseEntered in interface java.awt.event.MouseListener

Parameters:

e - The parameters associated with this event

mouseExited

public void mouseExited(java.awt.event.MouseEvent e)

Assumes the event channel is being serviced (eg by an overwriting channel).

Specified by:

mouseExited in interface java.awt.event.MouseListener

Parameters:

e - The parameters associated with this event