private static void fillKillSet(LocationSet killed, List<Node> subList) {
if (!killed.isAny()) {
for (Node n : subList) {
// Check if this node kills a node in the watch list.
if (n instanceof MemoryCheckpoint.Single) {
LocationIdentity identity = ((MemoryCheckpoint.Single) n).getLocationIdentity();
killed.add(identity);
if (killed.isAny()) {
return;
}
} else if (n instanceof MemoryCheckpoint.Multi) {
for (LocationIdentity identity : ((MemoryCheckpoint.Multi) n).getLocationIdentities()) {
killed.add(identity);
if (killed.isAny()) {
return;
}
}
}
}
}
}
