public interface RepositoryChangeListener
extends java.util.EventListener
| Modifier and Type | Method and Description |
|---|---|
void |
dictionaryChanged(RepositoryChange change, RuleRepository rr)
Notification that a dictionary has changed.
|
void dictionaryChanged(RepositoryChange change, RuleRepository rr)
change - dictionary change notification information.rr - the RuleRepository instance that detected the change.