|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object net.sf.intltyper.lib.KeySequenceList
A list of key/value pairs used to map key sequences to characters.
Field Summary | |
private java.util.Map |
completions
|
private java.io.File |
file
|
private KeySequenceList |
parent
|
Constructor Summary | |
KeySequenceList(KeySequenceList parent)
Creates a new KeySequenceList |
|
KeySequenceList(KeySequenceList parent,
java.io.File file)
Creates a new KeySequenceList |
|
KeySequenceList(KeySequenceList parent,
java.io.InputStream in)
Creates a new KeySequenceList |
Method Summary | |
java.lang.String |
get(java.lang.String key)
Return a value for a key. |
java.util.Set |
getKeys()
Return a Set containing all keys (from both this list and its parent). |
private java.util.HashSet |
getKeySet()
Return a Set containing all keys (from both this list and its parent). |
java.util.Set |
getLocalKeys()
Return a Set containing keys only from this list. |
boolean |
hasDef(java.lang.String value)
Check if there is a (public) key for a value. |
private void |
initData(java.io.InputStream in)
Initialize a KeySequenceList from an InputStream. |
void |
put(java.lang.String key,
java.lang.String value)
Put a key/value pair into this list. |
void |
save()
Save the keys from this list to a file. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
private java.util.Map completions
private java.io.File file
private KeySequenceList parent
Constructor Detail |
public KeySequenceList(KeySequenceList parent)
parent
- the KeySequenceList to look at for unknown key sequencespublic KeySequenceList(KeySequenceList parent, java.io.File file) throws java.io.IOException
parent
- the KeySequenceList to look at for unknown key sequencesfile
- file to load and save key sequences to
java.io.IOException
- if an error occurspublic KeySequenceList(KeySequenceList parent, java.io.InputStream in) throws java.io.IOException
parent
- the KeySequenceList to look at for unknown key sequencesin
- InputStream to load KeySequences from
java.io.IOException
- if an error occursMethod Detail |
private void initData(java.io.InputStream in) throws java.io.IOException
java.io.IOException
public java.lang.String get(java.lang.String key)
public void put(java.lang.String key, java.lang.String value)
private java.util.HashSet getKeySet()
public java.util.Set getKeys()
public java.util.Set getLocalKeys()
public boolean hasDef(java.lang.String value)
public void save()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |