1 package net.mograsim.plugin.tables.mi;
3 import java.util.Arrays;
5 import org.eclipse.jface.viewers.ColumnLabelProvider;
6 import org.eclipse.jface.viewers.ColumnViewerEditor;
7 import org.eclipse.jface.viewers.ColumnViewerEditorActivationEvent;
8 import org.eclipse.jface.viewers.ColumnViewerEditorActivationStrategy;
9 import org.eclipse.jface.viewers.EditingSupport;
10 import org.eclipse.jface.viewers.FocusCellOwnerDrawHighlighter;
11 import org.eclipse.jface.viewers.TableViewerColumn;
12 import org.eclipse.jface.viewers.TableViewerEditor;
13 import org.eclipse.jface.viewers.TableViewerFocusCellManager;
14 import org.eclipse.swt.SWT;
15 import org.eclipse.swt.graphics.Color;
16 import org.eclipse.swt.graphics.Font;
17 import org.eclipse.swt.layout.GridData;
18 import org.eclipse.swt.widgets.Composite;
19 import org.eclipse.swt.widgets.Display;
20 import org.eclipse.swt.widgets.Table;
21 import org.eclipse.swt.widgets.TableColumn;
22 import org.eclipse.ui.themes.IThemeManager;
24 import net.mograsim.machine.mi.MicroInstructionDefinition;
25 import net.mograsim.machine.mi.MicroInstructionMemory;
26 import net.mograsim.machine.mi.parameters.MnemonicFamily;
27 import net.mograsim.machine.mi.parameters.ParameterClassification;
28 import net.mograsim.plugin.tables.AddressLabelProvider;
29 import net.mograsim.plugin.tables.DisplaySettings;
30 import net.mograsim.plugin.tables.LazyTableViewer;
32 public class InstructionTable
34 protected final DisplaySettings displaySettings;
35 protected final LazyTableViewer viewer;
36 private TableViewerColumn[] columns = new TableViewerColumn[0];
37 private MicroInstructionDefinition miDef;
38 private MicroInstructionMemory memory;
39 private InstructionTableContentProvider provider;
40 private final RowHighlighter highlighter;
41 private final FontAndColorHelper cProv;
43 private final boolean isEditable;
45 public InstructionTable(Composite parent, DisplaySettings displaySettings, IThemeManager themeManager)
47 this(parent, displaySettings, themeManager, true);
50 public InstructionTable(Composite parent, DisplaySettings displaySettings, IThemeManager themeManager, boolean allowEditing)
52 viewer = new LazyTableViewer(parent, SWT.FULL_SELECTION | SWT.BORDER | SWT.VIRTUAL);
53 this.displaySettings = displaySettings;
54 this.cProv = new FontAndColorHelper(viewer, themeManager);
55 this.highlighter = new RowHighlighter(viewer, cProv);
56 this.isEditable = allowEditing;
58 Table table = viewer.getTable();
59 table.setHeaderVisible(true);
60 table.setLinesVisible(true);
61 viewer.setUseHashlookup(true);
62 table.addDisposeListener(e -> dispose());
64 TableViewerFocusCellManager focusCellManager = new TableViewerFocusCellManager(viewer, new FocusCellOwnerDrawHighlighter(viewer));
66 ColumnViewerEditorActivationStrategy actSupport = new ColumnViewerEditorActivationStrategy(viewer)
69 protected boolean isEditorActivationEvent(ColumnViewerEditorActivationEvent event)
71 return event.eventType == ColumnViewerEditorActivationEvent.TRAVERSAL
72 || event.eventType == ColumnViewerEditorActivationEvent.MOUSE_DOUBLE_CLICK_SELECTION
73 || (event.eventType == ColumnViewerEditorActivationEvent.KEY_PRESSED && event.keyCode == SWT.CR)
74 || event.eventType == ColumnViewerEditorActivationEvent.PROGRAMMATIC;
77 int features = ColumnViewerEditor.TABBING_HORIZONTAL | ColumnViewerEditor.TABBING_MOVE_TO_ROW_NEIGHBOR
78 | ColumnViewerEditor.TABBING_VERTICAL | ColumnViewerEditor.KEYBOARD_ACTIVATION;
79 TableViewerEditor.create(viewer, focusCellManager, actSupport, features);
81 GridData viewerData = new GridData(GridData.GRAB_HORIZONTAL | GridData.GRAB_VERTICAL | GridData.FILL_BOTH);
82 viewerData.horizontalSpan = 3;
83 viewer.getTable().setLayoutData(viewerData);
85 displaySettings.addObserver(() -> viewer.refresh());
88 private void deleteColumns()
90 for (TableViewerColumn col : columns)
91 col.getColumn().dispose();
94 private void createColumns()
96 viewer.getTable().setVisible(false);
98 int size = miDef.size();
99 columns = new TableViewerColumn[size + 1];
101 TableViewerColumn col = createTableViewerColumn("Address");
103 col.setLabelProvider(new AddressLabelProvider()
106 public Color getBackground(Object element)
108 return cProv.getBackground(element, -1);
112 public Color getForeground(Object element)
114 return cProv.getForeground(element, -1);
118 public Font getFont(Object element)
120 return cProv.getFont(element, -1);
124 String[] columnTitles = new String[size];
126 int bit = miDef.sizeInBits();
127 ParameterClassification[] classes = miDef.getParameterClassifications();
129 for (int i = 0; i < size; i++)
131 int startBit = bit - 1;
132 int endBit = bit = bit - classes[i].getExpectedBits();
133 String columnTitle = calculateColumnTitle(startBit, endBit);
134 columnTitles[i] = columnTitle;
135 col = createTableViewerColumn(columnTitle);
136 columns[i + 1] = col;
137 createEditingAndLabel(col, miDef, i);
140 calculateOptimalColumnSize(0, "Address", generateLongestHexStrings(12));
142 for (int i = 0; i < size; i++)
144 String[] longestPossibleContents;
145 switch (classes[i].getExpectedType())
147 case INTEGER_IMMEDIATE:
148 longestPossibleContents = generateLongestHexStrings(classes[i].getExpectedBits());
150 case BOOLEAN_IMMEDIATE:
152 longestPossibleContents = ((MnemonicFamily) classes[i]).getStringValues();
155 longestPossibleContents = new String[0];
158 calculateOptimalColumnSize(i + 1, columnTitles[i], longestPossibleContents);
161 viewer.getTable().setVisible(true);
164 private static String calculateColumnTitle(int startBit, int endBit)
166 return startBit == endBit ? Integer.toString(startBit) : startBit + "..." + endBit;
169 public void bindMicroInstructionMemory(MicroInstructionMemory memory)
171 this.memory = memory;
174 this.miDef = memory.getDefinition().getMicroInstructionDefinition();
175 setViewerInput(memory);
179 private static final String[] HEX_DIGITS = { "0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "A", "B", "C", "D", "E", "F" };
181 private static String[] generateLongestHexStrings(int bitWidth)
183 return Arrays.stream(HEX_DIGITS).map(s -> "0x" + s.repeat((bitWidth + 3) / 4)).toArray(String[]::new);
186 private void createEditingAndLabel(TableViewerColumn col, MicroInstructionDefinition miDef, int index)
188 ParameterClassification parameterClassification = miDef.getParameterClassifications()[index];
189 EditingSupport support;
190 ColumnLabelProvider provider;
191 switch (parameterClassification.getExpectedType())
193 case BOOLEAN_IMMEDIATE:
194 support = isEditable ? new BooleanEditingSupport(viewer, miDef, index) : null;
195 provider = new ParameterLabelProvider(cProv, index);
197 case INTEGER_IMMEDIATE:
198 support = isEditable ? new IntegerEditingSupport(viewer, miDef, index, displaySettings, this.provider) : null;
199 provider = new IntegerColumnLabelProvider(displaySettings, cProv, index);
202 support = isEditable ? new MnemonicEditingSupport(viewer, miDef, index, this.provider) : null;
203 provider = new ParameterLabelProvider(cProv, index);
206 throw new IllegalStateException(
207 "Unable to create EditingSupport for unknown ParameterType " + parameterClassification.getExpectedType());
210 col.setEditingSupport(support);
211 col.setLabelProvider(provider);
212 col.getColumn().setToolTipText(miDef.getParameterDescription(index).orElse(""));
215 private TableViewerColumn createTableViewerColumn(String title)
217 TableViewerColumn viewerColumn = new TableViewerColumn(viewer, SWT.NONE);
218 TableColumn column = viewerColumn.getColumn();
219 column.setText(title);
220 column.setResizable(true);
221 column.setMoveable(false);
225 private void calculateOptimalColumnSize(int i, String title, String... longestPossibleContents)
227 TableColumn column = viewer.getTable().getColumn(i);
229 for (String s : longestPossibleContents)
233 if (column.getWidth() > maxWidth)
234 maxWidth = column.getWidth();
236 column.setText(title);
238 if (column.getWidth() < maxWidth)
239 column.setWidth(maxWidth);
242 public LazyTableViewer getTableViewer()
247 public MicroInstructionMemory getMicroInstructionMemory()
252 public void setContentProvider(InstructionTableContentProvider provider)
254 this.provider = provider;
255 viewer.setContentProvider(provider);
258 private void setViewerInput(MicroInstructionMemory memory)
261 viewer.setInput(memory);
265 public void refresh()
267 Display.getDefault().asyncExec(() -> viewer.refresh());
270 private void dispose()
273 viewer.getTable().dispose();
276 public void highlight(int row)
278 highlighter.highlight(row);