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