plugins/net.mograsim.plugin.core/src/net/mograsim/plugin/editors/MemoryEditor.java

   1 package net.mograsim.plugin.editors;
   2
   3 import java.io.IOException;
   4 import java.io.InputStream;
   5 import java.math.BigInteger;
   6
   7 import org.eclipse.core.resources.IFile;
   8 import org.eclipse.core.runtime.CoreException;
   9 import org.eclipse.core.runtime.IProgressMonitor;
  10 import org.eclipse.jface.util.IPropertyChangeListener;
  11 import org.eclipse.jface.util.SafeRunnable;
  12 import org.eclipse.jface.viewers.TableViewerColumn;
  13 import org.eclipse.swt.SWT;
  14 import org.eclipse.swt.layout.GridData;
  15 import org.eclipse.swt.layout.GridLayout;
  16 import org.eclipse.swt.widgets.Button;
  17 import org.eclipse.swt.widgets.Composite;
  18 import org.eclipse.swt.widgets.Label;
  19 import org.eclipse.swt.widgets.Table;
  20 import org.eclipse.swt.widgets.TableColumn;
  21 import org.eclipse.swt.widgets.Text;
  22 import org.eclipse.ui.IEditorInput;
  23 import org.eclipse.ui.IEditorSite;
  24 import org.eclipse.ui.IFileEditorInput;
  25 import org.eclipse.ui.PartInitException;
  26 import org.eclipse.ui.part.EditorPart;
  27 import org.eclipse.ui.themes.ITheme;
  28 import org.eclipse.ui.themes.IThemeManager;
  29
  30 import net.mograsim.machine.MainMemory;
  31 import net.mograsim.machine.MainMemoryDefinition;
  32 import net.mograsim.machine.Memory.MemoryCellModifiedListener;
  33 import net.mograsim.machine.mi.MicroInstructionMemoryParseException;
  34 import net.mograsim.machine.standard.memory.MainMemoryParser;
  35 import net.mograsim.plugin.asm.AsmNumberUtil;
  36 import net.mograsim.plugin.nature.MachineContext;
  37 import net.mograsim.plugin.nature.ProjectMachineContext;
  38 import net.mograsim.plugin.tables.AddressLabelProvider;
  39 import net.mograsim.plugin.tables.DisplaySettings;
  40 import net.mograsim.plugin.tables.LazyTableViewer;
  41 import net.mograsim.plugin.tables.NumberColumnLabelProvider;
  42 import net.mograsim.plugin.tables.RadixSelector;
  43 import net.mograsim.plugin.tables.memory.MemoryCellEditingSupport;
  44 import net.mograsim.plugin.tables.memory.MemoryTableContentProvider;
  45 import net.mograsim.plugin.tables.memory.MemoryTableRow;
  46 import net.mograsim.plugin.tables.memory.NumberVerifyListener;
  47
  48 public class MemoryEditor extends EditorPart
  49 {
  50         private MachineContext context;
  51
  52         private MainMemory memory;
  53
  54         private LazyTableViewer viewer;
  55         private MemoryTableContentProvider provider;
  56         private DisplaySettings displaySettings;
  57
  58         private boolean dirty;
  59
  60         private final MemoryCellModifiedListener memListener;
  61
  62         private final static String font = "net.mograsim.plugin.memory.table_font";
  63         private IPropertyChangeListener fontChangeListener;
  64
  65         public MemoryEditor()
  66         {
  67                 memListener = this::cellModified;
  68         }
  69
  70         @Override
  71         public void createPartControl(Composite parent)
  72         {
  73                 provider = new MemoryTableContentProvider();
  74                 displaySettings = new DisplaySettings();
  75
  76                 parent.setLayout(new GridLayout(7, false));
  77
  78                 createHeader(parent);
  79                 createViewer(parent);
  80
  81                 displaySettings.addObserver(() -> viewer.refresh());
  82         }
  83
  84         @SuppressWarnings("unused") // RadixSelector and exceptions
  85         private void createHeader(Composite parent)
  86         {
  87                 Label fromLabel = new Label(parent, SWT.NONE);
  88                 fromLabel.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, false, false));
  89                 fromLabel.setText("Address: ");
  90
  91                 Text fromText = new Text(parent, SWT.BORDER);
  92                 fromText.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false));
  93                 NumberVerifyListener vl = new NumberVerifyListener();
  94                 fromText.addVerifyListener(vl);
  95                 fromText.setText("0");
  96                 fromText.addModifyListener(e ->
  97                 {
  98                         try
  99                         {
 100                                 provider.setLowerBound(AsmNumberUtil.valueOf(fromText.getText()).longValue());
 101                                 viewer.refresh();
 102                         }
 103                         catch (NumberFormatException x)
 104                         {
 105                                 // Nothing to do here
 106                         }
 107                 });
 108                 Label amountLabel = new Label(parent, SWT.NONE);
 109                 amountLabel.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, false, false));
 110                 amountLabel.setText("Number of cells: ");
 111                 Text amountText = new Text(parent, SWT.BORDER);
 112                 amountText.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, false));
 113                 amountText.addVerifyListener(vl);
 114                 amountText.addModifyListener(e ->
 115                 {
 116                         try
 117                         {
 118                                 if (provider != null)
 119                                         provider.setAmount(AsmNumberUtil.valueOf(amountText.getText()).intValue());
 120                                 if (viewer != null)
 121                                         viewer.refresh();
 122                         }
 123                         catch (NumberFormatException x)
 124                         {
 125                                 // Nothing to do here
 126                         }
 127                 });
 128                 amountText.setText("100");// do this after registering the ModifyListener
 129                 new RadixSelector(parent, displaySettings);
 130
 131                 addActivationButton(parent);
 132         }
 133
 134         private void addActivationButton(Composite parent)
 135         {
 136                 Button activationButton = new Button(parent, SWT.PUSH);
 137                 activationButton.setText("Set Active");
 138                 activationButton.addListener(SWT.Selection, e -> context.getActiveMachine().ifPresent(m -> m.getMainMemory().bind(memory)));
 139         }
 140
 141         private void createViewer(Composite parent)
 142         {
 143                 viewer = new LazyTableViewer(parent, SWT.FULL_SELECTION | SWT.BORDER | SWT.VIRTUAL);
 144                 createColumns();
 145                 Table table = viewer.getTable();
 146                 table.setHeaderVisible(true);
 147                 table.setLinesVisible(true);
 148                 viewer.setUseHashlookup(true);
 149                 viewer.setContentProvider(provider);
 150                 getSite().setSelectionProvider(viewer);// TODO what does this do?
 151                 viewer.getControl().setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true, 7, 1));
 152
 153                 IThemeManager themeManager = getSite().getWorkbenchWindow().getWorkbench().getThemeManager();
 154                 themeManager.addPropertyChangeListener(fontChangeListener = (e) ->
 155                 {
 156                         if (IThemeManager.CHANGE_CURRENT_THEME.equals(e.getProperty()) || font.equals(e.getProperty()))
 157                         {
 158                                 updateFont(themeManager.getCurrentTheme());
 159                                 viewer.refresh();
 160                         }
 161                 });
 162                 updateFont(themeManager.getCurrentTheme());
 163
 164                 if (memory != null)
 165                         viewer.setInput(memory);
 166         }
 167
 168         private void updateFont(ITheme theme)
 169         {
 170                 viewer.getTable().setFont(theme.getFontRegistry().get(font));
 171         }
 172
 173         private void createColumns()
 174         {
 175                 TableViewerColumn addrCol = createTableViewerColumn("Address", 100);
 176                 addrCol.setLabelProvider(new AddressLabelProvider());
 177
 178                 TableViewerColumn dataCol = createTableViewerColumn("Data", 100);
 179                 dataCol.setLabelProvider(new NumberColumnLabelProvider(displaySettings)
 180                 {
 181                         @Override
 182                         public BigInteger getAsBigInteger(Object element)
 183                         {
 184                                 MemoryTableRow row = (MemoryTableRow) element;
 185                                 return row.getMemory().getCellAsBigInteger(row.address);
 186                         }
 187
 188                         @Override
 189                         public int getBitLength(Object element)
 190                         {
 191                                 return ((MemoryTableRow) element).getMemory().getDefinition().getCellWidth();
 192                         }
 193                 });
 194                 dataCol.setEditingSupport(new MemoryCellEditingSupport(viewer, displaySettings));
 195         }
 196
 197         private TableViewerColumn createTableViewerColumn(String title, int width)
 198         {
 199                 TableViewerColumn viewerColumn = new TableViewerColumn(viewer, SWT.NONE);
 200                 TableColumn column = viewerColumn.getColumn();
 201                 column.setText(title);
 202                 column.setWidth(width);
 203                 column.setResizable(true);
 204                 column.setMoveable(false);
 205                 return viewerColumn;
 206         }
 207
 208         @Override
 209         public void init(IEditorSite site, IEditorInput input) throws PartInitException
 210         {
 211                 if (input instanceof IFileEditorInput)
 212                 {
 213                         IFileEditorInput fileInput = (IFileEditorInput) input;
 214                         context = ProjectMachineContext.getMachineContextOf(fileInput.getFile().getProject());
 215                         context.activateMachine();
 216
 217                         setPartName(fileInput.getName());
 218                         try
 219                         {
 220                                 open(fileInput.getFile());
 221                         }
 222                         catch (Exception e)
 223                         {
 224                                 throw new PartInitException("Failed to read input!", e);
 225                         }
 226                 } else
 227                         throw new IllegalArgumentException("MemoryEditor can only be used with Files");
 228
 229                 setSite(site);
 230                 setInput(input);
 231         }
 232
 233         @Override
 234         public void doSave(IProgressMonitor monitor)
 235         {
 236                 IEditorInput input = getEditorInput();
 237                 if (input instanceof IFileEditorInput)
 238                         SafeRunnable.getRunner().run(() -> save(((IFileEditorInput) input).getFile(), monitor));
 239         }
 240
 241         private void save(IFile file, IProgressMonitor monitor) throws CoreException, IOException
 242         {
 243                 if (memory == null)
 244                 {
 245                         throw new MicroInstructionMemoryParseException("Failed to write MainMemory to File. No MainMemory assigned.");
 246                 }
 247                 try (InputStream toWrite = MainMemoryParser.write(memory))
 248                 {
 249                         file.setContents(toWrite, 0, monitor);
 250                         setDirty(false);
 251                 }
 252         }
 253
 254         private void open(IFile file) throws IOException, CoreException
 255         {
 256                 MainMemoryDefinition memDef = context.getMachineDefinition()
 257                                 .orElseThrow(() -> new MicroInstructionMemoryParseException("No MachineDefinition assigned!")).getMainMemoryDefinition();
 258                 memory = MainMemoryParser.parseMemory(memDef, file.getContents());
 259                 memory.registerCellModifiedListener(memListener);
 260                 if (viewer != null)
 261                         viewer.setInput(memory);
 262         }
 263
 264         private void cellModified(@SuppressWarnings("unused") long address)
 265         {
 266                 setDirty(true);
 267         }
 268
 269         private void setDirty(boolean newDirty)
 270         {
 271                 dirty = newDirty;
 272                 firePropertyChange(PROP_DIRTY);
 273         }
 274
 275         @Override
 276         public void doSaveAs()
 277         {
 278                 throw new UnsupportedOperationException();
 279         }
 280
 281         @Override
 282         public boolean isDirty()
 283         {
 284                 return dirty;
 285         }
 286
 287         @Override
 288         public boolean isSaveAsAllowed()
 289         {
 290                 return false;
 291         }
 292
 293         @Override
 294         public void setFocus()
 295         {
 296                 viewer.getTable().setFocus();
 297         }
 298
 299         @Override
 300         public void dispose()
 301         {
 302                 getSite().getWorkbenchWindow().getWorkbench().getThemeManager().removePropertyChangeListener(fontChangeListener);
 303                 if (memory != null)
 304                         memory.deregisterCellModifiedListener(memListener);
 305                 super.dispose();
 306         }
 307 }