/** * Notification when an object has been removed from state. * @param id The object id. * @param type The object type. */ public void objectRemoved(final Object id, final OAVObjectType type) { // if(!(type instanceof OAVJavaType)) { CopyState.this.synchronizator.invokeLater(new Runnable() { public void run() { assert copy.containsKey(id); copy.remove(id); if(listeners!=null) { IOAVStateListener[] alist = (IOAVStateListener[])listeners.toArray(new IOAVStateListener[listeners.size()]); for(int i=0; i<alist.length; i++) alist[i].objectRemoved(id, type); } } }); } } };
CopyState.this.synchronizator.invokeLater(new Runnable()
/** * Refresh the panel. */ public void refresh() { // Use state synchronizator for accessing rete memory (hack???) if(state.getSynchronizator()!=null) { try { state.getSynchronizator().invokeLater(runrefresh); } catch(Exception e) { //System.out.println("refresh problem"); // Refresh did not work. } } else { runrefresh.run(); } } }
CopyState.this.synchronizator.invokeLater(new Runnable()
synchronizator.invokeLater(new Runnable()
synchronizator.invokeLater(new Runnable()