1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
package org.eclipse.viatra.solver.data.query.internal;
import java.util.HashMap;
import java.util.HashSet;
import java.util.Map;
import java.util.Set;
import org.eclipse.viatra.query.runtime.matchers.context.IQueryRuntimeContextListener;
import org.eclipse.viatra.query.runtime.matchers.tuple.ITuple;
import org.eclipse.viatra.solver.data.model.Tuple;
import org.eclipse.viatra.solver.data.query.view.RelationView;
public class RelationUpdateListener {
private final Map<RelationView<?>,Set<RelationUpdateListenerEntry<?>>> view2Listeners;
public RelationUpdateListener(Set<RelationView<?>> relationViews) {
view2Listeners = new HashMap<>();
for(RelationView<?> relationView : relationViews) {
view2Listeners.put(relationView, new HashSet<>());
}
}
public boolean containsRelationalView(RelationView<?> relationalKey) {
RelationView<?> relationView = relationalKey.getWrappedKey();
return view2Listeners.containsKey(relationView);
}
public void addListener(RelationView<?> relationalKey, ITuple seed, IQueryRuntimeContextListener listener) {
RelationView<?> relationView = relationalKey.getWrappedKey();
if(view2Listeners.containsKey(relationView)) {
RelationUpdateListenerEntry<?> entry = new RelationUpdateListenerEntry<>(relationalKey, seed, listener);
view2Listeners.get(relationView).add(entry);
} else throw new IllegalArgumentException();
}
public void removeListener(RelationView<?> relationalKey, ITuple seed, IQueryRuntimeContextListener listener) {
RelationView<?> relationView = relationalKey.getWrappedKey();
if(view2Listeners.containsKey(relationView)) {
RelationUpdateListenerEntry<?> entry = new RelationUpdateListenerEntry<>(relationalKey, seed, listener);
view2Listeners.get(relationView).remove(entry);
} else throw new IllegalArgumentException();
}
public <D> void processChange(RelationView<D> relationView, Tuple tuple, D oldValue, D newValue) {
Set<RelationUpdateListenerEntry<?>> listeners = view2Listeners.get(relationView);
if(listeners != null) {
for(RelationUpdateListenerEntry<?> listener : listeners) {
@SuppressWarnings("unchecked")
RelationUpdateListenerEntry<D> typeCorrectListener = (RelationUpdateListenerEntry<D>) listener;
typeCorrectListener.processChange(tuple, oldValue, newValue);
}
} else throw new IllegalArgumentException("View was not indexed in constructor "+relationView);
}
}
|
