Class NamedKeyManager

java.lang.Object

VASSAL.tools.NamedKeyManager

public class NamedKeyManager
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected static final NamedKeyManager	instance
protected static final int	NAMED_END
protected static final int	NAMED_START
protected static int	nextNamedKey
protected static final Map<String,KeyStroke>	strokes

Constructor Summary

Constructors

Constructor	Description
NamedKeyManager()

Method Summary

Modifier and Type	Method	Description
static NamedKeyManager	getInstance()
KeyStroke	getKeyStroke(String name, KeyStroke ks)	Return the generated KeyStroke associated with the name
int	getNextStroke()	Return the next KeyStroke from the pool
static boolean	isNamed(KeyStroke k)	Return true if the supplied KeyStroke is in the range allocated to NamedKeyStrokes

Methods inherited from class java.lang.Object

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

Field Details

instance

protected static final NamedKeyManager instance

NAMED_START

protected static final int NAMED_START

See Also:

• Constant Field Values

NAMED_END

protected static final int NAMED_END

See Also:

• Constant Field Values

nextNamedKey

protected static int nextNamedKey

strokes

protected static final Map<String,KeyStroke> strokes

Constructor Details

NamedKeyManager

public NamedKeyManager()

Method Details

getInstance

public static NamedKeyManager getInstance()

isNamed

public static boolean isNamed(KeyStroke k)

Return true if the supplied KeyStroke is in the range allocated to NamedKeyStrokes

Parameters:

k - KeyStroke

Returns:

true if this was generated by us

getKeyStroke

public KeyStroke getKeyStroke(String name,
 KeyStroke ks)

Return the generated KeyStroke associated with the name

Parameters:

name - NamedKeyStroke name

Returns:

generated KeyStroke

getNextStroke

public int getNextStroke()

Return the next KeyStroke from the pool

Returns:

KeyStroke Id