/**
* Gibt eine Liste der Plätze in diesem Kinosaal zurück.
*
* @ensure result != null
*/
public List<Platz> getPlaetze() {
List<Platz> kinoPlaetze = new ArrayList<Platz>();
int reihen = getAnzahlReihen();
int plaetze = getAnzahlSitzeProReihe();
for (int i = 0; i < reihen; i++) {
for (int j = 0; j < plaetze; j++) {
Platz platz = Platz.get(i, j);
kinoPlaetze.add(platz);
}
}
return kinoPlaetze;
}
/**
* Prüft, ob es den angegebenen Platz in dem Kinosaal gibt.
*
* @param platz der Platz.
* @return <code>true</code>, falls der Platz existiert, <code>false</code> sonst.
* @require platz != null
*/
public boolean hatPlatz(Platz platz) {
assert platz != null : "Vorbedingung verletzt: platz != null";
return ((platz.getReihe() >= 0) && (platz.getReihe() < _anzahlReihen))
&& ((platz.getSitz() >= 0) && (platz.getSitz() < _anzahlSitzeProReihe));
}