public void addAll(CAstSourcePositionMap other) { for(CAstNode node : Iterator2Iterable.make(other.getMappedNodes())) { setPosition(node, other.getPosition(node)); } } }
public void addAll(CAstSourcePositionMap other) { for(CAstNode node : Iterator2Iterable.make(other.getMappedNodes())) { setPosition(node, other.getPosition(node)); } } }