edu.rice.cs.drjava.ui
Class KeyBindingManager.KeyStrokeData

java.lang.Object
  edu.rice.cs.drjava.ui.KeyBindingManager.KeyStrokeData

Enclosing class:

KeyBindingManager

public static class KeyBindingManager.KeyStrokeData
extends Object

Field Summary

private Action	_a
private JMenuItem	_jmi
private Vector<KeyStroke>	_ks
private String	_name
private VectorOption<KeyStroke>	_vkso

Constructor Summary

KeyBindingManager.KeyStrokeData(Vector<KeyStroke> ks, Action a, JMenuItem jmi, String name, VectorOption<KeyStroke> vkso)

Method Summary

Action	getAction()
JMenuItem	getJMenuItem()
Vector<KeyStroke>	getKeyStrokes()
String	getName()
VectorOption<KeyStroke>	getOption()
void	setAction(Action a)
void	setJMenuItem(JMenuItem jmi)
void	setKeyStrokes(Vector<KeyStroke> ks)
void	setName(String name)
void	setOption(VectorOption<KeyStroke> vkso)

Methods inherited from class java.lang.Object

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

Field Detail

_ks

private Vector<KeyStroke> _ks

_a

private Action _a

_jmi

private JMenuItem _jmi

_name

private String _name

_vkso

private VectorOption<KeyStroke> _vkso

Constructor Detail

KeyBindingManager.KeyStrokeData

public KeyBindingManager.KeyStrokeData(Vector<KeyStroke> ks,
                                       Action a,
                                       JMenuItem jmi,
                                       String name,
                                       VectorOption<KeyStroke> vkso)

Method Detail

getKeyStrokes

public Vector<KeyStroke> getKeyStrokes()

getAction

public Action getAction()

getJMenuItem

public JMenuItem getJMenuItem()

getName

public String getName()

getOption

public VectorOption<KeyStroke> getOption()

setKeyStrokes

public void setKeyStrokes(Vector<KeyStroke> ks)

setAction

public void setAction(Action a)

setJMenuItem

public void setJMenuItem(JMenuItem jmi)

setName

public void setName(String name)

setOption

public void setOption(VectorOption<KeyStroke> vkso)