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.layout.GridData;
16 import org.eclipse.swt.widgets.Composite;
17 import org.eclipse.swt.widgets.Display;
18 import org.eclipse.swt.widgets.Table;
19 import org.eclipse.swt.widgets.TableColumn;
21 import net.mograsim.machine.mi.MicroInstructionDefinition;
22 import net.mograsim.machine.mi.MicroInstructionMemory;
23 import net.mograsim.machine.mi.parameters.MnemonicFamily;
24 import net.mograsim.machine.mi.parameters.ParameterClassification;
25 import net.mograsim.plugin.tables.AddressLabelProvider;
26 import net.mograsim.plugin.tables.DisplaySettings;
27 import net.mograsim.plugin.tables.LazyTableViewer;
29 public class InstructionTable
31 protected DisplaySettings displaySettings;
32 protected LazyTableViewer viewer;
33 private TableViewerColumn[] columns = new TableViewerColumn[0];
34 private MicroInstructionDefinition miDef;
35 private MicroInstructionMemory memory;
36 private InstructionTableContentProvider provider;
38 public InstructionTable(Composite parent, DisplaySettings displaySettings)
40 viewer = new LazyTableViewer(parent, SWT.FULL_SELECTION | SWT.BORDER | SWT.VIRTUAL);
41 this.displaySettings = displaySettings;
43 Table table = viewer.getTable();
44 table.setHeaderVisible(true);
45 table.setLinesVisible(true);
46 viewer.setUseHashlookup(true);
48 TableViewerFocusCellManager focusCellManager = new TableViewerFocusCellManager(viewer, new FocusCellOwnerDrawHighlighter(viewer));
50 ColumnViewerEditorActivationStrategy actSupport = new ColumnViewerEditorActivationStrategy(viewer)
53 protected boolean isEditorActivationEvent(ColumnViewerEditorActivationEvent event)
55 return event.eventType == ColumnViewerEditorActivationEvent.TRAVERSAL
56 || event.eventType == ColumnViewerEditorActivationEvent.MOUSE_DOUBLE_CLICK_SELECTION
57 || (event.eventType == ColumnViewerEditorActivationEvent.KEY_PRESSED && event.keyCode == SWT.CR)
58 || event.eventType == ColumnViewerEditorActivationEvent.PROGRAMMATIC;
61 int features = ColumnViewerEditor.TABBING_HORIZONTAL | ColumnViewerEditor.TABBING_MOVE_TO_ROW_NEIGHBOR
62 | ColumnViewerEditor.TABBING_VERTICAL | ColumnViewerEditor.KEYBOARD_ACTIVATION;
63 TableViewerEditor.create(viewer, focusCellManager, actSupport, features);
65 GridData viewerData = new GridData(GridData.GRAB_HORIZONTAL | GridData.GRAB_VERTICAL | GridData.FILL_BOTH);
66 viewerData.horizontalSpan = 3;
67 viewer.getTable().setLayoutData(viewerData);
69 displaySettings.addObserver(() -> viewer.refresh());
72 private void deleteColumns()
74 for (TableViewerColumn col : columns)
75 col.getColumn().dispose();
78 private void createColumns()
80 viewer.getTable().setVisible(false);
82 int size = miDef.size();
83 columns = new TableViewerColumn[size + 1];
85 TableViewerColumn col = createTableViewerColumn("Address");
87 col.setLabelProvider(new AddressLabelProvider());
89 String[] columnTitles = new String[size];
91 int bit = miDef.sizeInBits();
92 ParameterClassification[] classes = miDef.getParameterClassifications();
94 for (int i = 0; i < size; i++)
96 int startBit = bit - 1;
97 int endBit = bit = bit - classes[i].getExpectedBits();
98 String columnTitle = calculateColumnTitle(startBit, endBit);
99 columnTitles[i] = columnTitle;
100 col = createTableViewerColumn(columnTitle);
101 columns[i + 1] = col;
102 createEditingAndLabel(col, miDef, i);
105 calculateOptimalColumnSize(0, "Address", generateLongestHexStrings(12));
107 for (int i = 0; i < size; i++)
109 String[] longestPossibleContents;
110 switch (classes[i].getExpectedType())
112 case INTEGER_IMMEDIATE:
113 longestPossibleContents = generateLongestHexStrings(classes[i].getExpectedBits());
115 case BOOLEAN_IMMEDIATE:
117 longestPossibleContents = ((MnemonicFamily) classes[i]).getStringValues();
120 longestPossibleContents = new String[0];
123 calculateOptimalColumnSize(i + 1, columnTitles[i], longestPossibleContents);
126 viewer.getTable().setVisible(true);
129 private static String calculateColumnTitle(int startBit, int endBit)
131 return startBit == endBit ? Integer.toString(startBit) : startBit + "..." + endBit;
134 public void bindMicroInstructionMemory(MicroInstructionMemory memory)
136 this.memory = memory;
139 this.miDef = memory.getDefinition().getMicroInstructionDefinition();
140 setViewerInput(memory);
144 private static final String[] HEX_DIGITS = { "0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "A", "B", "C", "D", "E", "F" };
146 private static String[] generateLongestHexStrings(int bitWidth)
148 return Arrays.stream(HEX_DIGITS).map(s -> "0x" + s.repeat((bitWidth + 3) / 4)).toArray(String[]::new);
151 private void createEditingAndLabel(TableViewerColumn col, MicroInstructionDefinition miDef, int index)
153 ParameterClassification parameterClassification = miDef.getParameterClassifications()[index];
154 EditingSupport support;
155 ColumnLabelProvider provider;
156 switch (parameterClassification.getExpectedType())
158 case BOOLEAN_IMMEDIATE:
159 support = new BooleanEditingSupport(viewer, miDef, index);
160 provider = new ParameterLabelProvider(index);
162 case INTEGER_IMMEDIATE:
163 support = new IntegerEditingSupport(viewer, miDef, index, displaySettings, this.provider);
164 provider = new IntegerColumnLabelProvider(displaySettings, index);
167 support = new MnemonicEditingSupport(viewer, miDef, index, this.provider);
168 provider = new ParameterLabelProvider(index);
171 throw new IllegalStateException(
172 "Unable to create EditingSupport for unknown ParameterType " + parameterClassification.getExpectedType());
174 col.setEditingSupport(support);
175 col.setLabelProvider(provider);
176 col.getColumn().setToolTipText(miDef.getParameterDescription(index).orElse(""));
179 private TableViewerColumn createTableViewerColumn(String title)
181 TableViewerColumn viewerColumn = new TableViewerColumn(viewer, SWT.NONE);
182 TableColumn column = viewerColumn.getColumn();
183 column.setText(title);
184 column.setResizable(true);
185 column.setMoveable(false);
189 private void calculateOptimalColumnSize(int i, String title, String... longestPossibleContents)
191 TableColumn column = viewer.getTable().getColumn(i);
193 for (String s : longestPossibleContents)
197 if (column.getWidth() > maxWidth)
198 maxWidth = column.getWidth();
200 column.setText(title);
202 if (column.getWidth() < maxWidth)
203 column.setWidth(maxWidth);
206 public LazyTableViewer getTableViewer()
211 public MicroInstructionMemory getMicroInstructionMemory()
216 public void setContentProvider(InstructionTableContentProvider provider)
218 this.provider = provider;
219 viewer.setContentProvider(provider);
222 private void setViewerInput(MicroInstructionMemory memory)
225 viewer.setInput(memory);
229 public void refresh()
231 Display.getDefault().asyncExec(() -> viewer.refresh());