next = system.getAgenda().getNextActivation();
public void agendaChanged() { synchronized(AgendaPanel.this) { List his = agenda.getHistory(); activations_clone = agenda.getActivations().toArray(); history_clone = his!=null? his.toArray(): new Object[0]; next = agenda.getNextActivation(); } if(!invoked) { invoked = true; SwingUtilities.invokeLater(new Runnable() { public void run() { invoked = false; synchronized(AgendaPanel.this) { AgendaPanel.this.activations_clone = activations_clone; AgendaPanel.this.history_clone = history_clone; AgendaPanel.this.next = next; } updateList(); } }); } } };
public void actionPerformed(ActionEvent e) { if(followact.isSelected()) { Activation act = system.getAgenda().getNextActivation(); if(act!=null && followact.isSelected()) { rulebasepanel.setSelectedBreakpoints(new String[]{act.getRule().getName()}); } } else { rulebasepanel.setSelectedBreakpoints(new String[0]); } } });
activations_clone = agenda.getActivations().toArray(); history_clone = agenda.getHistory().toArray(); next = agenda.getNextActivation(); this.listener = new IAgendaListener()
if(followact.isSelected()) Activation act = system.getAgenda().getNextActivation(); if(act!=null && followact.isSelected())