org.processmining.processtree.editor.editorpanel

Class EditorKeyListenerNameField

java.lang.Object

org.processmining.processtree.editor.editorpanel.EditorKeyListenerNameField

All Implemented Interfaces:

java.awt.event.KeyListener, java.util.EventListener

public class EditorKeyListenerNameField
extends java.lang.Object
implements java.awt.event.KeyListener

Constructor Summary

Constructors

Constructor and Description
EditorKeyListenerNameField(ProcessTree tree, GraphMouseListener graphMouseListener, GraphPanel graphPanel, javax.swing.JTextField nameField, java.util.List<java.lang.Class<? extends ProcessTreeElement>> validElements)

Method Summary

Modifier and Type	Method and Description
void	keyPressed(java.awt.event.KeyEvent arg0)
void	keyReleased(java.awt.event.KeyEvent arg0)
void	keyTyped(java.awt.event.KeyEvent arg0)

Methods inherited from class java.lang.Object

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

Constructor Detail

EditorKeyListenerNameField

public EditorKeyListenerNameField(ProcessTree tree,
                                  GraphMouseListener graphMouseListener,
                                  GraphPanel graphPanel,
                                  javax.swing.JTextField nameField,
                                  java.util.List<java.lang.Class<? extends ProcessTreeElement>> validElements)

Method Detail

keyPressed

public void keyPressed(java.awt.event.KeyEvent arg0)

Specified by:

keyPressed in interface java.awt.event.KeyListener

keyReleased

public void keyReleased(java.awt.event.KeyEvent arg0)

Specified by:

keyReleased in interface java.awt.event.KeyListener

keyTyped

public void keyTyped(java.awt.event.KeyEvent arg0)

Specified by:

keyTyped in interface java.awt.event.KeyListener