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

Constructor Detail

PetriBean

public PetriBean(java.awt.event.ActionListener _al)

Method Detail

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)