plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/tables/mi/InstructionTable.java

   1 package net.mograsim.plugin.tables.mi;
   2
   3 import java.util.Arrays;
   4
   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;
  20 import org.eclipse.ui.themes.IThemeManager;
  21
  22 import net.mograsim.machine.mi.MicroInstructionDefinition;
  23 import net.mograsim.machine.mi.MicroInstructionMemory;
  24 import net.mograsim.machine.mi.parameters.MnemonicFamily;
  25 import net.mograsim.machine.mi.parameters.ParameterClassification;
  26 import net.mograsim.plugin.tables.AddressLabelProvider;
  27 import net.mograsim.plugin.tables.DisplaySettings;
  28 import net.mograsim.plugin.tables.LazyTableViewer;
  29
  30 public class InstructionTable
  31 {
  32         protected final DisplaySettings displaySettings;
  33         protected final LazyTableViewer viewer;
  34         private TableViewerColumn[] columns = new TableViewerColumn[0];
  35         private MicroInstructionDefinition miDef;
  36         private MicroInstructionMemory memory;
  37         private InstructionTableContentProvider provider;
  38         private final ColorProvider cProv;
  39
  40         public InstructionTable(Composite parent, DisplaySettings displaySettings, IThemeManager themeManager)
  41         {
  42                 viewer = new LazyTableViewer(parent, SWT.FULL_SELECTION | SWT.BORDER | SWT.VIRTUAL);
  43                 this.displaySettings = displaySettings;
  44                 this.cProv = new ColorProvider(viewer, themeManager);
  45
  46                 Table table = viewer.getTable();
  47                 table.setHeaderVisible(true);
  48                 table.setLinesVisible(true);
  49                 viewer.setUseHashlookup(true);
  50
  51                 TableViewerFocusCellManager focusCellManager = new TableViewerFocusCellManager(viewer, new FocusCellOwnerDrawHighlighter(viewer));
  52
  53                 ColumnViewerEditorActivationStrategy actSupport = new ColumnViewerEditorActivationStrategy(viewer)
  54                 {
  55                         @Override
  56                         protected boolean isEditorActivationEvent(ColumnViewerEditorActivationEvent event)
  57                         {
  58                                 return event.eventType == ColumnViewerEditorActivationEvent.TRAVERSAL
  59                                                 || event.eventType == ColumnViewerEditorActivationEvent.MOUSE_DOUBLE_CLICK_SELECTION
  60                                                 || (event.eventType == ColumnViewerEditorActivationEvent.KEY_PRESSED && event.keyCode == SWT.CR)
  61                                                 || event.eventType == ColumnViewerEditorActivationEvent.PROGRAMMATIC;
  62                         }
  63                 };
  64                 int features = ColumnViewerEditor.TABBING_HORIZONTAL | ColumnViewerEditor.TABBING_MOVE_TO_ROW_NEIGHBOR
  65                                 | ColumnViewerEditor.TABBING_VERTICAL | ColumnViewerEditor.KEYBOARD_ACTIVATION;
  66                 TableViewerEditor.create(viewer, focusCellManager, actSupport, features);
  67
  68                 GridData viewerData = new GridData(GridData.GRAB_HORIZONTAL | GridData.GRAB_VERTICAL | GridData.FILL_BOTH);
  69                 viewerData.horizontalSpan = 3;
  70                 viewer.getTable().setLayoutData(viewerData);
  71
  72                 displaySettings.addObserver(() -> viewer.refresh());
  73         }
  74
  75         private void deleteColumns()
  76         {
  77                 for (TableViewerColumn col : columns)
  78                         col.getColumn().dispose();
  79         }
  80
  81         private void createColumns()
  82         {
  83                 viewer.getTable().setVisible(false);
  84
  85                 int size = miDef.size();
  86                 columns = new TableViewerColumn[size + 1];
  87
  88                 TableViewerColumn col = createTableViewerColumn("Address");
  89                 columns[0] = col;
  90                 col.setLabelProvider(new AddressLabelProvider());
  91
  92                 String[] columnTitles = new String[size];
  93
  94                 int bit = miDef.sizeInBits();
  95                 ParameterClassification[] classes = miDef.getParameterClassifications();
  96
  97                 for (int i = 0; i < size; i++)
  98                 {
  99                         int startBit = bit - 1;
 100                         int endBit = bit = bit - classes[i].getExpectedBits();
 101                         String columnTitle = calculateColumnTitle(startBit, endBit);
 102                         columnTitles[i] = columnTitle;
 103                         col = createTableViewerColumn(columnTitle);
 104                         columns[i + 1] = col;
 105                         createEditingAndLabel(col, miDef, i);
 106                 }
 107
 108                 calculateOptimalColumnSize(0, "Address", generateLongestHexStrings(12));
 109
 110                 for (int i = 0; i < size; i++)
 111                 {
 112                         String[] longestPossibleContents;
 113                         switch (classes[i].getExpectedType())
 114                         {
 115                         case INTEGER_IMMEDIATE:
 116                                 longestPossibleContents = generateLongestHexStrings(classes[i].getExpectedBits());
 117                                 break;
 118                         case BOOLEAN_IMMEDIATE:
 119                         case MNEMONIC:
 120                                 longestPossibleContents = ((MnemonicFamily) classes[i]).getStringValues();
 121                                 break;
 122                         default:
 123                                 longestPossibleContents = new String[0];
 124                                 break;
 125                         }
 126                         calculateOptimalColumnSize(i + 1, columnTitles[i], longestPossibleContents);
 127                 }
 128
 129                 viewer.getTable().setVisible(true);
 130         }
 131
 132         private static String calculateColumnTitle(int startBit, int endBit)
 133         {
 134                 return startBit == endBit ? Integer.toString(startBit) : startBit + "..." + endBit;
 135         }
 136
 137         public void bindMicroInstructionMemory(MicroInstructionMemory memory)
 138         {
 139                 this.memory = memory;
 140                 if (memory != null)
 141                 {
 142                         this.miDef = memory.getDefinition().getMicroInstructionDefinition();
 143                         setViewerInput(memory);
 144                 }
 145         }
 146
 147         private static final String[] HEX_DIGITS = { "0", "1", "2", "3", "4", "5", "6", "7", "8", "9", "A", "B", "C", "D", "E", "F" };
 148
 149         private static String[] generateLongestHexStrings(int bitWidth)
 150         {
 151                 return Arrays.stream(HEX_DIGITS).map(s -> "0x" + s.repeat((bitWidth + 3) / 4)).toArray(String[]::new);
 152         }
 153
 154         private void createEditingAndLabel(TableViewerColumn col, MicroInstructionDefinition miDef, int index)
 155         {
 156                 ParameterClassification parameterClassification = miDef.getParameterClassifications()[index];
 157                 EditingSupport support;
 158                 ColumnLabelProvider provider;
 159                 switch (parameterClassification.getExpectedType())
 160                 {
 161                 case BOOLEAN_IMMEDIATE:
 162                         support = new BooleanEditingSupport(viewer, miDef, index);
 163                         provider = new ParameterLabelProvider(cProv, index);
 164                         break;
 165                 case INTEGER_IMMEDIATE:
 166                         support = new IntegerEditingSupport(viewer, miDef, index, displaySettings, this.provider);
 167                         provider = new IntegerColumnLabelProvider(displaySettings, cProv, index);
 168                         break;
 169                 case MNEMONIC:
 170                         support = new MnemonicEditingSupport(viewer, miDef, index, this.provider);
 171                         provider = new ParameterLabelProvider(cProv, index);
 172                         break;
 173                 default:
 174                         throw new IllegalStateException(
 175                                         "Unable to create EditingSupport for unknown ParameterType " + parameterClassification.getExpectedType());
 176                 }
 177                 col.setEditingSupport(support);
 178                 col.setLabelProvider(provider);
 179                 col.getColumn().setToolTipText(miDef.getParameterDescription(index).orElse(""));
 180         }
 181
 182         private TableViewerColumn createTableViewerColumn(String title)
 183         {
 184                 TableViewerColumn viewerColumn = new TableViewerColumn(viewer, SWT.NONE);
 185                 TableColumn column = viewerColumn.getColumn();
 186                 column.setText(title);
 187                 column.setResizable(true);
 188                 column.setMoveable(false);
 189                 return viewerColumn;
 190         }
 191
 192         private void calculateOptimalColumnSize(int i, String title, String... longestPossibleContents)
 193         {
 194                 TableColumn column = viewer.getTable().getColumn(i);
 195                 int maxWidth = 0;
 196                 for (String s : longestPossibleContents)
 197                 {
 198                         column.setText(s);
 199                         column.pack();
 200                         if (column.getWidth() > maxWidth)
 201                                 maxWidth = column.getWidth();
 202                 }
 203                 column.setText(title);
 204                 column.pack();
 205                 if (column.getWidth() < maxWidth)
 206                         column.setWidth(maxWidth);
 207         }
 208
 209         public LazyTableViewer getTableViewer()
 210         {
 211                 return viewer;
 212         }
 213
 214         public MicroInstructionMemory getMicroInstructionMemory()
 215         {
 216                 return memory;
 217         }
 218
 219         public void setContentProvider(InstructionTableContentProvider provider)
 220         {
 221                 this.provider = provider;
 222                 viewer.setContentProvider(provider);
 223         }
 224
 225         private void setViewerInput(MicroInstructionMemory memory)
 226         {
 227                 deleteColumns();
 228                 viewer.setInput(memory);
 229                 createColumns();
 230         }
 231
 232         public void refresh()
 233         {
 234                 Display.getDefault().asyncExec(() -> viewer.refresh());
 235         }
 236
 237         public void dispose()
 238         {
 239                 cProv.dispose();
 240                 viewer.getTable().dispose();
 241         }
 242 }