Refactored MemoryView for extensibility
[Mograsim.git] / net.mograsim.plugin.core / src / net / mograsim / plugin / tables / memory / MemoryView.java
1 package net.mograsim.plugin.tables.memory;
2
3 import java.math.BigInteger;
4
5 import org.eclipse.jface.viewers.ColumnLabelProvider;
6 import org.eclipse.jface.viewers.TableViewer;
7 import org.eclipse.jface.viewers.TableViewerColumn;
8 import org.eclipse.swt.SWT;
9 import org.eclipse.swt.events.SelectionEvent;
10 import org.eclipse.swt.events.SelectionListener;
11 import org.eclipse.swt.events.VerifyListener;
12 import org.eclipse.swt.layout.GridData;
13 import org.eclipse.swt.layout.GridLayout;
14 import org.eclipse.swt.widgets.Combo;
15 import org.eclipse.swt.widgets.Composite;
16 import org.eclipse.swt.widgets.Label;
17 import org.eclipse.swt.widgets.Table;
18 import org.eclipse.swt.widgets.TableColumn;
19 import org.eclipse.swt.widgets.Text;
20 import org.eclipse.ui.part.ViewPart;
21
22 import net.mograsim.machine.MainMemory;
23 import net.mograsim.machine.MainMemoryDefinition;
24 import net.mograsim.machine.standard.memory.WordAddressableMemory;
25 import net.mograsim.plugin.asm.AsmNumberUtil;
26 import net.mograsim.plugin.asm.AsmNumberUtil.NumberType;
27 import net.mograsim.plugin.tables.NumberColumnLabelProvider;
28
29 public class MemoryView extends ViewPart
30 {
31         private TableViewer viewer;
32         private MemoryTableContentProvider provider;
33         private DisplaySettings displaySettings;
34         private String addressFormat;
35
36         @Override
37         public void createPartControl(Composite parent)
38         {
39                 provider = new MemoryTableContentProvider();
40                 displaySettings = new DisplaySettings(NumberType.HEXADECIMAL);
41
42                 GridLayout layout = new GridLayout(6, false);
43                 parent.setLayout(layout);
44                 Label fromLabel = new Label(parent, SWT.NONE);
45                 fromLabel.setText("Address: ");
46                 Text fromText = new Text(parent, SWT.BORDER | SWT.SEARCH);
47                 fromText.setLayoutData(new GridData(GridData.GRAB_HORIZONTAL | GridData.FILL_HORIZONTAL));
48                 VerifyListener vl = new NumberVerifyListener();
49                 fromText.addVerifyListener(vl);
50                 fromText.setText("0");
51                 fromText.addModifyListener(e ->
52                 {
53                         try
54                         {
55                                 provider.setLowerBound(AsmNumberUtil.valueOf(fromText.getText()).longValue());
56                                 viewer.refresh();
57                         }
58                         catch (@SuppressWarnings("unused") NumberFormatException ex)
59                         {
60                                 // Nothing to do here
61                         }
62                 });
63
64                 Label amountLabel = new Label(parent, SWT.NONE);
65                 amountLabel.setText("Number of cells: ");
66                 Text amountText = new Text(parent, SWT.BORDER | SWT.SEARCH);
67                 amountText.setLayoutData(new GridData(GridData.GRAB_HORIZONTAL | GridData.FILL_HORIZONTAL));
68                 amountText.addVerifyListener(vl);
69                 amountText.setText("0");
70                 amountText.addModifyListener(e ->
71                 {
72                         try
73                         {
74                                 provider.setAmount(AsmNumberUtil.valueOf(amountText.getText()).intValue());
75                                 viewer.refresh();
76                         }
77                         catch (@SuppressWarnings("unused") NumberFormatException ex)
78                         {
79                                 // Nothing to do here
80                         }
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(MainMemoryDefinition.create(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);
154                         }
155                 });
156
157                 col = createTableViewerColumn(titles[1], bounds[1]);
158                 col.setLabelProvider(new NumberColumnLabelProvider(displaySettings)
159                 {
160                         @Override
161                         public BigInteger getAsBigInteger(Object element)
162                         {
163                                 MemoryTableRow row = (MemoryTableRow) element;
164                                 return row.getMemory().getCellAsBigInteger(row.address);
165                         }
166
167                 });
168                 col.setEditingSupport(new MemoryCellEditingSupport(viewer, displaySettings));
169         }
170
171         private TableViewerColumn createTableViewerColumn(String title, int bound)
172         {
173                 TableViewerColumn viewerColumn = new TableViewerColumn(viewer, SWT.NONE);
174                 TableColumn column = viewerColumn.getColumn();
175                 column.setText(title);
176                 column.setWidth(bound);
177                 column.setResizable(true);
178                 column.setMoveable(false);
179                 return viewerColumn;
180         }
181
182         @Override
183         public void setFocus()
184         {
185                 viewer.getControl().setFocus();
186         }
187
188         public void setMemoryBinding(MainMemory m)
189         {
190                 int hexAddressLength = Long.toUnsignedString(m.getDefinition().getMaximalAddress(), 16).length();
191                 addressFormat = "0x%0" + hexAddressLength + "X";
192                 viewer.setInput(m);
193         }
194 }