public void incrStats(Collection<GraphNode> nodes){
  totalCount+=nodes.size();
  for (  GraphNode node : nodes) {
    ElementKindDescriptor descr=findDescriptor(node);
    if (null == descr) {
      otherCount++;
    }
 else {
      int count=kindCounts.get(descr);
      kindCounts.put(descr,count + 1);
    }
  }
}

public void incrStats ( Collection < GraphNode > nodes ) { totalCount += nodes . size ( ) ; for ( GraphNode node : nodes ) { ElementKindDescriptor descr = findDescriptor ( node ) ; if ( null == descr ) { otherCount ++ ; } else { int count = kindCounts . get ( descr ) ; kindCounts . put ( descr , count + 1 ) ; } } }
update the current statistics for the new set of analysis nodes .
