/** 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();
}
});
}
/**
* 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;
}
