|
@@ -152,6 +152,7 @@ public interface Rectangle extends Zone {
|
|
final Iterator<Coord> it = cells(r);
|
|
final Iterator<Coord> it = cells(r);
|
|
while (it.hasNext())
|
|
while (it.hasNext())
|
|
result.add(it.next());
|
|
result.add(it.next());
|
|
|
|
+ assert result.size() == size(r);
|
|
return result;
|
|
return result;
|
|
}
|
|
}
|
|
|
|
|
|
@@ -406,7 +407,9 @@ public interface Rectangle extends Zone {
|
|
|
|
|
|
@Override
|
|
@Override
|
|
public List<Coord> getAll() {
|
|
public List<Coord> getAll() {
|
|
- return Utils.cellsList(this);
|
|
|
|
|
|
+ final List<Coord> result = Utils.cellsList(this);
|
|
|
|
+ assert result.size() == size();
|
|
|
|
+ return result;
|
|
}
|
|
}
|
|
|
|
|
|
@Override
|
|
@Override
|