replace mode automaton by tables
The following exception happens when replace mode automaton by mode transition table
!ENTRY org.fortiss.af3.tools 1 0 2014-03-05 11:44:04.636
!MESSAGE Parsing Z3 results!
java.lang.IllegalStateException: Cannot modify resource set without a
write transaction
at
org.eclipse.emf.transaction.impl.TransactionChangeRecorder.assertWriting(TransactionChangeRecorder.java:348)
at
org.eclipse.emf.transaction.impl.TransactionChangeRecorder.appendNotification(TransactionChangeRecorder.java:302)
at
org.eclipse.emf.transaction.impl.TransactionChangeRecorder.processObjectNotification(TransactionChangeRecorder.java:284)
at
org.eclipse.emf.transaction.impl.TransactionChangeRecorder.notifyChanged(TransactionChangeRecorder.java:240)
at
org.eclipse.emf.common.notify.impl.BasicNotifierImpl.eNotify(BasicNotifierImpl.java:380)
at
org.eclipse.emf.ecore.util.EcoreEList.dispatchNotification(EcoreEList.java:255)
at
org.eclipse.emf.common.notify.impl.NotifyingListImpl.remove(NotifyingListImpl.java:719)
at
org.fortiss.af3.table.utils.TableUtils.removeInputColumn(TableUtils.java:1482)
at
org.fortiss.af3.table.utils.TableUtils.removeColumnFromTransitionTable(TableUtils.java:1430)
at
org.fortiss.af3.table.utils.ConvertAutomatonToTableUtils.removeColumnForCleanTable(ConvertAutomatonToTableUtils.java:440)
at
org.fortiss.af3.table.utils.ConvertAutomatonToTableUtils.cleanTable(ConvertAutomatonToTableUtils.java:411)
at
org.fortiss.af3.table.utils.ConvertAutomatonToTableUtils.replaceModeAutomatonByTable(ConvertAutomatonToTableUtils.java:165)
at
org.fortiss.af3.table.utils.ConvertAutomatonToTableUtils.replaceAllAutomataByTables(ConvertAutomatonToTableUtils.java:133)
at
org.fortiss.af3.table.utils.ConvertAutomatonToTableUtils.replaceAllAutomataByTables(ConvertAutomatonToTableUtils.java:136)
at
org.fortiss.af3.table.utils.ConvertAutomatonToTableUtils.replaceAllAutomataByTables(ConvertAutomatonToTableUtils.java:109)
at
org.fortiss.af3.analyses.ui.table.TableManipulationView$2.widgetSelected(TableManipulationView.java:165)
at
org.eclipse.swt.widgets.TypedListener.handleEvent(TypedListener.java:240)
at org.eclipse.swt.widgets.EventTable.sendEvent(EventTable.java:84)
at org.eclipse.swt.widgets.Widget.sendEvent(Widget.java:1053)
at
org.eclipse.swt.widgets.Display.runDeferredEvents(Display.java:4165)
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:3754)
at org.eclipse.ui.internal.Workbench.runEventLoop(Workbench.java:2701)
at org.eclipse.ui.internal.Workbench.runUI(Workbench.java:2665)
at org.eclipse.ui.internal.Workbench.access$4(Workbench.java:2499)
at org.eclipse.ui.internal.Workbench$7.run(Workbench.java:679)
at
org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:332)
at
org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:668)
at
org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:149)
at
org.fortiss.af3.rcapplication.AF3Application.start(AF3Application.java:48)
at
org.eclipse.equinox.internal.apEclipseAppHandle.run(EclipseAppHandle.java:196)
at
org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:110)
at
org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:79)
at
org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:344)
at
org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:179)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
at java.lang.reflect.Method.invoke(Unknown Source)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:622)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:577)
at org.eclipse.equinox.launcher.Main.run(Main.java:1410)
at org.eclipse.equinox.launcher.Main.main(Main.java:1386)
(from redmine: issue id 1978, created on 2014-03-05, closed on 2017-12-15)