private static Block[] ReduceToArray(ObjToIntMap map) { Block[] result = null; if (!map.IsEmpty()) { result = new Block[map.Size()]; int i = 0; ObjToIntMap.Iterator iter = map.NewIterator(); for (iter.Start(); !iter.Done(); iter.Next()) { Block.FatBlock fb = (Block.FatBlock)(iter.GetKey()); result[i++] = fb.realBlock; } } return result; }