Package | Description |
---|---|
org.key_project.util.lookup |
Modifier and Type | Method and Description |
---|---|
<T> java.util.List<LookupListener> |
Lookup.getListeners(java.lang.Class<?> name) |
Modifier and Type | Method and Description |
---|---|
<T> void |
Lookup.addChangeListener(java.lang.Class<T> name,
LookupListener listener) |
void |
Lookup.addChangeListener(LookupListener listener) |
<T> void |
Lookup.removeChangeListener(java.lang.Class<?> name,
LookupListener listener) |
void |
Lookup.removeChangeListener(LookupListener listener) |
Copyright © 2003-2019 The KeY-Project.