/* Copyright (c) 2010, Carl Burch. License information is located in the
* com.cburch.logisim.Main source code and at www.cburch.com/logisim/. */
package com.cburch.logisim.gui.log;
import javax.swing.AbstractListModel;
import javax.swing.DefaultListCellRenderer;
import javax.swing.JLabel;
import javax.swing.JList;
import javax.swing.ListSelectionModel;
import com.cburch.logisim.comp.Component;
import com.cburch.logisim.data.Value;
@SuppressWarnings("serial")
class SelectionList extends JList {
private class Model extends AbstractListModel
implements ModelListener {
@Override
public int getSize() {
return selection == null ? 0 : selection.size();
}
@Override
public Object getElementAt(int index) {
return selection.get(index);
}
@Override
public void selectionChanged(ModelEvent event) {
fireContentsChanged(this, 0, getSize());
}
@Override
public void entryAdded(ModelEvent event, Value[] values) { }
@Override
public void filePropertyChanged(ModelEvent event) { }
}
private class MyCellRenderer extends DefaultListCellRenderer {
@Override
public java.awt.Component getListCellRendererComponent(JList list,
Object value, int index, boolean isSelected, boolean hasFocus) {
java.awt.Component ret = super.getListCellRendererComponent(list,
value, index, isSelected, hasFocus);
if (ret instanceof JLabel && value instanceof SelectionItem) {
JLabel label = (JLabel) ret;
SelectionItem item = (SelectionItem) value;
Component comp = item.getComponent();
label.setIcon(new ComponentIcon(comp));
label.setText(item.toString() + " - " + item.getRadix());
}
return ret;
}
}
private Selection selection;
public SelectionList() {
selection = null;
setModel(new Model());
setCellRenderer(new MyCellRenderer());
setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
}
public void setSelection(Selection value) {
if (selection != value) {
Model model = (Model) getModel();
if (selection != null) {
selection.removeModelListener(model);
}
selection = value;
if (selection != null) {
selection.addModelListener(model);
}
model.selectionChanged(null);
}
}
public void localeChanged() {
repaint();
}
}