gui
Class PetriBean
java.lang.Object
gui.PetriBean
public class PetriBean
- extends java.lang.Object
Constructor Summary |
PetriBean(java.awt.event.ActionListener _al)
|
Method Summary |
java.lang.String |
getPs()
|
java.lang.String |
getShortCut(java.awt.event.KeyEvent e)
|
java.lang.String |
mapModifiers(java.awt.event.KeyEvent e)
|
boolean |
matchEvent(java.awt.AWTEvent e,
javax.swing.JMenuItem mi)
|
boolean |
matchEvent(java.awt.AWTEvent e,
java.awt.MenuItem mi)
|
boolean |
matchSilent(java.awt.AWTEvent e,
javax.swing.JMenuItem mi)
|
boolean |
matchSilent(java.awt.AWTEvent e,
java.awt.MenuItem mi)
|
void |
processEvent(java.awt.event.KeyEvent e)
|
void |
setPs(java.lang.String ps)
|
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PetriBean
public PetriBean(java.awt.event.ActionListener _al)
matchSilent
public boolean matchSilent(java.awt.AWTEvent e,
java.awt.MenuItem mi)
matchSilent
public boolean matchSilent(java.awt.AWTEvent e,
javax.swing.JMenuItem mi)
getPs
public java.lang.String getPs()
setPs
public void setPs(java.lang.String ps)
processEvent
public void processEvent(java.awt.event.KeyEvent e)
mapModifiers
public java.lang.String mapModifiers(java.awt.event.KeyEvent e)
getShortCut
public java.lang.String getShortCut(java.awt.event.KeyEvent e)
matchEvent
public boolean matchEvent(java.awt.AWTEvent e,
java.awt.MenuItem mi)
matchEvent
public boolean matchEvent(java.awt.AWTEvent e,
javax.swing.JMenuItem mi)