private void formalizeComponent(Component_c component) { TransactionManager tm = getSystemModel().getTransactionManager(); try { Transaction tr = tm.startTransaction("Component Test Formalization", Ooaofooa.getDefaultInstance()); component.Formalize(testDomain.getDom_id()); tm.endTransaction(tr); } catch (TransactionException e) { fail("Unable to start component formalization transaction."); } }
@Override protected void handleDispose(DisposeEvent event) { super.handleDispose(event); mergeViewer.getCompareTransactionManager().removeTransactionListener(this); TransactionManager.getSingleton().removeTransactionListener(this); if (tip != null) { tip.dispose(); } }
/* (non-Javadoc) * @see org.eclipse.ui.views.properties.IPropertySource#setPropertyValue(java.lang.Object, java.lang.Object) */ public void setPropertyValue(Object id, Object value) { boolean value_changed = false; String trans_name = ""; Transaction tr = null; Ooaofooa modelRoot = (Ooaofooa) m_inst.getModelRoot(); TransactionManager tm = TransactionManager.getSingleton(); try { if (id.equals("Descrip")) { if (!value.toString().equals(m_inst.getDescrip())) { trans_name = "Change in property: 'Descrip' of Fork Join Node"; // $NON-NLS-1$ tr = tm.startTransaction(trans_name, Ooaofooa.getDefaultInstance()); value_changed = true; m_inst.setDescrip(value.toString()); } } else if (id.equals("GuardCondition")) { if (!value.toString().equals(m_inst.getGuardcondition())) { trans_name = "Change in property: 'GuardCondition' of Fork Join Node"; // $NON-NLS-1$ tr = tm.startTransaction(trans_name, Ooaofooa.getDefaultInstance()); value_changed = true; m_inst.setGuardcondition(value.toString()); } } // catch all exceptions and cancel the transaction } catch (Exception e) { // this can be null if there was // an exception starting the // transaction if (tr != null) { tm.cancelTransaction(tr, e); tr = null; } CorePlugin.logError("Transaction: " + trans_name + " could not complete", e); } if (tr != null) { if (value_changed) tm.endTransaction(tr); else tm.cancelTransaction(tr); } }
private void hookListeners() { getTree() .addListener( SWT.Expand, new Listener() { @Override public void handleEvent(Event event) { PlatformUI.getWorkbench() .getDisplay() .asyncExec( new Runnable() { @Override public void run() { getTree().getColumn(1).pack(); mergeViewer.refreshCenter(); } }); } }); getTree() .addListener( SWT.Collapse, new Listener() { @Override public void handleEvent(Event event) { PlatformUI.getWorkbench() .getDisplay() .asyncExec( new Runnable() { @Override public void run() { getTree().getColumn(1).pack(); mergeViewer.refreshCenter(); } }); } }); addDoubleClickListener( new IDoubleClickListener() { @Override public void doubleClick(DoubleClickEvent event) { handleOpen(); } }); getTree() .addPaintListener( new PaintListener() { @Override public void paintControl(PaintEvent e) { try { highlightDifferences(e.gc); } catch (Exception ex) { ComparePlugin.writeToLog( "Exception during difference highlighting", ex, getClass()); } } }); addSelectionChangedListener( new ISelectionChangedListener() { @Override public void selectionChanged(SelectionChangedEvent event) { // transfer selection to core selection Selection.getInstance().setSelection(event.getSelection()); } }); mergeViewer.getCompareTransactionManager().addTransactionListener(this); TransactionManager.getSingleton().addTransactionListener(this); ; }