- return Arrays.stream(HEX_DIGITS).map(s -> "0x" + s.repeat((bitWidth + 3) / 4)).toArray(String[]::new);
- }
-
- private void createEditingAndLabel(TableViewerColumn col, MicroInstructionDefinition miDef, int index)
- {
- ParameterClassification parameterClassification = miDef.getParameterClassifications()[index];
- EditingSupport support;
- ColumnLabelProvider provider;
- switch (parameterClassification.getExpectedType())
- {
- case BOOLEAN_IMMEDIATE:
- support = new BooleanEditingSupport(viewer, miDef, index);
- provider = new ParameterLabelProvider(index);
- break;
- case INTEGER_IMMEDIATE:
- support = new IntegerEditingSupport(viewer, miDef, index, displaySettings, this.provider);
- provider = new IntegerColumnLabelProvider(displaySettings, index);
- break;
- case MNEMONIC:
- support = new MnemonicEditingSupport(viewer, miDef, index, this.provider);
- provider = new ParameterLabelProvider(index);
- break;
- default:
- throw new IllegalStateException(
- "Unable to create EditingSupport for unknown ParameterType " + parameterClassification.getExpectedType());
- }
- col.setEditingSupport(support);
- col.setLabelProvider(provider);
- col.getColumn().setToolTipText(miDef.getParameterDescription(index).orElse(""));
- }
-
- private TableViewerColumn createTableViewerColumn(String title, String... longestPossibleContents)
- {
- TableViewerColumn viewerColumn = new TableViewerColumn(viewer, SWT.NONE);
- TableColumn column = viewerColumn.getColumn();
- int maxWidth = 0;
- for (String s : longestPossibleContents)
- {
- column.setText(s);
- column.pack();
- if (column.getWidth() > maxWidth)
- maxWidth = column.getWidth();
- }
- column.setText(title);
- column.pack();
- if (column.getWidth() < maxWidth)
- column.setWidth(maxWidth);
- column.setResizable(true);
- column.setMoveable(false);
- return viewerColumn;
- }
-
- private void open(String file)
- {
- if (miDef == null)
- {
- System.err.println("Failed to parse MicroprogrammingMemory from File. No MicroInstructionDefinition assigned.");
- return;
- }