private MicroInstructionMemory memory;
private DisplaySettings displaySettings;
private InstructionTableContentProvider provider;
+ private int highlighted = 0;
@SuppressWarnings("unused")
@Override
viewerData.horizontalSpan = 3;
viewer.getTable().setLayoutData(viewerData);
- displaySettings.addObserver(() -> viewer.refreshLazy());
+ displaySettings.addObserver(() -> viewer.refresh());
MachineContext.getInstance().registerObserver(this);
+ setMachine(Optional.ofNullable(MachineContext.getInstance().getMachine()));
+ }
+
+ public void highlight(int index)
+ {
+ viewer.highlightRow(highlighted, false);
+ viewer.highlightRow(index, true);
+ viewer.getTable().setTopIndex(index);
}
@SuppressWarnings("unused")
private void createColumns()
{
+ int size = miDef.size();
+ columns = new TableViewerColumn[size + 1];
+
TableViewerColumn col = createTableViewerColumn("Address", 200);
+ columns[0] = col;
col.setLabelProvider(new AddressLabelProvider());
- int size = miDef.size();
int bit = 0;
- columns = new TableViewerColumn[size];
ParameterClassification[] classes = miDef.getParameterClassifications();
for (int i = 0; i < size; i++)
String name = startBit == endBit ? Integer.toString(startBit) : startBit + "..." + endBit;
int bounds = 20 + 20 * classes[i].getExpectedBits();
- createEditingAndLabel(createTableViewerColumn(name, bounds), miDef, i);
+ col = createTableViewerColumn(name, bounds);
+ columns[i + 1] = col;
+ createEditingAndLabel(col, miDef, i);
}
-
}
private void createEditingAndLabel(TableViewerColumn col, MicroInstructionDefinition miDef, int index)
}
col.setEditingSupport(support);
col.setLabelProvider(provider);
+ col.getColumn().setToolTipText(miDef.getParameterDescription(index).orElse(""));
}
private TableViewerColumn createTableViewerColumn(String title, int bound)