Exemplo n.º 1
0
 @Override
 public void createInterfacePanel(final GraphEditor editor) {
   super.createInterfacePanel(editor);
   stateTable = new StateTable(new StateTableModel());
   statePane.setViewportView(stateTable);
   traceTable.setDefaultRenderer(Object.class, new TraceTableCellRendererImplementation());
 }
Exemplo n.º 2
0
 @Override
 public void activated(final GraphEditor editor) {
   super.activated(editor);
   initialiseStateMap();
   setStatePaneVisibility(true);
 }
Exemplo n.º 3
0
 @Override
 public void updateState(final GraphEditor editor) {
   super.updateState(editor);
   updateSignalState();
   stateTable.tableChanged(new TableModelEvent(traceTable.getModel()));
 }