| Package | Description |
|---|---|
| org.corpus_tools.salt.extensions.notification | |
| org.corpus_tools.salt.extensions.notification.graph.impl |
| Modifier and Type | Field and Description |
|---|---|
Listener.NOTIFICATION_TYPE |
Listener.Event.type |
| Modifier and Type | Method and Description |
|---|---|
static Listener.NOTIFICATION_TYPE |
Listener.NOTIFICATION_TYPE.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Listener.NOTIFICATION_TYPE[] |
Listener.NOTIFICATION_TYPE.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
| Modifier and Type | Method and Description |
|---|---|
void |
Listener.notify(Listener.NOTIFICATION_TYPE type,
org.corpus_tools.salt.graph.GRAPH_ATTRIBUTES attribute,
Object oldValue,
Object newValue,
Object container)
A notification about any change in a
Notifier object. |
| Constructor and Description |
|---|
Event(Listener.NOTIFICATION_TYPE type,
org.corpus_tools.salt.graph.GRAPH_ATTRIBUTES attribute,
Object oldValue,
Object newValue,
Object container) |
| Modifier and Type | Method and Description |
|---|---|
static void |
NotifierHelper.notify(List<Listener> listenerList,
Listener.NOTIFICATION_TYPE type,
org.corpus_tools.salt.graph.GRAPH_ATTRIBUTES attribute,
Object oldValue,
Object newValue,
Object container)
Passes the notification to all listeners in list.
|
Copyright © 2009–2020 Humboldt-Universität zu Berlin, INRIA. All rights reserved.