|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.awt.Component
java.awt.Container
java.awt.Window
java.awt.Dialog
org.jcsp.awt.ActiveDialog
public class ActiveDialog
java.awt.Dialog
with a channel interface.
All channels are optional. The configure and event channels are settable from a constructor. The event channel delivers a WindowEvent whenever one is generated on the ActiveDialog. Other event channels can be added to notify the occurrence of any other events the component generates (by calling the appropriate addXXXEventChannel method before the process is run). Messages can be sent down the configure channel at any time to configure the component. See the table below for details.
All channels are managed by independent internal handler processes. It is, therefore, safe for a serial application process both to service an event channel and configure the component – no deadlock can occur.
IMPORTANT: it is essential that event channels from this process are always serviced – otherwise the Java Event Thread will be blocked and the GUI will stop responding. A simple way to guarantee this is to use channels configured with overwriting buffers. For example:
final One2OneChannel myMouseEvent = Channel.one2one (new OverWriteOldestBuffer (n)); final ActiveDialog myDialog = new ActiveDialog (); myDialog.addMouseEventChannel (myMouseEvent.out ());This will ensure that the Java Event Thread will never be blocked. Slow or inattentive readers may miss rapidly generated events, but the n most recent events will always be available.
Input Channels | ||
---|---|---|
configure | Boolean |
|
ActiveDialog.Configure | Invoke the user-defined Configure.configure method on the dialog. | |
Output Channels | ||
event | WindowEvent | The WindowEvent generated by the component |
containerEvent | ContainerEvent | See the addContainerEventChannel method. |
componentEvent | ComponentEvent | See the addComponentEventChannel method. |
focusEvent | FocusEvent | See the addFocusEventChannel method. |
keyEvent | KeyEvent | See the addKeyEventChannel method. |
mouseEvent | MouseEvent | See the addMouseEventChannel method. |
mouseMotionEvent | MouseEvent | See the addMouseMotionEventChannel method. |
import java.awt.*; import java.awt.event.*; import org.jcsp.lang.*; import org.jcsp.util.*; import org.jcsp.awt.*; public class ActiveDialogExample { public static void main (String argv[]) { final Frame root = new Frame (); final One2OneChannel event = Channel.one2one (new OverWriteOldestBuffer (10)); final ActiveDialog dialog = new ActiveDialog (null, event.out (), root, "ActiveDialog Example"); dialog.setSize (300, 200); dialog.setVisible (true); new Parallel ( new CSProcess[] { dialog, new CSProcess () { public void run () { while (true) { WindowEvent w = (WindowEvent) event.in ().read (); System.out.println (w); } } } } ).run (); } }
Dialog
,
ContainerEvent
,
ComponentEvent
,
FocusEvent
,
KeyEvent
,
MouseEvent
,
OverWriteOldestBuffer
,
Serialized FormNested Class Summary | |
---|---|
static interface |
ActiveDialog.Configure
This enables general configuration of this component. |
Nested classes/interfaces inherited from class java.awt.Dialog |
---|
Dialog.AccessibleAWTDialog |
Nested classes/interfaces inherited from class java.awt.Window |
---|
Window.AccessibleAWTWindow |
Nested classes/interfaces inherited from class java.awt.Container |
---|
Container.AccessibleAWTContainer |
Nested classes/interfaces inherited from class java.awt.Component |
---|
Component.AccessibleAWTComponent, Component.BltBufferStrategy, Component.FlipBufferStrategy |
Field Summary |
---|
Fields inherited from class java.awt.Component |
---|
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT |
Fields inherited from interface java.awt.image.ImageObserver |
---|
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
Constructor Summary | |
---|---|
ActiveDialog(ChannelInput configure,
ChannelOutput event,
Frame parent)
Constructs a new non-modal ActiveDialog with a blank title. |
|
ActiveDialog(ChannelInput configure,
ChannelOutput event,
Frame parent,
boolean modal)
Constructs a new ActiveDialog with a blank title. |
|
ActiveDialog(ChannelInput configure,
ChannelOutput event,
Frame parent,
String title)
Constructs a new non-modal ActiveDialog. |
|
ActiveDialog(ChannelInput configure,
ChannelOutput event,
Frame parent,
String title,
boolean modal)
Constructs a new ActiveDialog. |
|
ActiveDialog(Frame parent)
Constructs a new non-modal ActiveDialog with a blank title and no configuration or event channels. |
|
ActiveDialog(Frame parent,
boolean modal)
Constructs a new ActiveDialog with a blank title and no configuration or event channels. |
|
ActiveDialog(Frame parent,
String title)
Constructs a new non-modal ActiveDialog with no configuration or event channels. |
|
ActiveDialog(Frame parent,
String title,
boolean modal)
Constructs a new ActiveDialog with no configuration or event channels. |
Method Summary | |
---|---|
void |
addComponentEventChannel(ChannelOutput componentEvent)
Add a new channel to this component that will be used to notify that a ComponentEvent has occurred. |
void |
addContainerEventChannel(ChannelOutput containerEvent)
Add a new channel to this component that will be used to notify that a ContainerEvent has occurred. |
void |
addFocusEventChannel(ChannelOutput focusEvent)
Add a new channel to this component that will be used to notify that a FocusEvent has occurred. |
void |
addKeyEventChannel(ChannelOutput keyEvent)
Add a new channel to this component that will be used to notify that a KeyEvent has occurred. |
void |
addMouseEventChannel(ChannelOutput mouseEvent)
Add a new channel to this component that will be used to notify that a MouseEvent has occurred. |
void |
addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
Add a new channel to this component that will be used to notify that a MouseMotionEvent has occurred. |
void |
run()
The main body of this process. |
void |
setConfigureChannel(ChannelInput configure)
Sets the configuration channel for this ActiveDialog. |
Methods inherited from class java.awt.Dialog |
---|
addNotify, getAccessibleContext, getTitle, hide, isModal, isResizable, isUndecorated, paramString, setModal, setResizable, setTitle, setUndecorated, show |
Methods inherited from class java.lang.Object |
---|
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ActiveDialog(Frame parent)
parent
- the parent frame for the dialog.public ActiveDialog(Frame parent, boolean modal)
parent
- the parent frame for the dialog.modal
- if true, dialog blocks input to the parent window when shown.public ActiveDialog(Frame parent, String title)
parent
- the parent frame for the dialog.title
- the title of the dialog.public ActiveDialog(Frame parent, String title, boolean modal)
parent
- the parent frame for the dialog.title
- the title of the dialog.modal
- if true, dialog blocks input to the parent window when shown.public ActiveDialog(ChannelInput configure, ChannelOutput event, Frame parent)
configure
- the channel for configuration events
(can be null if no configuration is required).event
- the WindowEvent will be output whenever it occurs
(can be null if no notification is required).parent
- the parent frame for the dialog.public ActiveDialog(ChannelInput configure, ChannelOutput event, Frame parent, boolean modal)
configure
- the channel for configuration events
(can be null if no configuration is required).event
- the WindowEvent will be output whenever it occurs
(can be null if no notification is required).parent
- the parent frame for the dialog.modal
- if true, dialog blocks input to the parent window when shown.public ActiveDialog(ChannelInput configure, ChannelOutput event, Frame parent, String title)
configure
- the channel for configuration events
(can be null if no configuration is required).event
- the WindowEvent will be output whenever it occurs
(can be null if no notification is required).parent
- the parent frame for the dialog.title
- the title of the dialog.public ActiveDialog(ChannelInput configure, ChannelOutput event, Frame parent, String title, boolean modal)
configure
- the channel for configuration events
(can be null if no configuration is required).event
- the WindowEvent will be output whenever it occurs
(can be null if no notification is required).parent
- the parent frame for the dialog.title
- the title of the dialog.modal
- if true, dialog blocks input to the parent window when shown.Method Detail |
---|
public void setConfigureChannel(ChannelInput configure)
configure
- the channel for configuration events
(can be null if no configuration is required).public void addContainerEventChannel(ChannelOutput containerEvent)
NOTE: This method must be called before this process is run.
containerEvent
- the channel down which to send ContainerEvents.public void addComponentEventChannel(ChannelOutput componentEvent)
NOTE: This method must be called before this process is run.
componentEvent
- the channel down which to send ComponentEvents.public void addFocusEventChannel(ChannelOutput focusEvent)
NOTE: This method must be called before this process is run.
focusEvent
- the channel down which to send FocusEvents.public void addKeyEventChannel(ChannelOutput keyEvent)
NOTE: This method must be called before this process is run.
keyEvent
- the channel down which to send KeyEvents.public void addMouseEventChannel(ChannelOutput mouseEvent)
NOTE: This method must be called before this process is run.
mouseEvent
- the channel down which to send MouseEvents.public void addMouseMotionEventChannel(ChannelOutput mouseMotionEvent)
NOTE: This method must be called before this process is run.
mouseMotionEvent
- the channel down which to send MouseMotionEvents.public void run()
run
in interface CSProcess
|
CSP for Java (JCSP) 1.1-rc4 |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |