if(oldChildMap != null)
for(T component : oldChildMap.values()) {
component.clearParent();
- mapping.addPendingRemoval(component);
+ addPendingRemoval(component);
}
}
// Alternative implementation when uids are not available.
if(oldChildMap != null)
for(T component : oldChildMap.values()) {
component.clearParent();
- mapping.addPendingRemoval(component);
+ addPendingRemoval(component);
}
}
}
}
+ protected void addPendingRemoval(T component) {
+ if (TRACE_EVENTS)
+ System.out.println("addPendingRemoval(" + component.componentId + " : " + component.solverComponentName + ")");
+ mapping.addPendingRemoval(component);
+ }
+
private String getSubprocessName(String name,
Collection<SerializedVariable> properties) {
for(SerializedVariable property : properties)