/**
* Gibt die Liste der vom Benutzer selektierten Medien zurück.
*
* @return Die Liste der vom Benutzer selektierten Medien.
* @ensure result != null
*/
public List<Medium> getSelectedMedien() {
List<Medium> result = new ArrayList<Medium>();
int[] selectedRows = _ui.getMedienAuflisterTable().getSelectedRows();
AusleiheMedienTableModel ausleiheMedienTableModel = _ui.getMedienAuflisterTableModel();
for (int zeile : selectedRows) {
if (ausleiheMedienTableModel.zeileExistiert(zeile)) {
Medium medium = ausleiheMedienTableModel.getMediumFuerZeile(zeile);
result.add(medium);
}
}
return result;
}
/** Registiert die Aktion, die ausgeführt wird, wenn ein Medium ausgewählt wird. */
private void registriereMedienAnzeigenAktion() {
_ui.getMedienAuflisterTable()
.getSelectionModel()
.addListSelectionListener(
new ListSelectionListener() {
@Override
public void valueChanged(ListSelectionEvent e) {
informiereUeberAenderung();
}
});
}
/** Holt und setzt die Medieninformationen. */
private void setzeAnzuzeigendeMedien() {
List<Medium> medienListe = _medienbestand.getMedien();
List<AusleiheMedienFormatierer> medienFormatierer = new ArrayList<AusleiheMedienFormatierer>();
for (Medium medium : medienListe) {
boolean istVerliehen = _verleihService.istVerliehen(medium);
// TODO für Aufgabenblatt 6 (nicht löschen): Falls ein Vormerker für
// ein Medium existiert, muss dieser hier ermittelt werden.
// Ist dies korrekt implementiert, erscheint in der Ausleiheansicht
// der Name des Vormerkers, an den ein Medium ausgeliehen werden
// darf, gemäß Anforderung d).
Kunde ersterVormerker = null;
if (_verleihService.getVormerkkarteFuerMedium(medium) != null) {
ersterVormerker = _verleihService.getVormerker(medium).get(0);
}
medienFormatierer.add(new AusleiheMedienFormatierer(medium, istVerliehen, ersterVormerker));
}
_ui.getMedienAuflisterTableModel().setMedien(medienFormatierer);
}
/**
* Gibt das Panel dieses Subwerkzeugs zurück.
*
* @ensure result != null
*/
public JPanel getUIPanel() {
return _ui.getUIPanel();
}
