throw new NullPointerException();
final Node o = target.getNode( se.getTo().getName() );
if( o == null )
throw new NullPointerException();
this.newEdges.add( new DefaultEdge( se.getRole(), s, o, se.getDepends() ) );
}
this.deletedTypes = new HashMap<Node, Set<ATermAppl>>( src.deletedTypes.size() );
for( Map.Entry<Node, Set<ATermAppl>> e : src.deletedTypes.entrySet() ) {
final Node n = target.getNode( e.getKey().getName() );
if( n == null )
throw new NullPointerException();
this.deletedTypes.put( n, new HashSet<ATermAppl>( e.getValue() ) );
}
this.newEdges = new HashSet<Edge>( src.newEdges.size() );
for( Edge se : src.newEdges ) {
final Individual s = target.getIndividual( se.getFrom().getName() );
if( s == null )
throw new NullPointerException();
final Node o = target.getNode( se.getTo().getName() );
if( o == null )
throw new NullPointerException();
this.newEdges.add( new DefaultEdge( se.getRole(), s, o, se.getDepends() ) );
}
this.newIndividuals = new HashSet<Individual>( src.newIndividuals.size() );
for( Individual si : src.newIndividuals ) {