public Collection<Location> orderedLocations(){
  TreeSet<Location> tree=new TreeSet<Location>();
  for (Iterator<Location> locs=locationIterator(); locs.hasNext(); ) {
    Location loc=locs.next();
    tree.add(loc);
  }
  return tree;
}

public Collection < Location > orderedLocations ( ) { TreeSet < Location > tree = new TreeSet < Location > ( ) ; for ( Iterator < Location > locs = locationIterator ( ) ; locs . hasNext ( ) ; ) { Location loc = locs . next ( ) ; tree . add ( loc ) ; } return tree ; }
returns a collection of locations , ordered according to the compareto ordering over locations . if you want to list all the locations in a cfg for debugging purposes , this is a good order to do so in .
