Exemple #1
0
 /** Entfernt die Auswahl, sodass keine Plätze mehr ausgewählt sind. */
 public void entferneAuswahl() {
   for (Platz platz : _ausgewaehltePlaetze) {
     _buttons[platz.getReihe()][platz.getSitz()].setAusgewaehlt(false);
   }
   _ausgewaehltePlaetze.clear();
   repaint();
 }
Exemple #2
0
 /**
  * Markiert den angegebenen Platz als frei.
  *
  * @param platz der Platz.
  * @require platz != null
  */
 public void markierePlatzAlsFrei(Platz platz) {
   assert platz != null : "Vorbedingung verletzt: platz != null";
   _buttons[platz.getReihe()][platz.getSitz()].setVerkauft(false);
   repaint();
 }