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