net.mograsim.plugin.core/src/net/mograsim/plugin/memory/MemoryView.java

   1 package net.mograsim.plugin.memory;
   2
   3 import org.eclipse.jface.viewers.ColumnLabelProvider;
   4 import org.eclipse.jface.viewers.TableViewer;
   5 import org.eclipse.jface.viewers.TableViewerColumn;
   6 import org.eclipse.swt.SWT;
   7 import org.eclipse.swt.events.SelectionEvent;
   8 import org.eclipse.swt.events.SelectionListener;
   9 import org.eclipse.swt.events.VerifyListener;
  10 import org.eclipse.swt.layout.GridData;
  11 import org.eclipse.swt.layout.GridLayout;
  12 import org.eclipse.swt.widgets.Combo;
  13 import org.eclipse.swt.widgets.Composite;
  14 import org.eclipse.swt.widgets.Label;
  15 import org.eclipse.swt.widgets.Table;
  16 import org.eclipse.swt.widgets.TableColumn;
  17 import org.eclipse.swt.widgets.Text;
  18 import org.eclipse.ui.part.ViewPart;
  19
  20 import net.mograsim.machine.DefaultMainMemoryDefinition;
  21 import net.mograsim.machine.MainMemory;
  22 import net.mograsim.machine.standard.memory.WordAddressableMemory;
  23 import net.mograsim.plugin.asm.AsmNumberUtil;
  24 import net.mograsim.plugin.asm.AsmNumberUtil.NumberType;
  25
  26 public class MemoryView extends ViewPart
  27 {
  28         private TableViewer viewer;
  29         private MemoryTableContentProvider provider;
  30         private DisplaySettings displaySettings;
  31         private String addressFormat;
  32
  33         @Override
  34         public void createPartControl(Composite parent)
  35         {
  36                 provider = new MemoryTableContentProvider();
  37                 displaySettings = new DisplaySettings();
  38                 displaySettings.setDataNumberType(NumberType.HEXADECIMAL);
  39
  40                 GridLayout layout = new GridLayout(6, false);
  41                 parent.setLayout(layout);
  42                 Label fromLabel = new Label(parent, SWT.NONE);
  43                 fromLabel.setText("Address: ");
  44                 Text fromText = new Text(parent, SWT.BORDER | SWT.SEARCH);
  45                 fromText.setLayoutData(new GridData(GridData.GRAB_HORIZONTAL | GridData.FILL_HORIZONTAL));
  46                 VerifyListener vl = new NumberVerifyListener();
  47                 fromText.addVerifyListener(vl);
  48                 fromText.setText("0");
  49                 fromText.addModifyListener(e ->
  50                 {
  51                         try
  52                         {
  53                                 provider.setLowerBound(AsmNumberUtil.valueOf(fromText.getText()).longValue());
  54                                 viewer.refresh();
  55                         }
  56                         catch (@SuppressWarnings("unused") NumberFormatException ex)
  57                         {
  58                                 // Nothing to do here
  59                         }
  60 //                      fromText.setText(AsmNumberUtil.toString(BigInteger.valueOf(provider.getLowerBound()), NumberType.HEXADECIMAL));
  61                 });
  62
  63                 Label amountLabel = new Label(parent, SWT.NONE);
  64                 amountLabel.setText("Number of cells: ");
  65                 Text amountText = new Text(parent, SWT.BORDER | SWT.SEARCH);
  66                 amountText.setLayoutData(new GridData(GridData.GRAB_HORIZONTAL | GridData.FILL_HORIZONTAL));
  67                 amountText.addVerifyListener(vl);
  68                 amountText.setText("0");
  69                 amountText.addModifyListener(e ->
  70                 {
  71                         try
  72                         {
  73                                 provider.setAmount(AsmNumberUtil.valueOf(amountText.getText()).intValue());
  74                                 viewer.refresh();
  75                         }
  76                         catch (@SuppressWarnings("unused") NumberFormatException ex)
  77                         {
  78                                 // Nothing to do here
  79                         }
  80 //                      amountText.setText(Integer.toString(provider.getAmount()));
  81                 });
  82
  83                 setupRadixSelector(parent);
  84
  85                 createViewer(parent);
  86         }
  87
  88         private void setupRadixSelector(Composite parent)
  89         {
  90                 Label radixLabel = new Label(parent, SWT.NONE);
  91                 radixLabel.setText("Radix: ");
  92                 Combo selectRadix = new Combo(parent, SWT.READ_ONLY);
  93
  94                 String entries[] = new String[] { "Binary", "Octal", "Decimal", "Hexadecimal" };
  95                 NumberType corTypes[] = new NumberType[] { NumberType.BINARY, NumberType.OCTAL, NumberType.DECIMAL, NumberType.HEXADECIMAL };
  96                 selectRadix.setItems(entries);
  97                 selectRadix.addSelectionListener(new SelectionListener()
  98                 {
  99                         @Override
 100                         public void widgetSelected(SelectionEvent e)
 101                         {
 102                                 int index = selectRadix.getSelectionIndex();
 103                                 if (index == -1)
 104                                         displaySettings.setDataNumberType(NumberType.HEXADECIMAL);
 105                                 else
 106                                 {
 107                                         displaySettings.setDataNumberType(corTypes[index]);
 108                                 }
 109                                 viewer.refresh();
 110                         }
 111
 112                         @Override
 113                         public void widgetDefaultSelected(SelectionEvent e)
 114                         {
 115                                 widgetSelected(e);
 116                         }
 117                 });
 118         }
 119
 120         private void createViewer(Composite parent)
 121         {
 122                 viewer = new TableViewer(parent, SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL | SWT.FULL_SELECTION | SWT.BORDER | SWT.VIRTUAL);
 123                 createColumns();
 124                 Table table = viewer.getTable();
 125                 table.setHeaderVisible(true);
 126                 table.setLinesVisible(true);
 127                 viewer.setUseHashlookup(true);
 128                 viewer.setContentProvider(provider);
 129                 setMemoryBinding(new WordAddressableMemory(new DefaultMainMemoryDefinition(8, 8, 8L, Long.MAX_VALUE)));
 130                 getSite().setSelectionProvider(viewer);
 131
 132                 GridData gd = new GridData();
 133                 gd.verticalAlignment = GridData.FILL;
 134                 gd.horizontalSpan = 6;
 135                 gd.grabExcessHorizontalSpace = true;
 136                 gd.grabExcessVerticalSpace = true;
 137                 gd.horizontalAlignment = GridData.FILL;
 138                 viewer.getControl().setLayoutData(gd);
 139         }
 140
 141         private void createColumns()
 142         {
 143                 String[] titles = { "Address", "Data" };
 144                 int[] bounds = { 100, 100 };
 145
 146                 TableViewerColumn col = createTableViewerColumn(titles[0], bounds[0]);
 147                 col.setLabelProvider(new ColumnLabelProvider()
 148                 {
 149                         @Override
 150                         public String getText(Object element)
 151                         {
 152                                 MemoryTableRow row = (MemoryTableRow) element;
 153                                 return String.format(addressFormat, row.address);// TODO: make the string length dependent on memory address length
 154                         }
 155                 });
 156
 157                 col = createTableViewerColumn(titles[1], bounds[1]);
 158                 col.setLabelProvider(new ColumnLabelProvider()
 159                 {
 160                         @Override
 161                         public String getText(Object element)
 162                         {
 163                                 MemoryTableRow row = (MemoryTableRow) element;
 164                                 return AsmNumberUtil.toString(row.getMemory().getCellAsBigInteger(row.address), displaySettings.getDataNumberType());
 165                         }
 166                 });
 167                 col.setEditingSupport(new MemoryCellEditingSupport(viewer, displaySettings));
 168         }
 169
 170         private TableViewerColumn createTableViewerColumn(String title, int bound)
 171         {
 172                 TableViewerColumn viewerColumn = new TableViewerColumn(viewer, SWT.NONE);
 173                 TableColumn column = viewerColumn.getColumn();
 174                 column.setText(title);
 175                 column.setWidth(bound);
 176                 column.setResizable(true);
 177                 column.setMoveable(false);
 178                 return viewerColumn;
 179         }
 180
 181         @Override
 182         public void setFocus()
 183         {
 184                 viewer.getControl().setFocus();
 185         }
 186
 187         public void setMemoryBinding(MainMemory m)
 188         {
 189                 int hexAddressLength = Long.toUnsignedString(m.getDefinition().getMaximalAddress(), 16).length();
 190                 addressFormat = "0x%0" + hexAddressLength + "X";
 191                 viewer.setInput(m);
 192         }
 193
 194         public static class DisplaySettings
 195         {
 196                 private AsmNumberUtil.NumberType dataNumberType;
 197
 198                 public AsmNumberUtil.NumberType getDataNumberType()
 199                 {
 200                         return dataNumberType;
 201                 }
 202
 203                 public void setDataNumberType(AsmNumberUtil.NumberType dataNumberType)
 204                 {
 205                         this.dataNumberType = dataNumberType;
 206                 }
 207         }
 208 }