|
Lines 11-20
Link Here
|
| 11 |
package org.eclipse.mylyn.internal.context.core; |
11 |
package org.eclipse.mylyn.internal.context.core; |
| 12 |
|
12 |
|
| 13 |
import java.util.ArrayList; |
13 |
import java.util.ArrayList; |
|
|
14 |
import java.util.Collection; |
| 14 |
import java.util.Collections; |
15 |
import java.util.Collections; |
| 15 |
import java.util.HashMap; |
16 |
import java.util.HashMap; |
|
|
17 |
import java.util.HashSet; |
| 16 |
import java.util.List; |
18 |
import java.util.List; |
| 17 |
import java.util.Map; |
19 |
import java.util.Map; |
|
|
20 |
import java.util.Set; |
| 18 |
import java.util.concurrent.ConcurrentHashMap; |
21 |
import java.util.concurrent.ConcurrentHashMap; |
| 19 |
import java.util.concurrent.CopyOnWriteArrayList; |
22 |
import java.util.concurrent.CopyOnWriteArrayList; |
| 20 |
|
23 |
|
|
Lines 178-183
Link Here
|
| 178 |
return activeNode; |
181 |
return activeNode; |
| 179 |
} |
182 |
} |
| 180 |
|
183 |
|
|
|
184 |
public void delete(Collection<IInteractionElement> nodes) { |
| 185 |
|
| 186 |
List<InteractionEvent> eventsToRemove = new ArrayList<InteractionEvent>(); |
| 187 |
Set<String> handlesToRemove = new HashSet<String>(); |
| 188 |
for (IInteractionElement node : nodes) { |
| 189 |
handlesToRemove.add(node.getHandleIdentifier()); |
| 190 |
landmarkMap.remove(node.getHandleIdentifier()); |
| 191 |
elementMap.remove(node.getHandleIdentifier()); |
| 192 |
|
| 193 |
if (activeNode != null && node.getHandleIdentifier().equals(activeNode.getHandleIdentifier())) { |
| 194 |
activeNode = null; |
| 195 |
} |
| 196 |
} |
| 197 |
|
| 198 |
for (InteractionEvent event : interactionHistory) { |
| 199 |
if (handlesToRemove.contains(event.getStructureHandle())) { |
| 200 |
eventsToRemove.add(event); |
| 201 |
} |
| 202 |
} |
| 203 |
interactionHistory.removeAll(eventsToRemove); |
| 204 |
|
| 205 |
} |
| 206 |
|
| 181 |
public void delete(IInteractionElement node) { |
207 |
public void delete(IInteractionElement node) { |
| 182 |
landmarkMap.remove(node.getHandleIdentifier()); |
208 |
landmarkMap.remove(node.getHandleIdentifier()); |
| 183 |
elementMap.remove(node.getHandleIdentifier()); |
209 |
elementMap.remove(node.getHandleIdentifier()); |