TP4
This commit is contained in:
Laurent Fainsin
parent
deeabe7898
commit
c923ddc564
409
eclipse-workspace/.metadata/.log
Normal file
409
eclipse-workspace/.metadata/.log
Normal file
|
|
@ -0,0 +1,409 @@
|
||||||
|
|
||||||
|
!ENTRY org.eclipse.emf.cdo.explorer 4 0 2021-10-09 18:08:30.240
|
||||||
|
!MESSAGE InterruptedException
|
||||||
|
!STACK 0
|
||||||
|
java.lang.InterruptedException
|
||||||
|
at java.base/java.util.concurrent.locks.AbstractQueuedSynchronizer.acquireSharedInterruptibly(AbstractQueuedSynchronizer.java:1343)
|
||||||
|
at java.base/java.util.concurrent.Semaphore.acquire(Semaphore.java:318)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.Lifecycle.lock(Lifecycle.java:312)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.Lifecycle.internalDeactivate(Lifecycle.java:118)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.ShareableLifecycle.internalDeactivate(ShareableLifecycle.java:52)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.Lifecycle.deactivate(Lifecycle.java:170)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.LifecycleUtil.deactivate(LifecycleUtil.java:235)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.LifecycleUtil.deactivate(LifecycleUtil.java:225)
|
||||||
|
at org.eclipse.emf.cdo.internal.explorer.bundle.OM.disposeManagers(OM.java:83)
|
||||||
|
at org.eclipse.emf.cdo.internal.explorer.bundle.OM$Activator.doStop(OM.java:136)
|
||||||
|
at org.eclipse.net4j.util.om.OSGiActivator.stop(OSGiActivator.java:92)
|
||||||
|
at org.eclipse.osgi.internal.framework.BundleContextImpl$3.run(BundleContextImpl.java:871)
|
||||||
|
at org.eclipse.osgi.internal.framework.BundleContextImpl$3.run(BundleContextImpl.java:1)
|
||||||
|
at java.base/java.security.AccessController.doPrivileged(Native Method)
|
||||||
|
at org.eclipse.osgi.internal.framework.BundleContextImpl.stop(BundleContextImpl.java:863)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle.stopWorker0(EquinoxBundle.java:1025)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle$EquinoxModule.stopWorker(EquinoxBundle.java:370)
|
||||||
|
at org.eclipse.osgi.container.Module.doStop(Module.java:660)
|
||||||
|
at org.eclipse.osgi.container.Module.stop(Module.java:521)
|
||||||
|
at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.decStartLevel(ModuleContainer.java:1886)
|
||||||
|
at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1761)
|
||||||
|
at org.eclipse.osgi.container.SystemModule.stopWorker(SystemModule.java:275)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle$SystemBundle$EquinoxSystemModule.stopWorker(EquinoxBundle.java:202)
|
||||||
|
at org.eclipse.osgi.container.Module.doStop(Module.java:660)
|
||||||
|
at org.eclipse.osgi.container.Module.stop(Module.java:521)
|
||||||
|
at org.eclipse.osgi.container.SystemModule.stop(SystemModule.java:207)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle$SystemBundle$EquinoxSystemModule$1.run(EquinoxBundle.java:220)
|
||||||
|
at java.base/java.lang.Thread.run(Thread.java:829)
|
||||||
|
!SESSION 2021-10-09 18:08:31.914 -----------------------------------------------
|
||||||
|
eclipse.buildId=4.17.0.I20200902-1800
|
||||||
|
java.version=11.0.11
|
||||||
|
java.vendor=Ubuntu
|
||||||
|
BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=fr_FR
|
||||||
|
Framework arguments: -product org.eclipse.epp.package.modeling.product
|
||||||
|
Command-line arguments: -data file:/home/lfainsin/miniproj_idm/eclipse-workspace/ -os linux -ws gtk -arch x86_64 -product org.eclipse.epp.package.modeling.product -clean
|
||||||
|
|
||||||
|
!ENTRY org.eclipse.emf.cdo.explorer 4 0 2021-10-09 18:13:58.005
|
||||||
|
!MESSAGE InterruptedException
|
||||||
|
!STACK 0
|
||||||
|
java.lang.InterruptedException
|
||||||
|
at java.base/java.util.concurrent.locks.AbstractQueuedSynchronizer.acquireSharedInterruptibly(AbstractQueuedSynchronizer.java:1343)
|
||||||
|
at java.base/java.util.concurrent.Semaphore.acquire(Semaphore.java:318)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.Lifecycle.lock(Lifecycle.java:312)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.Lifecycle.internalDeactivate(Lifecycle.java:118)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.ShareableLifecycle.internalDeactivate(ShareableLifecycle.java:52)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.Lifecycle.deactivate(Lifecycle.java:170)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.LifecycleUtil.deactivate(LifecycleUtil.java:235)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.LifecycleUtil.deactivate(LifecycleUtil.java:225)
|
||||||
|
at org.eclipse.emf.cdo.internal.explorer.bundle.OM.disposeManagers(OM.java:83)
|
||||||
|
at org.eclipse.emf.cdo.internal.explorer.bundle.OM$Activator.doStop(OM.java:136)
|
||||||
|
at org.eclipse.net4j.util.om.OSGiActivator.stop(OSGiActivator.java:92)
|
||||||
|
at org.eclipse.osgi.internal.framework.BundleContextImpl$3.run(BundleContextImpl.java:871)
|
||||||
|
at org.eclipse.osgi.internal.framework.BundleContextImpl$3.run(BundleContextImpl.java:1)
|
||||||
|
at java.base/java.security.AccessController.doPrivileged(Native Method)
|
||||||
|
at org.eclipse.osgi.internal.framework.BundleContextImpl.stop(BundleContextImpl.java:863)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle.stopWorker0(EquinoxBundle.java:1025)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle$EquinoxModule.stopWorker(EquinoxBundle.java:370)
|
||||||
|
at org.eclipse.osgi.container.Module.doStop(Module.java:660)
|
||||||
|
at org.eclipse.osgi.container.Module.stop(Module.java:521)
|
||||||
|
at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.decStartLevel(ModuleContainer.java:1886)
|
||||||
|
at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1761)
|
||||||
|
at org.eclipse.osgi.container.SystemModule.stopWorker(SystemModule.java:275)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle$SystemBundle$EquinoxSystemModule.stopWorker(EquinoxBundle.java:202)
|
||||||
|
at org.eclipse.osgi.container.Module.doStop(Module.java:660)
|
||||||
|
at org.eclipse.osgi.container.Module.stop(Module.java:521)
|
||||||
|
at org.eclipse.osgi.container.SystemModule.stop(SystemModule.java:207)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle$SystemBundle$EquinoxSystemModule$1.run(EquinoxBundle.java:220)
|
||||||
|
at java.base/java.lang.Thread.run(Thread.java:829)
|
||||||
|
!SESSION 2021-10-09 18:13:59.690 -----------------------------------------------
|
||||||
|
eclipse.buildId=4.17.0.I20200902-1800
|
||||||
|
java.version=11.0.11
|
||||||
|
java.vendor=Ubuntu
|
||||||
|
BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=fr_FR
|
||||||
|
Framework arguments: -product org.eclipse.epp.package.modeling.product
|
||||||
|
Command-line arguments: -data file:/home/lfainsin/miniproj_idm/eclipse-workspace/ -os linux -ws gtk -arch x86_64 -product org.eclipse.epp.package.modeling.product -clean
|
||||||
|
|
||||||
|
!ENTRY org.eclipse.jface 4 2 2021-10-09 18:15:16.991
|
||||||
|
!MESSAGE Problems occurred when invoking code from plug-in: "org.eclipse.jface".
|
||||||
|
!STACK 0
|
||||||
|
java.lang.NullPointerException
|
||||||
|
at petrinet.provider.ArcItemProvider.getText(ArcItemProvider.java:157)
|
||||||
|
at org.eclipse.emf.edit.ui.provider.AdapterFactoryLabelProvider.getText(AdapterFactoryLabelProvider.java:424)
|
||||||
|
at org.eclipse.jface.viewers.WrappedViewerLabelProvider.getText(WrappedViewerLabelProvider.java:99)
|
||||||
|
at org.eclipse.jface.viewers.WrappedViewerLabelProvider.update(WrappedViewerLabelProvider.java:148)
|
||||||
|
at org.eclipse.jface.viewers.ViewerColumn.refresh(ViewerColumn.java:144)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.doUpdateItem(AbstractTreeViewer.java:959)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer$UpdateItemSafeRunnable.run(AbstractTreeViewer.java:126)
|
||||||
|
at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45)
|
||||||
|
at org.eclipse.jface.util.SafeRunnable.run(SafeRunnable.java:174)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.doUpdateItem(AbstractTreeViewer.java:1037)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer$UpdateItemSafeRunnable.run(StructuredViewer.java:427)
|
||||||
|
at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45)
|
||||||
|
at org.eclipse.jface.util.SafeRunnable.run(SafeRunnable.java:174)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer.updateItem(StructuredViewer.java:2111)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.createTreeItem(AbstractTreeViewer.java:853)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.createChildren(AbstractTreeViewer.java:831)
|
||||||
|
at org.eclipse.jface.viewers.TreeViewer.createChildren(TreeViewer.java:604)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.createChildren(AbstractTreeViewer.java:779)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.internalExpand(AbstractTreeViewer.java:1690)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.setSelectionToWidget(AbstractTreeViewer.java:2557)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer.setSelectionToWidget(StructuredViewer.java:1704)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.setSelectionToWidget(AbstractTreeViewer.java:3029)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer.setSelection(StructuredViewer.java:1660)
|
||||||
|
at org.eclipse.jface.viewers.TreeViewer.setSelection(TreeViewer.java:1084)
|
||||||
|
at petrinet.presentation.PetrinetEditor$5.run(PetrinetEditor.java:773)
|
||||||
|
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:40)
|
||||||
|
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:185)
|
||||||
|
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4988)
|
||||||
|
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4510)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$5.run(PartRenderingEngine.java:1157)
|
||||||
|
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1046)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:155)
|
||||||
|
at org.eclipse.ui.internal.Workbench.lambda$3(Workbench.java:644)
|
||||||
|
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
|
||||||
|
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:551)
|
||||||
|
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:153)
|
||||||
|
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:150)
|
||||||
|
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
|
||||||
|
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
|
||||||
|
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
|
||||||
|
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
|
||||||
|
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
|
||||||
|
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
|
||||||
|
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
|
||||||
|
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
|
||||||
|
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
|
||||||
|
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:657)
|
||||||
|
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:594)
|
||||||
|
at org.eclipse.equinox.launcher.Main.run(Main.java:1465)
|
||||||
|
at org.eclipse.equinox.launcher.Main.main(Main.java:1438)
|
||||||
|
|
||||||
|
!ENTRY org.eclipse.jface 4 2 2021-10-09 18:15:17.057
|
||||||
|
!MESSAGE Problems occurred when invoking code from plug-in: "org.eclipse.jface".
|
||||||
|
!STACK 0
|
||||||
|
java.lang.NullPointerException
|
||||||
|
at petrinet.provider.ArcItemProvider.getText(ArcItemProvider.java:157)
|
||||||
|
at org.eclipse.emf.edit.provider.AdapterFactoryItemDelegator.getText(AdapterFactoryItemDelegator.java:84)
|
||||||
|
at petrinet.presentation.PetrinetEditor.setStatusLineManager(PetrinetEditor.java:1711)
|
||||||
|
at petrinet.presentation.PetrinetEditor.setSelection(PetrinetEditor.java:1690)
|
||||||
|
at petrinet.presentation.PetrinetEditor$6.selectionChanged(PetrinetEditor.java:886)
|
||||||
|
at org.eclipse.jface.viewers.Viewer$1.run(Viewer.java:151)
|
||||||
|
at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45)
|
||||||
|
at org.eclipse.jface.util.SafeRunnable.run(SafeRunnable.java:174)
|
||||||
|
at org.eclipse.jface.viewers.Viewer.fireSelectionChanged(Viewer.java:148)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer.updateSelection(StructuredViewer.java:2132)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer.setSelection(StructuredViewer.java:1662)
|
||||||
|
at org.eclipse.jface.viewers.TreeViewer.setSelection(TreeViewer.java:1084)
|
||||||
|
at petrinet.presentation.PetrinetEditor$5.run(PetrinetEditor.java:773)
|
||||||
|
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:40)
|
||||||
|
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:185)
|
||||||
|
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4988)
|
||||||
|
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4510)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$5.run(PartRenderingEngine.java:1157)
|
||||||
|
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1046)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:155)
|
||||||
|
at org.eclipse.ui.internal.Workbench.lambda$3(Workbench.java:644)
|
||||||
|
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
|
||||||
|
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:551)
|
||||||
|
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:153)
|
||||||
|
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:150)
|
||||||
|
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
|
||||||
|
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
|
||||||
|
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
|
||||||
|
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
|
||||||
|
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
|
||||||
|
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
|
||||||
|
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
|
||||||
|
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
|
||||||
|
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
|
||||||
|
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:657)
|
||||||
|
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:594)
|
||||||
|
at org.eclipse.equinox.launcher.Main.run(Main.java:1465)
|
||||||
|
at org.eclipse.equinox.launcher.Main.main(Main.java:1438)
|
||||||
|
|
||||||
|
!ENTRY org.eclipse.jface 4 2 2021-10-09 18:15:36.831
|
||||||
|
!MESSAGE Problems occurred when invoking code from plug-in: "org.eclipse.jface".
|
||||||
|
!STACK 0
|
||||||
|
java.lang.NullPointerException
|
||||||
|
at petrinet.provider.ArcItemProvider.getText(ArcItemProvider.java:157)
|
||||||
|
at org.eclipse.emf.edit.ui.provider.AdapterFactoryLabelProvider.getText(AdapterFactoryLabelProvider.java:424)
|
||||||
|
at org.eclipse.jface.viewers.WrappedViewerLabelProvider.getText(WrappedViewerLabelProvider.java:99)
|
||||||
|
at org.eclipse.jface.viewers.WrappedViewerLabelProvider.update(WrappedViewerLabelProvider.java:148)
|
||||||
|
at org.eclipse.jface.viewers.ViewerColumn.refresh(ViewerColumn.java:144)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.doUpdateItem(AbstractTreeViewer.java:959)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer$UpdateItemSafeRunnable.run(AbstractTreeViewer.java:126)
|
||||||
|
at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45)
|
||||||
|
at org.eclipse.jface.util.SafeRunnable.run(SafeRunnable.java:174)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.doUpdateItem(AbstractTreeViewer.java:1037)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer$UpdateItemSafeRunnable.run(StructuredViewer.java:427)
|
||||||
|
at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45)
|
||||||
|
at org.eclipse.jface.util.SafeRunnable.run(SafeRunnable.java:174)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer.updateItem(StructuredViewer.java:2111)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.createTreeItem(AbstractTreeViewer.java:853)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.createChildren(AbstractTreeViewer.java:831)
|
||||||
|
at org.eclipse.jface.viewers.TreeViewer.createChildren(TreeViewer.java:604)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.createChildren(AbstractTreeViewer.java:779)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.internalExpand(AbstractTreeViewer.java:1690)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.setSelectionToWidget(AbstractTreeViewer.java:2557)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer.setSelectionToWidget(StructuredViewer.java:1704)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.setSelectionToWidget(AbstractTreeViewer.java:3029)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer.setSelection(StructuredViewer.java:1660)
|
||||||
|
at org.eclipse.jface.viewers.TreeViewer.setSelection(TreeViewer.java:1084)
|
||||||
|
at petrinet.presentation.PetrinetEditor$5.run(PetrinetEditor.java:773)
|
||||||
|
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:40)
|
||||||
|
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:185)
|
||||||
|
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4988)
|
||||||
|
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4510)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$5.run(PartRenderingEngine.java:1157)
|
||||||
|
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1046)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:155)
|
||||||
|
at org.eclipse.ui.internal.Workbench.lambda$3(Workbench.java:644)
|
||||||
|
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
|
||||||
|
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:551)
|
||||||
|
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:153)
|
||||||
|
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:150)
|
||||||
|
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
|
||||||
|
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
|
||||||
|
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
|
||||||
|
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
|
||||||
|
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
|
||||||
|
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
|
||||||
|
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
|
||||||
|
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
|
||||||
|
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
|
||||||
|
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:657)
|
||||||
|
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:594)
|
||||||
|
at org.eclipse.equinox.launcher.Main.run(Main.java:1465)
|
||||||
|
at org.eclipse.equinox.launcher.Main.main(Main.java:1438)
|
||||||
|
|
||||||
|
!ENTRY org.eclipse.jface 4 2 2021-10-09 18:15:36.999
|
||||||
|
!MESSAGE Problems occurred when invoking code from plug-in: "org.eclipse.jface".
|
||||||
|
!STACK 0
|
||||||
|
java.lang.NullPointerException
|
||||||
|
at petrinet.provider.ArcItemProvider.getText(ArcItemProvider.java:157)
|
||||||
|
at org.eclipse.emf.edit.ui.provider.AdapterFactoryLabelProvider.getText(AdapterFactoryLabelProvider.java:424)
|
||||||
|
at org.eclipse.jface.viewers.WrappedViewerLabelProvider.getText(WrappedViewerLabelProvider.java:99)
|
||||||
|
at org.eclipse.jface.viewers.WrappedViewerLabelProvider.update(WrappedViewerLabelProvider.java:148)
|
||||||
|
at org.eclipse.jface.viewers.ViewerColumn.refresh(ViewerColumn.java:144)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.doUpdateItem(AbstractTreeViewer.java:959)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer$UpdateItemSafeRunnable.run(AbstractTreeViewer.java:126)
|
||||||
|
at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45)
|
||||||
|
at org.eclipse.jface.util.SafeRunnable.run(SafeRunnable.java:174)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.doUpdateItem(AbstractTreeViewer.java:1037)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer$UpdateItemSafeRunnable.run(StructuredViewer.java:427)
|
||||||
|
at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45)
|
||||||
|
at org.eclipse.jface.util.SafeRunnable.run(SafeRunnable.java:174)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer.updateItem(StructuredViewer.java:2111)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.createTreeItem(AbstractTreeViewer.java:853)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.createChildren(AbstractTreeViewer.java:831)
|
||||||
|
at org.eclipse.jface.viewers.TreeViewer.createChildren(TreeViewer.java:604)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.createChildren(AbstractTreeViewer.java:779)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.internalExpand(AbstractTreeViewer.java:1690)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.setSelectionToWidget(AbstractTreeViewer.java:2557)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer.setSelectionToWidget(StructuredViewer.java:1704)
|
||||||
|
at org.eclipse.jface.viewers.AbstractTreeViewer.setSelectionToWidget(AbstractTreeViewer.java:3029)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer.setSelection(StructuredViewer.java:1660)
|
||||||
|
at org.eclipse.jface.viewers.TreeViewer.setSelection(TreeViewer.java:1084)
|
||||||
|
at petrinet.presentation.PetrinetEditor$5.run(PetrinetEditor.java:773)
|
||||||
|
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:40)
|
||||||
|
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:185)
|
||||||
|
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4988)
|
||||||
|
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4510)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$5.run(PartRenderingEngine.java:1157)
|
||||||
|
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1046)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:155)
|
||||||
|
at org.eclipse.ui.internal.Workbench.lambda$3(Workbench.java:644)
|
||||||
|
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
|
||||||
|
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:551)
|
||||||
|
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:153)
|
||||||
|
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:150)
|
||||||
|
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
|
||||||
|
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
|
||||||
|
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
|
||||||
|
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
|
||||||
|
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
|
||||||
|
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
|
||||||
|
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
|
||||||
|
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
|
||||||
|
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
|
||||||
|
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:657)
|
||||||
|
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:594)
|
||||||
|
at org.eclipse.equinox.launcher.Main.run(Main.java:1465)
|
||||||
|
at org.eclipse.equinox.launcher.Main.main(Main.java:1438)
|
||||||
|
|
||||||
|
!ENTRY org.eclipse.jface 4 2 2021-10-09 18:15:37.013
|
||||||
|
!MESSAGE Problems occurred when invoking code from plug-in: "org.eclipse.jface".
|
||||||
|
!STACK 0
|
||||||
|
java.lang.NullPointerException
|
||||||
|
at petrinet.provider.ArcItemProvider.getText(ArcItemProvider.java:157)
|
||||||
|
at org.eclipse.emf.edit.provider.AdapterFactoryItemDelegator.getText(AdapterFactoryItemDelegator.java:84)
|
||||||
|
at petrinet.presentation.PetrinetEditor.setStatusLineManager(PetrinetEditor.java:1711)
|
||||||
|
at petrinet.presentation.PetrinetEditor.setSelection(PetrinetEditor.java:1690)
|
||||||
|
at petrinet.presentation.PetrinetEditor$6.selectionChanged(PetrinetEditor.java:886)
|
||||||
|
at org.eclipse.jface.viewers.Viewer$1.run(Viewer.java:151)
|
||||||
|
at org.eclipse.core.runtime.SafeRunner.run(SafeRunner.java:45)
|
||||||
|
at org.eclipse.jface.util.SafeRunnable.run(SafeRunnable.java:174)
|
||||||
|
at org.eclipse.jface.viewers.Viewer.fireSelectionChanged(Viewer.java:148)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer.updateSelection(StructuredViewer.java:2132)
|
||||||
|
at org.eclipse.jface.viewers.StructuredViewer.setSelection(StructuredViewer.java:1662)
|
||||||
|
at org.eclipse.jface.viewers.TreeViewer.setSelection(TreeViewer.java:1084)
|
||||||
|
at petrinet.presentation.PetrinetEditor$5.run(PetrinetEditor.java:773)
|
||||||
|
at org.eclipse.swt.widgets.RunnableLock.run(RunnableLock.java:40)
|
||||||
|
at org.eclipse.swt.widgets.Synchronizer.runAsyncMessages(Synchronizer.java:185)
|
||||||
|
at org.eclipse.swt.widgets.Display.runAsyncMessages(Display.java:4988)
|
||||||
|
at org.eclipse.swt.widgets.Display.readAndDispatch(Display.java:4510)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine$5.run(PartRenderingEngine.java:1157)
|
||||||
|
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.swt.PartRenderingEngine.run(PartRenderingEngine.java:1046)
|
||||||
|
at org.eclipse.e4.ui.internal.workbench.E4Workbench.createAndRunUI(E4Workbench.java:155)
|
||||||
|
at org.eclipse.ui.internal.Workbench.lambda$3(Workbench.java:644)
|
||||||
|
at org.eclipse.core.databinding.observable.Realm.runWithDefault(Realm.java:338)
|
||||||
|
at org.eclipse.ui.internal.Workbench.createAndRunWorkbench(Workbench.java:551)
|
||||||
|
at org.eclipse.ui.PlatformUI.createAndRunWorkbench(PlatformUI.java:153)
|
||||||
|
at org.eclipse.ui.internal.ide.application.IDEApplication.start(IDEApplication.java:150)
|
||||||
|
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
|
||||||
|
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
|
||||||
|
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
|
||||||
|
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:401)
|
||||||
|
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
|
||||||
|
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
|
||||||
|
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
|
||||||
|
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
|
||||||
|
at java.base/java.lang.reflect.Method.invoke(Method.java:566)
|
||||||
|
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:657)
|
||||||
|
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:594)
|
||||||
|
at org.eclipse.equinox.launcher.Main.run(Main.java:1465)
|
||||||
|
at org.eclipse.equinox.launcher.Main.main(Main.java:1438)
|
||||||
|
|
||||||
|
!ENTRY org.eclipse.emf.cdo.explorer 4 0 2021-10-09 18:18:34.904
|
||||||
|
!MESSAGE InterruptedException
|
||||||
|
!STACK 0
|
||||||
|
java.lang.InterruptedException
|
||||||
|
at java.base/java.util.concurrent.locks.AbstractQueuedSynchronizer.acquireSharedInterruptibly(AbstractQueuedSynchronizer.java:1343)
|
||||||
|
at java.base/java.util.concurrent.Semaphore.acquire(Semaphore.java:318)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.Lifecycle.lock(Lifecycle.java:312)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.Lifecycle.internalDeactivate(Lifecycle.java:118)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.ShareableLifecycle.internalDeactivate(ShareableLifecycle.java:52)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.Lifecycle.deactivate(Lifecycle.java:170)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.LifecycleUtil.deactivate(LifecycleUtil.java:235)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.LifecycleUtil.deactivate(LifecycleUtil.java:225)
|
||||||
|
at org.eclipse.emf.cdo.internal.explorer.bundle.OM.disposeManagers(OM.java:83)
|
||||||
|
at org.eclipse.emf.cdo.internal.explorer.bundle.OM$Activator.doStop(OM.java:136)
|
||||||
|
at org.eclipse.net4j.util.om.OSGiActivator.stop(OSGiActivator.java:92)
|
||||||
|
at org.eclipse.osgi.internal.framework.BundleContextImpl$3.run(BundleContextImpl.java:871)
|
||||||
|
at org.eclipse.osgi.internal.framework.BundleContextImpl$3.run(BundleContextImpl.java:1)
|
||||||
|
at java.base/java.security.AccessController.doPrivileged(Native Method)
|
||||||
|
at org.eclipse.osgi.internal.framework.BundleContextImpl.stop(BundleContextImpl.java:863)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle.stopWorker0(EquinoxBundle.java:1025)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle$EquinoxModule.stopWorker(EquinoxBundle.java:370)
|
||||||
|
at org.eclipse.osgi.container.Module.doStop(Module.java:660)
|
||||||
|
at org.eclipse.osgi.container.Module.stop(Module.java:521)
|
||||||
|
at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.decStartLevel(ModuleContainer.java:1886)
|
||||||
|
at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1761)
|
||||||
|
at org.eclipse.osgi.container.SystemModule.stopWorker(SystemModule.java:275)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle$SystemBundle$EquinoxSystemModule.stopWorker(EquinoxBundle.java:202)
|
||||||
|
at org.eclipse.osgi.container.Module.doStop(Module.java:660)
|
||||||
|
at org.eclipse.osgi.container.Module.stop(Module.java:521)
|
||||||
|
at org.eclipse.osgi.container.SystemModule.stop(SystemModule.java:207)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle$SystemBundle$EquinoxSystemModule$1.run(EquinoxBundle.java:220)
|
||||||
|
at java.base/java.lang.Thread.run(Thread.java:829)
|
||||||
|
!SESSION 2021-10-09 18:18:36.624 -----------------------------------------------
|
||||||
|
eclipse.buildId=4.17.0.I20200902-1800
|
||||||
|
java.version=11.0.11
|
||||||
|
java.vendor=Ubuntu
|
||||||
|
BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=fr_FR
|
||||||
|
Framework arguments: -product org.eclipse.epp.package.modeling.product
|
||||||
|
Command-line arguments: -data file:/home/lfainsin/miniproj_idm/eclipse-workspace/ -os linux -ws gtk -arch x86_64 -product org.eclipse.epp.package.modeling.product -clean
|
||||||
|
|
||||||
|
!ENTRY org.eclipse.emf.cdo.explorer 4 0 2021-10-09 18:37:11.545
|
||||||
|
!MESSAGE InterruptedException
|
||||||
|
!STACK 0
|
||||||
|
java.lang.InterruptedException
|
||||||
|
at java.base/java.util.concurrent.locks.AbstractQueuedSynchronizer.acquireSharedInterruptibly(AbstractQueuedSynchronizer.java:1343)
|
||||||
|
at java.base/java.util.concurrent.Semaphore.acquire(Semaphore.java:318)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.Lifecycle.lock(Lifecycle.java:312)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.Lifecycle.internalDeactivate(Lifecycle.java:118)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.ShareableLifecycle.internalDeactivate(ShareableLifecycle.java:52)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.Lifecycle.deactivate(Lifecycle.java:170)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.LifecycleUtil.deactivate(LifecycleUtil.java:235)
|
||||||
|
at org.eclipse.net4j.util.lifecycle.LifecycleUtil.deactivate(LifecycleUtil.java:225)
|
||||||
|
at org.eclipse.emf.cdo.internal.explorer.bundle.OM.disposeManagers(OM.java:83)
|
||||||
|
at org.eclipse.emf.cdo.internal.explorer.bundle.OM$Activator.doStop(OM.java:136)
|
||||||
|
at org.eclipse.net4j.util.om.OSGiActivator.stop(OSGiActivator.java:92)
|
||||||
|
at org.eclipse.osgi.internal.framework.BundleContextImpl$3.run(BundleContextImpl.java:871)
|
||||||
|
at org.eclipse.osgi.internal.framework.BundleContextImpl$3.run(BundleContextImpl.java:1)
|
||||||
|
at java.base/java.security.AccessController.doPrivileged(Native Method)
|
||||||
|
at org.eclipse.osgi.internal.framework.BundleContextImpl.stop(BundleContextImpl.java:863)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle.stopWorker0(EquinoxBundle.java:1025)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle$EquinoxModule.stopWorker(EquinoxBundle.java:370)
|
||||||
|
at org.eclipse.osgi.container.Module.doStop(Module.java:660)
|
||||||
|
at org.eclipse.osgi.container.Module.stop(Module.java:521)
|
||||||
|
at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.decStartLevel(ModuleContainer.java:1886)
|
||||||
|
at org.eclipse.osgi.container.ModuleContainer$ContainerStartLevel.doContainerStartLevel(ModuleContainer.java:1761)
|
||||||
|
at org.eclipse.osgi.container.SystemModule.stopWorker(SystemModule.java:275)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle$SystemBundle$EquinoxSystemModule.stopWorker(EquinoxBundle.java:202)
|
||||||
|
at org.eclipse.osgi.container.Module.doStop(Module.java:660)
|
||||||
|
at org.eclipse.osgi.container.Module.stop(Module.java:521)
|
||||||
|
at org.eclipse.osgi.container.SystemModule.stop(SystemModule.java:207)
|
||||||
|
at org.eclipse.osgi.internal.framework.EquinoxBundle$SystemBundle$EquinoxSystemModule$1.run(EquinoxBundle.java:220)
|
||||||
|
at java.base/java.lang.Thread.run(Thread.java:829)
|
||||||
|
|
@ -0,0 +1,2 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<petrinet:Network xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:petrinet="http://petrinet"/>
|
||||||
|
|
@ -0,0 +1,3 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<simplepdl:Process xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
||||||
|
xmlns:simplepdl="http://simplepdl" xsi:schemaLocation="http://simplepdl simplepdl.ecore"/>
|
||||||
|
|
@ -0,0 +1,628 @@
|
||||||
|
/**
|
||||||
|
*/
|
||||||
|
package petrinet.presentation;
|
||||||
|
|
||||||
|
|
||||||
|
import java.util.ArrayList;
|
||||||
|
import java.util.Arrays;
|
||||||
|
import java.util.Collection;
|
||||||
|
import java.util.Collections;
|
||||||
|
import java.util.HashMap;
|
||||||
|
import java.util.List;
|
||||||
|
import java.util.Map;
|
||||||
|
import java.util.MissingResourceException;
|
||||||
|
import java.util.StringTokenizer;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.CommonPlugin;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.util.URI;
|
||||||
|
|
||||||
|
import org.eclipse.emf.ecore.EClass;
|
||||||
|
import org.eclipse.emf.ecore.EClassifier;
|
||||||
|
|
||||||
|
import org.eclipse.emf.ecore.resource.Resource;
|
||||||
|
import org.eclipse.emf.ecore.resource.ResourceSet;
|
||||||
|
|
||||||
|
import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl;
|
||||||
|
|
||||||
|
import org.eclipse.emf.ecore.EObject;
|
||||||
|
|
||||||
|
import org.eclipse.emf.ecore.xmi.XMLResource;
|
||||||
|
|
||||||
|
import org.eclipse.emf.edit.ui.provider.ExtendedImageRegistry;
|
||||||
|
|
||||||
|
import org.eclipse.core.resources.IContainer;
|
||||||
|
import org.eclipse.core.resources.IFile;
|
||||||
|
import org.eclipse.core.resources.IFolder;
|
||||||
|
import org.eclipse.core.resources.IProject;
|
||||||
|
import org.eclipse.core.resources.IResource;
|
||||||
|
import org.eclipse.core.resources.ResourcesPlugin;
|
||||||
|
|
||||||
|
import org.eclipse.core.runtime.IProgressMonitor;
|
||||||
|
|
||||||
|
import org.eclipse.jface.dialogs.MessageDialog;
|
||||||
|
|
||||||
|
import org.eclipse.jface.viewers.IStructuredSelection;
|
||||||
|
|
||||||
|
import org.eclipse.jface.wizard.Wizard;
|
||||||
|
import org.eclipse.jface.wizard.WizardPage;
|
||||||
|
|
||||||
|
import org.eclipse.swt.SWT;
|
||||||
|
|
||||||
|
import org.eclipse.swt.events.ModifyListener;
|
||||||
|
import org.eclipse.swt.events.ModifyEvent;
|
||||||
|
|
||||||
|
import org.eclipse.swt.layout.GridData;
|
||||||
|
import org.eclipse.swt.layout.GridLayout;
|
||||||
|
|
||||||
|
import org.eclipse.swt.widgets.Combo;
|
||||||
|
import org.eclipse.swt.widgets.Composite;
|
||||||
|
import org.eclipse.swt.widgets.Label;
|
||||||
|
|
||||||
|
import org.eclipse.ui.INewWizard;
|
||||||
|
import org.eclipse.ui.IWorkbench;
|
||||||
|
|
||||||
|
import org.eclipse.ui.actions.WorkspaceModifyOperation;
|
||||||
|
|
||||||
|
import org.eclipse.ui.dialogs.WizardNewFileCreationPage;
|
||||||
|
|
||||||
|
import org.eclipse.ui.part.FileEditorInput;
|
||||||
|
import org.eclipse.ui.part.ISetSelectionTarget;
|
||||||
|
|
||||||
|
import petrinet.PetrinetFactory;
|
||||||
|
import petrinet.PetrinetPackage;
|
||||||
|
import petrinet.provider.PetrinetEditPlugin;
|
||||||
|
|
||||||
|
|
||||||
|
import org.eclipse.core.runtime.Path;
|
||||||
|
|
||||||
|
import org.eclipse.jface.viewers.ISelection;
|
||||||
|
import org.eclipse.jface.viewers.StructuredSelection;
|
||||||
|
|
||||||
|
import org.eclipse.ui.IWorkbenchPage;
|
||||||
|
import org.eclipse.ui.IWorkbenchPart;
|
||||||
|
import org.eclipse.ui.IWorkbenchWindow;
|
||||||
|
import org.eclipse.ui.PartInitException;
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is a simple wizard for creating a new model file.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public class PetrinetModelWizard extends Wizard implements INewWizard {
|
||||||
|
/**
|
||||||
|
* The supported extensions for created files.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public static final List<String> FILE_EXTENSIONS =
|
||||||
|
Collections.unmodifiableList(Arrays.asList(PetrinetEditorPlugin.INSTANCE.getString("_UI_PetrinetEditorFilenameExtensions").split("\\s*,\\s*")));
|
||||||
|
|
||||||
|
/**
|
||||||
|
* A formatted list of supported file extensions, suitable for display.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public static final String FORMATTED_FILE_EXTENSIONS =
|
||||||
|
PetrinetEditorPlugin.INSTANCE.getString("_UI_PetrinetEditorFilenameExtensions").replaceAll("\\s*,\\s*", ", ");
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This caches an instance of the model package.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected PetrinetPackage petrinetPackage = PetrinetPackage.eINSTANCE;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This caches an instance of the model factory.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected PetrinetFactory petrinetFactory = petrinetPackage.getPetrinetFactory();
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the file creation page.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected PetrinetModelWizardNewFileCreationPage newFileCreationPage;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the initial object creation page.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected PetrinetModelWizardInitialObjectCreationPage initialObjectCreationPage;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Remember the selection during initialization for populating the default container.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected IStructuredSelection selection;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Remember the workbench during initialization.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected IWorkbench workbench;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Caches the names of the types that can be created as the root object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected List<String> initialObjectNames;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This just records the information.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public void init(IWorkbench workbench, IStructuredSelection selection) {
|
||||||
|
this.workbench = workbench;
|
||||||
|
this.selection = selection;
|
||||||
|
setWindowTitle(PetrinetEditorPlugin.INSTANCE.getString("_UI_Wizard_label"));
|
||||||
|
setDefaultPageImageDescriptor(ExtendedImageRegistry.INSTANCE.getImageDescriptor(PetrinetEditorPlugin.INSTANCE.getImage("full/wizban/NewPetrinet")));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Returns the names of the types that can be created as the root object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected Collection<String> getInitialObjectNames() {
|
||||||
|
if (initialObjectNames == null) {
|
||||||
|
initialObjectNames = new ArrayList<String>();
|
||||||
|
for (EClassifier eClassifier : petrinetPackage.getEClassifiers()) {
|
||||||
|
if (eClassifier instanceof EClass) {
|
||||||
|
EClass eClass = (EClass)eClassifier;
|
||||||
|
if (!eClass.isAbstract()) {
|
||||||
|
initialObjectNames.add(eClass.getName());
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
Collections.sort(initialObjectNames, CommonPlugin.INSTANCE.getComparator());
|
||||||
|
}
|
||||||
|
return initialObjectNames;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Create a new model.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected EObject createInitialModel() {
|
||||||
|
EClass eClass = (EClass)petrinetPackage.getEClassifier(initialObjectCreationPage.getInitialObjectName());
|
||||||
|
EObject rootObject = petrinetFactory.create(eClass);
|
||||||
|
return rootObject;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Do the work after everything is specified.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public boolean performFinish() {
|
||||||
|
try {
|
||||||
|
// Remember the file.
|
||||||
|
//
|
||||||
|
final IFile modelFile = getModelFile();
|
||||||
|
|
||||||
|
// Do the work within an operation.
|
||||||
|
//
|
||||||
|
WorkspaceModifyOperation operation =
|
||||||
|
new WorkspaceModifyOperation() {
|
||||||
|
@Override
|
||||||
|
protected void execute(IProgressMonitor progressMonitor) {
|
||||||
|
try {
|
||||||
|
// Create a resource set
|
||||||
|
//
|
||||||
|
ResourceSet resourceSet = new ResourceSetImpl();
|
||||||
|
|
||||||
|
// Get the URI of the model file.
|
||||||
|
//
|
||||||
|
URI fileURI = URI.createPlatformResourceURI(modelFile.getFullPath().toString(), true);
|
||||||
|
|
||||||
|
// Create a resource for this file.
|
||||||
|
//
|
||||||
|
Resource resource = resourceSet.createResource(fileURI);
|
||||||
|
|
||||||
|
// Add the initial model object to the contents.
|
||||||
|
//
|
||||||
|
EObject rootObject = createInitialModel();
|
||||||
|
if (rootObject != null) {
|
||||||
|
resource.getContents().add(rootObject);
|
||||||
|
}
|
||||||
|
|
||||||
|
// Save the contents of the resource to the file system.
|
||||||
|
//
|
||||||
|
Map<Object, Object> options = new HashMap<Object, Object>();
|
||||||
|
options.put(XMLResource.OPTION_ENCODING, initialObjectCreationPage.getEncoding());
|
||||||
|
resource.save(options);
|
||||||
|
}
|
||||||
|
catch (Exception exception) {
|
||||||
|
PetrinetEditorPlugin.INSTANCE.log(exception);
|
||||||
|
}
|
||||||
|
finally {
|
||||||
|
progressMonitor.done();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
|
getContainer().run(false, false, operation);
|
||||||
|
|
||||||
|
// Select the new file resource in the current view.
|
||||||
|
//
|
||||||
|
IWorkbenchWindow workbenchWindow = workbench.getActiveWorkbenchWindow();
|
||||||
|
IWorkbenchPage page = workbenchWindow.getActivePage();
|
||||||
|
final IWorkbenchPart activePart = page.getActivePart();
|
||||||
|
if (activePart instanceof ISetSelectionTarget) {
|
||||||
|
final ISelection targetSelection = new StructuredSelection(modelFile);
|
||||||
|
getShell().getDisplay().asyncExec
|
||||||
|
(new Runnable() {
|
||||||
|
public void run() {
|
||||||
|
((ISetSelectionTarget)activePart).selectReveal(targetSelection);
|
||||||
|
}
|
||||||
|
});
|
||||||
|
}
|
||||||
|
|
||||||
|
// Open an editor on the new file.
|
||||||
|
//
|
||||||
|
try {
|
||||||
|
page.openEditor
|
||||||
|
(new FileEditorInput(modelFile),
|
||||||
|
workbench.getEditorRegistry().getDefaultEditor(modelFile.getFullPath().toString()).getId());
|
||||||
|
}
|
||||||
|
catch (PartInitException exception) {
|
||||||
|
MessageDialog.openError(workbenchWindow.getShell(), PetrinetEditorPlugin.INSTANCE.getString("_UI_OpenEditorError_label"), exception.getMessage());
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
catch (Exception exception) {
|
||||||
|
PetrinetEditorPlugin.INSTANCE.log(exception);
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the one page of the wizard.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public class PetrinetModelWizardNewFileCreationPage extends WizardNewFileCreationPage {
|
||||||
|
/**
|
||||||
|
* Pass in the selection.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public PetrinetModelWizardNewFileCreationPage(String pageId, IStructuredSelection selection) {
|
||||||
|
super(pageId, selection);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* The framework calls this to see if the file is correct.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
protected boolean validatePage() {
|
||||||
|
if (super.validatePage()) {
|
||||||
|
String extension = new Path(getFileName()).getFileExtension();
|
||||||
|
if (extension == null || !FILE_EXTENSIONS.contains(extension)) {
|
||||||
|
String key = FILE_EXTENSIONS.size() > 1 ? "_WARN_FilenameExtensions" : "_WARN_FilenameExtension";
|
||||||
|
setErrorMessage(PetrinetEditorPlugin.INSTANCE.getString(key, new Object [] { FORMATTED_FILE_EXTENSIONS }));
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
return true;
|
||||||
|
}
|
||||||
|
return false;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public IFile getModelFile() {
|
||||||
|
return ResourcesPlugin.getWorkspace().getRoot().getFile(getContainerFullPath().append(getFileName()));
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the page where the type of object to create is selected.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public class PetrinetModelWizardInitialObjectCreationPage extends WizardPage {
|
||||||
|
/**
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected Combo initialObjectField;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* @generated
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
*/
|
||||||
|
protected List<String> encodings;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected Combo encodingField;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Pass in the selection.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public PetrinetModelWizardInitialObjectCreationPage(String pageId) {
|
||||||
|
super(pageId);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public void createControl(Composite parent) {
|
||||||
|
Composite composite = new Composite(parent, SWT.NONE);
|
||||||
|
{
|
||||||
|
GridLayout layout = new GridLayout();
|
||||||
|
layout.numColumns = 1;
|
||||||
|
layout.verticalSpacing = 12;
|
||||||
|
composite.setLayout(layout);
|
||||||
|
|
||||||
|
GridData data = new GridData();
|
||||||
|
data.verticalAlignment = GridData.FILL;
|
||||||
|
data.grabExcessVerticalSpace = true;
|
||||||
|
data.horizontalAlignment = GridData.FILL;
|
||||||
|
composite.setLayoutData(data);
|
||||||
|
}
|
||||||
|
|
||||||
|
Label containerLabel = new Label(composite, SWT.LEFT);
|
||||||
|
{
|
||||||
|
containerLabel.setText(PetrinetEditorPlugin.INSTANCE.getString("_UI_ModelObject"));
|
||||||
|
|
||||||
|
GridData data = new GridData();
|
||||||
|
data.horizontalAlignment = GridData.FILL;
|
||||||
|
containerLabel.setLayoutData(data);
|
||||||
|
}
|
||||||
|
|
||||||
|
initialObjectField = new Combo(composite, SWT.BORDER);
|
||||||
|
{
|
||||||
|
GridData data = new GridData();
|
||||||
|
data.horizontalAlignment = GridData.FILL;
|
||||||
|
data.grabExcessHorizontalSpace = true;
|
||||||
|
initialObjectField.setLayoutData(data);
|
||||||
|
}
|
||||||
|
|
||||||
|
for (String objectName : getInitialObjectNames()) {
|
||||||
|
initialObjectField.add(getLabel(objectName));
|
||||||
|
}
|
||||||
|
|
||||||
|
if (initialObjectField.getItemCount() == 1) {
|
||||||
|
initialObjectField.select(0);
|
||||||
|
}
|
||||||
|
initialObjectField.addModifyListener(validator);
|
||||||
|
|
||||||
|
Label encodingLabel = new Label(composite, SWT.LEFT);
|
||||||
|
{
|
||||||
|
encodingLabel.setText(PetrinetEditorPlugin.INSTANCE.getString("_UI_XMLEncoding"));
|
||||||
|
|
||||||
|
GridData data = new GridData();
|
||||||
|
data.horizontalAlignment = GridData.FILL;
|
||||||
|
encodingLabel.setLayoutData(data);
|
||||||
|
}
|
||||||
|
encodingField = new Combo(composite, SWT.BORDER);
|
||||||
|
{
|
||||||
|
GridData data = new GridData();
|
||||||
|
data.horizontalAlignment = GridData.FILL;
|
||||||
|
data.grabExcessHorizontalSpace = true;
|
||||||
|
encodingField.setLayoutData(data);
|
||||||
|
}
|
||||||
|
|
||||||
|
for (String encoding : getEncodings()) {
|
||||||
|
encodingField.add(encoding);
|
||||||
|
}
|
||||||
|
|
||||||
|
encodingField.select(0);
|
||||||
|
encodingField.addModifyListener(validator);
|
||||||
|
|
||||||
|
setPageComplete(validatePage());
|
||||||
|
setControl(composite);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected ModifyListener validator =
|
||||||
|
new ModifyListener() {
|
||||||
|
public void modifyText(ModifyEvent e) {
|
||||||
|
setPageComplete(validatePage());
|
||||||
|
}
|
||||||
|
};
|
||||||
|
|
||||||
|
/**
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected boolean validatePage() {
|
||||||
|
return getInitialObjectName() != null && getEncodings().contains(encodingField.getText());
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public void setVisible(boolean visible) {
|
||||||
|
super.setVisible(visible);
|
||||||
|
if (visible) {
|
||||||
|
if (initialObjectField.getItemCount() == 1) {
|
||||||
|
initialObjectField.clearSelection();
|
||||||
|
encodingField.setFocus();
|
||||||
|
}
|
||||||
|
else {
|
||||||
|
encodingField.clearSelection();
|
||||||
|
initialObjectField.setFocus();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public String getInitialObjectName() {
|
||||||
|
String label = initialObjectField.getText();
|
||||||
|
|
||||||
|
for (String name : getInitialObjectNames()) {
|
||||||
|
if (getLabel(name).equals(label)) {
|
||||||
|
return name;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return null;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public String getEncoding() {
|
||||||
|
return encodingField.getText();
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Returns the label for the specified type name.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected String getLabel(String typeName) {
|
||||||
|
try {
|
||||||
|
return PetrinetEditPlugin.INSTANCE.getString("_UI_" + typeName + "_type");
|
||||||
|
}
|
||||||
|
catch(MissingResourceException mre) {
|
||||||
|
PetrinetEditorPlugin.INSTANCE.log(mre);
|
||||||
|
}
|
||||||
|
return typeName;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected Collection<String> getEncodings() {
|
||||||
|
if (encodings == null) {
|
||||||
|
encodings = new ArrayList<String>();
|
||||||
|
for (StringTokenizer stringTokenizer = new StringTokenizer(PetrinetEditorPlugin.INSTANCE.getString("_UI_XMLEncodingChoices")); stringTokenizer.hasMoreTokens(); ) {
|
||||||
|
encodings.add(stringTokenizer.nextToken());
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return encodings;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* The framework calls this to create the contents of the wizard.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public void addPages() {
|
||||||
|
// Create a page, set the title, and the initial model file name.
|
||||||
|
//
|
||||||
|
newFileCreationPage = new PetrinetModelWizardNewFileCreationPage("Whatever", selection);
|
||||||
|
newFileCreationPage.setTitle(PetrinetEditorPlugin.INSTANCE.getString("_UI_PetrinetModelWizard_label"));
|
||||||
|
newFileCreationPage.setDescription(PetrinetEditorPlugin.INSTANCE.getString("_UI_PetrinetModelWizard_description"));
|
||||||
|
newFileCreationPage.setFileName(PetrinetEditorPlugin.INSTANCE.getString("_UI_PetrinetEditorFilenameDefaultBase") + "." + FILE_EXTENSIONS.get(0));
|
||||||
|
addPage(newFileCreationPage);
|
||||||
|
|
||||||
|
// Try and get the resource selection to determine a current directory for the file dialog.
|
||||||
|
//
|
||||||
|
if (selection != null && !selection.isEmpty()) {
|
||||||
|
// Get the resource...
|
||||||
|
//
|
||||||
|
Object selectedElement = selection.iterator().next();
|
||||||
|
if (selectedElement instanceof IResource) {
|
||||||
|
// Get the resource parent, if its a file.
|
||||||
|
//
|
||||||
|
IResource selectedResource = (IResource)selectedElement;
|
||||||
|
if (selectedResource.getType() == IResource.FILE) {
|
||||||
|
selectedResource = selectedResource.getParent();
|
||||||
|
}
|
||||||
|
|
||||||
|
// This gives us a directory...
|
||||||
|
//
|
||||||
|
if (selectedResource instanceof IFolder || selectedResource instanceof IProject) {
|
||||||
|
// Set this for the container.
|
||||||
|
//
|
||||||
|
newFileCreationPage.setContainerFullPath(selectedResource.getFullPath());
|
||||||
|
|
||||||
|
// Make up a unique new name here.
|
||||||
|
//
|
||||||
|
String defaultModelBaseFilename = PetrinetEditorPlugin.INSTANCE.getString("_UI_PetrinetEditorFilenameDefaultBase");
|
||||||
|
String defaultModelFilenameExtension = FILE_EXTENSIONS.get(0);
|
||||||
|
String modelFilename = defaultModelBaseFilename + "." + defaultModelFilenameExtension;
|
||||||
|
for (int i = 1; ((IContainer)selectedResource).findMember(modelFilename) != null; ++i) {
|
||||||
|
modelFilename = defaultModelBaseFilename + i + "." + defaultModelFilenameExtension;
|
||||||
|
}
|
||||||
|
newFileCreationPage.setFileName(modelFilename);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
initialObjectCreationPage = new PetrinetModelWizardInitialObjectCreationPage("Whatever2");
|
||||||
|
initialObjectCreationPage.setTitle(PetrinetEditorPlugin.INSTANCE.getString("_UI_PetrinetModelWizard_label"));
|
||||||
|
initialObjectCreationPage.setDescription(PetrinetEditorPlugin.INSTANCE.getString("_UI_Wizard_initial_object_description"));
|
||||||
|
addPage(initialObjectCreationPage);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Get the file from the page.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public IFile getModelFile() {
|
||||||
|
return newFileCreationPage.getModelFile();
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,85 @@
|
||||||
|
package simplepdl.manip;
|
||||||
|
|
||||||
|
import java.io.IOException;
|
||||||
|
import java.util.Collections;
|
||||||
|
import java.util.Map;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.util.URI;
|
||||||
|
import org.eclipse.emf.ecore.resource.Resource;
|
||||||
|
import org.eclipse.emf.ecore.resource.ResourceSet;
|
||||||
|
import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl;
|
||||||
|
import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl;
|
||||||
|
import petrinet.PetrinetPackage;
|
||||||
|
import simplepdl.Process;
|
||||||
|
import simplepdl.WorkDefinition;
|
||||||
|
import simplepdl.WorkSequence;
|
||||||
|
import simplepdl.WorkSequenceType;
|
||||||
|
import simplepdl.SimplepdlFactory;
|
||||||
|
import simplepdl.SimplepdlPackage;
|
||||||
|
|
||||||
|
public class SimplePDLCreator {
|
||||||
|
|
||||||
|
public static void main(String[] args) {
|
||||||
|
|
||||||
|
// Charger le package SimplePDL afin de l'enregistrer dans le registre d'Eclipse.
|
||||||
|
SimplepdlPackage packageInstance = SimplepdlPackage.eINSTANCE;
|
||||||
|
|
||||||
|
// Enregistrer l'extension ".xmi" comme devant être ouverte Ã
|
||||||
|
// l'aide d'un objet "XMIResourceFactoryImpl"
|
||||||
|
Resource.Factory.Registry reg = Resource.Factory.Registry.INSTANCE;
|
||||||
|
Map<String, Object> m = reg.getExtensionToFactoryMap();
|
||||||
|
m.put("xmi", new XMIResourceFactoryImpl());
|
||||||
|
|
||||||
|
// Créer un objet resourceSetImpl qui contiendra une ressource EMF (le modèle)
|
||||||
|
ResourceSet resSet = new ResourceSetImpl();
|
||||||
|
|
||||||
|
// Définir la ressource (le modèle)
|
||||||
|
URI modelURI = URI.createURI("models/SimplePDLCreator_Created_Process.xmi");
|
||||||
|
Resource resource = resSet.createResource(modelURI);
|
||||||
|
|
||||||
|
// La fabrique pour fabriquer les éléments de SimplePDL
|
||||||
|
SimplepdlFactory myFactory = SimplepdlFactory.eINSTANCE;
|
||||||
|
|
||||||
|
// Créer un élément Process
|
||||||
|
Process process = myFactory.createProcess();
|
||||||
|
process.setName("Mon premier processus");
|
||||||
|
|
||||||
|
// Ajouter le Process dans le modèle
|
||||||
|
resource.getContents().add(process);
|
||||||
|
|
||||||
|
// Ajouter deux WorkDefinitions
|
||||||
|
WorkDefinition wd1 = myFactory.createWorkDefinition();
|
||||||
|
wd1.setName("Ma première WorkDefinition, quelle émotion");
|
||||||
|
|
||||||
|
WorkDefinition wd2 = myFactory.createWorkDefinition();
|
||||||
|
wd2.setName("Ma deuxième WorkDefinition, toujours autant d'émotion");
|
||||||
|
|
||||||
|
process.getProcessElements().add(wd1);
|
||||||
|
process.getProcessElements().add(wd2);
|
||||||
|
|
||||||
|
// Ajouter une WorkSequence entre les deux WorkDefinitions
|
||||||
|
WorkSequence seq = myFactory.createWorkSequence();
|
||||||
|
seq.setPredecessor(wd1);
|
||||||
|
seq.setSuccessor(wd2);
|
||||||
|
seq.setLinkType(WorkSequenceType.FINISH_TO_FINISH);
|
||||||
|
|
||||||
|
process.getProcessElements().add(seq);
|
||||||
|
|
||||||
|
// Ajouter une deuxième WorkSequence entre les deux WorkDefinitions
|
||||||
|
WorkSequence seq2 = myFactory.createWorkSequence();
|
||||||
|
seq2.setPredecessor(wd1);
|
||||||
|
seq2.setSuccessor(wd2);
|
||||||
|
seq2.setLinkType(WorkSequenceType.START_TO_START);
|
||||||
|
|
||||||
|
process.getProcessElements().add(seq2);
|
||||||
|
|
||||||
|
|
||||||
|
// Sauver la ressource
|
||||||
|
try {
|
||||||
|
resource.save(Collections.EMPTY_MAP);
|
||||||
|
} catch (IOException e) {
|
||||||
|
e.printStackTrace();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,180 @@
|
||||||
|
/**
|
||||||
|
*/
|
||||||
|
package simplepdl.provider;
|
||||||
|
|
||||||
|
|
||||||
|
import java.util.Collection;
|
||||||
|
import java.util.List;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.notify.AdapterFactory;
|
||||||
|
import org.eclipse.emf.common.notify.Notification;
|
||||||
|
|
||||||
|
import org.eclipse.emf.edit.provider.ComposeableAdapterFactory;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ViewerNotification;
|
||||||
|
|
||||||
|
import simplepdl.SimplepdlPackage;
|
||||||
|
import simplepdl.WorkSequence;
|
||||||
|
import simplepdl.WorkSequenceType;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the item provider adapter for a {@link simplepdl.WorkSequence} object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public class WorkSequenceItemProvider extends ProcessElementItemProvider {
|
||||||
|
/**
|
||||||
|
* This constructs an instance from a factory and a notifier.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public WorkSequenceItemProvider(AdapterFactory adapterFactory) {
|
||||||
|
super(adapterFactory);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the property descriptors for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public List<IItemPropertyDescriptor> getPropertyDescriptors(Object object) {
|
||||||
|
if (itemPropertyDescriptors == null) {
|
||||||
|
super.getPropertyDescriptors(object);
|
||||||
|
|
||||||
|
addLinkTypePropertyDescriptor(object);
|
||||||
|
addPredecessorPropertyDescriptor(object);
|
||||||
|
addSuccessorPropertyDescriptor(object);
|
||||||
|
}
|
||||||
|
return itemPropertyDescriptors;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Link Type feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addLinkTypePropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_WorkSequence_linkType_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_WorkSequence_linkType_feature", "_UI_WorkSequence_type"),
|
||||||
|
SimplepdlPackage.Literals.WORK_SEQUENCE__LINK_TYPE,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.GENERIC_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Predecessor feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addPredecessorPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_WorkSequence_predecessor_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_WorkSequence_predecessor_feature", "_UI_WorkSequence_type"),
|
||||||
|
SimplepdlPackage.Literals.WORK_SEQUENCE__PREDECESSOR,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
true,
|
||||||
|
null,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Successor feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addSuccessorPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_WorkSequence_successor_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_WorkSequence_successor_feature", "_UI_WorkSequence_type"),
|
||||||
|
SimplepdlPackage.Literals.WORK_SEQUENCE__SUCCESSOR,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
true,
|
||||||
|
null,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns WorkSequence.gif.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public Object getImage(Object object) {
|
||||||
|
return overlayImage(object, getResourceLocator().getImage("full/obj16/WorkSequence"));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the label text for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public String getText(Object object) {
|
||||||
|
WorkSequenceType labelValue = ((WorkSequence)object).getLinkType();
|
||||||
|
String label = labelValue == null ? null : labelValue.toString();
|
||||||
|
return label == null || label.length() == 0 ?
|
||||||
|
getString("_UI_WorkSequence_type") :
|
||||||
|
getString("_UI_WorkSequence_type") + " " + label;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This handles model notifications by calling {@link #updateChildren} to update any cached
|
||||||
|
* children and by creating a viewer notification, which it passes to {@link #fireNotifyChanged}.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public void notifyChanged(Notification notification) {
|
||||||
|
updateChildren(notification);
|
||||||
|
|
||||||
|
switch (notification.getFeatureID(WorkSequence.class)) {
|
||||||
|
case SimplepdlPackage.WORK_SEQUENCE__LINK_TYPE:
|
||||||
|
fireNotifyChanged(new ViewerNotification(notification, notification.getNotifier(), false, true));
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
super.notifyChanged(notification);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds {@link org.eclipse.emf.edit.command.CommandParameter}s describing the children
|
||||||
|
* that can be created under this object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
protected void collectNewChildDescriptors(Collection<Object> newChildDescriptors, Object object) {
|
||||||
|
super.collectNewChildDescriptors(newChildDescriptors, object);
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,207 @@
|
||||||
|
/**
|
||||||
|
*/
|
||||||
|
package petrinet.provider;
|
||||||
|
|
||||||
|
|
||||||
|
import java.util.Collection;
|
||||||
|
import java.util.List;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.notify.AdapterFactory;
|
||||||
|
import org.eclipse.emf.common.notify.Notification;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.util.ResourceLocator;
|
||||||
|
|
||||||
|
import org.eclipse.emf.edit.provider.ComposeableAdapterFactory;
|
||||||
|
import org.eclipse.emf.edit.provider.IEditingDomainItemProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemLabelProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertySource;
|
||||||
|
import org.eclipse.emf.edit.provider.IStructuredItemContentProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.ITreeItemContentProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemProviderAdapter;
|
||||||
|
import org.eclipse.emf.edit.provider.ViewerNotification;
|
||||||
|
|
||||||
|
import petrinet.Arc;
|
||||||
|
import petrinet.PetrinetPackage;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the item provider adapter for a {@link petrinet.Arc} object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public class ArcItemProvider
|
||||||
|
extends ItemProviderAdapter
|
||||||
|
implements
|
||||||
|
IEditingDomainItemProvider,
|
||||||
|
IStructuredItemContentProvider,
|
||||||
|
ITreeItemContentProvider,
|
||||||
|
IItemLabelProvider,
|
||||||
|
IItemPropertySource {
|
||||||
|
/**
|
||||||
|
* This constructs an instance from a factory and a notifier.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public ArcItemProvider(AdapterFactory adapterFactory) {
|
||||||
|
super(adapterFactory);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the property descriptors for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public List<IItemPropertyDescriptor> getPropertyDescriptors(Object object) {
|
||||||
|
if (itemPropertyDescriptors == null) {
|
||||||
|
super.getPropertyDescriptors(object);
|
||||||
|
|
||||||
|
addWeightPropertyDescriptor(object);
|
||||||
|
addOutgoingPropertyDescriptor(object);
|
||||||
|
addTargetPropertyDescriptor(object);
|
||||||
|
}
|
||||||
|
return itemPropertyDescriptors;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Weight feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addWeightPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_weight_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_weight_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__WEIGHT,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.INTEGRAL_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Outgoing feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addOutgoingPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_outgoing_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_outgoing_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__OUTGOING,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.BOOLEAN_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Target feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addTargetPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_target_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_target_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__TARGET,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
true,
|
||||||
|
null,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns Arc.gif.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public Object getImage(Object object) {
|
||||||
|
return overlayImage(object, getResourceLocator().getImage("full/obj16/Arc"));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the label text for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public String getText(Object object) {
|
||||||
|
boolean outgoing = ((Arc)object).isOutgoing();
|
||||||
|
int weight = ((Arc)object).getWeight();
|
||||||
|
String target = ((Arc)object).getTarget().getName();
|
||||||
|
return outgoing ?
|
||||||
|
" --" + weight + "--> " + target :
|
||||||
|
"<--" + weight + "-- " + target;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This handles model notifications by calling {@link #updateChildren} to update any cached
|
||||||
|
* children and by creating a viewer notification, which it passes to {@link #fireNotifyChanged}.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public void notifyChanged(Notification notification) {
|
||||||
|
updateChildren(notification);
|
||||||
|
|
||||||
|
switch (notification.getFeatureID(Arc.class)) {
|
||||||
|
case PetrinetPackage.ARC__WEIGHT:
|
||||||
|
case PetrinetPackage.ARC__OUTGOING:
|
||||||
|
fireNotifyChanged(new ViewerNotification(notification, notification.getNotifier(), false, true));
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
super.notifyChanged(notification);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds {@link org.eclipse.emf.edit.command.CommandParameter}s describing the children
|
||||||
|
* that can be created under this object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
protected void collectNewChildDescriptors(Collection<Object> newChildDescriptors, Object object) {
|
||||||
|
super.collectNewChildDescriptors(newChildDescriptors, object);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Return the resource locator for this item provider's resources.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public ResourceLocator getResourceLocator() {
|
||||||
|
return PetrinetEditPlugin.INSTANCE;
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,207 @@
|
||||||
|
/**
|
||||||
|
*/
|
||||||
|
package petrinet.provider;
|
||||||
|
|
||||||
|
|
||||||
|
import java.util.Collection;
|
||||||
|
import java.util.List;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.notify.AdapterFactory;
|
||||||
|
import org.eclipse.emf.common.notify.Notification;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.util.ResourceLocator;
|
||||||
|
|
||||||
|
import org.eclipse.emf.edit.provider.ComposeableAdapterFactory;
|
||||||
|
import org.eclipse.emf.edit.provider.IEditingDomainItemProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemLabelProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertySource;
|
||||||
|
import org.eclipse.emf.edit.provider.IStructuredItemContentProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.ITreeItemContentProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemProviderAdapter;
|
||||||
|
import org.eclipse.emf.edit.provider.ViewerNotification;
|
||||||
|
|
||||||
|
import petrinet.Arc;
|
||||||
|
import petrinet.PetrinetPackage;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the item provider adapter for a {@link petrinet.Arc} object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public class ArcItemProvider
|
||||||
|
extends ItemProviderAdapter
|
||||||
|
implements
|
||||||
|
IEditingDomainItemProvider,
|
||||||
|
IStructuredItemContentProvider,
|
||||||
|
ITreeItemContentProvider,
|
||||||
|
IItemLabelProvider,
|
||||||
|
IItemPropertySource {
|
||||||
|
/**
|
||||||
|
* This constructs an instance from a factory and a notifier.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public ArcItemProvider(AdapterFactory adapterFactory) {
|
||||||
|
super(adapterFactory);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the property descriptors for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public List<IItemPropertyDescriptor> getPropertyDescriptors(Object object) {
|
||||||
|
if (itemPropertyDescriptors == null) {
|
||||||
|
super.getPropertyDescriptors(object);
|
||||||
|
|
||||||
|
addWeightPropertyDescriptor(object);
|
||||||
|
addOutgoingPropertyDescriptor(object);
|
||||||
|
addTargetPropertyDescriptor(object);
|
||||||
|
}
|
||||||
|
return itemPropertyDescriptors;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Weight feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addWeightPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_weight_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_weight_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__WEIGHT,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.INTEGRAL_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Outgoing feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addOutgoingPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_outgoing_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_outgoing_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__OUTGOING,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.BOOLEAN_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Target feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addTargetPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_target_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_target_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__TARGET,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
true,
|
||||||
|
null,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns Arc.gif.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public Object getImage(Object object) {
|
||||||
|
return overlayImage(object, getResourceLocator().getImage("full/obj16/Arc"));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the label text for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public String getText(Object object) {
|
||||||
|
boolean outgoing = ((Arc)object).isOutgoing();
|
||||||
|
int weight = ((Arc)object).getWeight();
|
||||||
|
String target = ((Arc)object).getTarget().getName();
|
||||||
|
return outgoing ?
|
||||||
|
" --" + weight + "--> " + target :
|
||||||
|
"<--" + weight + "-- " + target;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This handles model notifications by calling {@link #updateChildren} to update any cached
|
||||||
|
* children and by creating a viewer notification, which it passes to {@link #fireNotifyChanged}.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public void notifyChanged(Notification notification) {
|
||||||
|
updateChildren(notification);
|
||||||
|
|
||||||
|
switch (notification.getFeatureID(Arc.class)) {
|
||||||
|
case PetrinetPackage.ARC__WEIGHT:
|
||||||
|
case PetrinetPackage.ARC__OUTGOING:
|
||||||
|
fireNotifyChanged(new ViewerNotification(notification, notification.getNotifier(), false, true));
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
super.notifyChanged(notification);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds {@link org.eclipse.emf.edit.command.CommandParameter}s describing the children
|
||||||
|
* that can be created under this object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
protected void collectNewChildDescriptors(Collection<Object> newChildDescriptors, Object object) {
|
||||||
|
super.collectNewChildDescriptors(newChildDescriptors, object);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Return the resource locator for this item provider's resources.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public ResourceLocator getResourceLocator() {
|
||||||
|
return PetrinetEditPlugin.INSTANCE;
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,2 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<petrinet:Network xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:petrinet="http://petrinet"/>
|
||||||
|
|
@ -0,0 +1,185 @@
|
||||||
|
/**
|
||||||
|
*/
|
||||||
|
package simplepdl.provider;
|
||||||
|
|
||||||
|
|
||||||
|
import java.util.Collection;
|
||||||
|
import java.util.List;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.notify.AdapterFactory;
|
||||||
|
import org.eclipse.emf.common.notify.Notification;
|
||||||
|
|
||||||
|
import org.eclipse.emf.edit.provider.ComposeableAdapterFactory;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ViewerNotification;
|
||||||
|
|
||||||
|
import simplepdl.SimplepdlPackage;
|
||||||
|
import simplepdl.WorkSequence;
|
||||||
|
import simplepdl.WorkSequenceType;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the item provider adapter for a {@link simplepdl.WorkSequence} object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public class WorkSequenceItemProvider extends ProcessElementItemProvider {
|
||||||
|
/**
|
||||||
|
* This constructs an instance from a factory and a notifier.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public WorkSequenceItemProvider(AdapterFactory adapterFactory) {
|
||||||
|
super(adapterFactory);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the property descriptors for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public List<IItemPropertyDescriptor> getPropertyDescriptors(Object object) {
|
||||||
|
if (itemPropertyDescriptors == null) {
|
||||||
|
super.getPropertyDescriptors(object);
|
||||||
|
|
||||||
|
addLinkTypePropertyDescriptor(object);
|
||||||
|
addPredecessorPropertyDescriptor(object);
|
||||||
|
addSuccessorPropertyDescriptor(object);
|
||||||
|
}
|
||||||
|
return itemPropertyDescriptors;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Link Type feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addLinkTypePropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_WorkSequence_linkType_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_WorkSequence_linkType_feature", "_UI_WorkSequence_type"),
|
||||||
|
SimplepdlPackage.Literals.WORK_SEQUENCE__LINK_TYPE,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.GENERIC_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Predecessor feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addPredecessorPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_WorkSequence_predecessor_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_WorkSequence_predecessor_feature", "_UI_WorkSequence_type"),
|
||||||
|
SimplepdlPackage.Literals.WORK_SEQUENCE__PREDECESSOR,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
true,
|
||||||
|
null,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Successor feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addSuccessorPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_WorkSequence_successor_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_WorkSequence_successor_feature", "_UI_WorkSequence_type"),
|
||||||
|
SimplepdlPackage.Literals.WORK_SEQUENCE__SUCCESSOR,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
true,
|
||||||
|
null,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns WorkSequence.gif.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public Object getImage(Object object) {
|
||||||
|
return overlayImage(object, getResourceLocator().getImage("full/obj16/WorkSequence"));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the label text for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public String getText(Object object) {
|
||||||
|
WorkSequence ws = (WorkSequence) object;
|
||||||
|
WorkSequenceType labelValue = ws.getLinkType();
|
||||||
|
String label = "--" + (labelValue == null ? "?" : labelValue.toString()) + "-->";
|
||||||
|
String previous = ws.getPredecessor() == null ? "?" : ws.getPredecessor().getName();
|
||||||
|
String next = ws.getSuccessor() == null ? "?" : ws.getSuccessor().getName();
|
||||||
|
return label == null || label.length() == 0 ?
|
||||||
|
getString("_UI_WorkSequence_type") :
|
||||||
|
getString("_UI_WorkSequence_type") + " " + previous + " " + label + " " + next;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This handles model notifications by calling {@link #updateChildren} to update any cached
|
||||||
|
* children and by creating a viewer notification, which it passes to {@link #fireNotifyChanged}.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public void notifyChanged(Notification notification) {
|
||||||
|
updateChildren(notification);
|
||||||
|
|
||||||
|
switch (notification.getFeatureID(WorkSequence.class)) {
|
||||||
|
case SimplepdlPackage.WORK_SEQUENCE__PREDECESSOR:
|
||||||
|
case SimplepdlPackage.WORK_SEQUENCE__SUCCESSOR:
|
||||||
|
case SimplepdlPackage.WORK_SEQUENCE__LINK_TYPE:
|
||||||
|
fireNotifyChanged(new ViewerNotification(notification, notification.getNotifier(), false, true));
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
super.notifyChanged(notification);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds {@link org.eclipse.emf.edit.command.CommandParameter}s describing the children
|
||||||
|
* that can be created under this object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
protected void collectNewChildDescriptors(Collection<Object> newChildDescriptors, Object object) {
|
||||||
|
super.collectNewChildDescriptors(newChildDescriptors, object);
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,86 @@
|
||||||
|
package simplepdl.manip;
|
||||||
|
|
||||||
|
import java.io.IOException;
|
||||||
|
import java.util.Collections;
|
||||||
|
import java.util.Map;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.util.URI;
|
||||||
|
import org.eclipse.emf.ecore.resource.Resource;
|
||||||
|
import org.eclipse.emf.ecore.resource.ResourceSet;
|
||||||
|
import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl;
|
||||||
|
import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl;
|
||||||
|
import petrinet.PetrinetPackage;
|
||||||
|
import simplepdl.Process;
|
||||||
|
import simplepdl.WorkDefinition;
|
||||||
|
import simplepdl.WorkSequence;
|
||||||
|
import simplepdl.WorkSequenceType;
|
||||||
|
import simplepdl.SimplepdlFactory;
|
||||||
|
import simplepdl.SimplepdlPackage;
|
||||||
|
|
||||||
|
public class SimplePDLCreator {
|
||||||
|
|
||||||
|
public static void main(String[] args) {
|
||||||
|
|
||||||
|
// Charger le package SimplePDL afin de l'enregistrer dans le registre d'Eclipse.
|
||||||
|
SimplepdlPackage packageInstance = SimplepdlPackage.eINSTANCE;
|
||||||
|
PetrinetPackage packageInstance = PetrinetPackage.eINSTANCE;
|
||||||
|
|
||||||
|
// Enregistrer l'extension ".xmi" comme devant être ouverte Ã
|
||||||
|
// l'aide d'un objet "XMIResourceFactoryImpl"
|
||||||
|
Resource.Factory.Registry reg = Resource.Factory.Registry.INSTANCE;
|
||||||
|
Map<String, Object> m = reg.getExtensionToFactoryMap();
|
||||||
|
m.put("xmi", new XMIResourceFactoryImpl());
|
||||||
|
|
||||||
|
// Créer un objet resourceSetImpl qui contiendra une ressource EMF (le modèle)
|
||||||
|
ResourceSet resSet = new ResourceSetImpl();
|
||||||
|
|
||||||
|
// Définir la ressource (le modèle)
|
||||||
|
URI modelURI = URI.createURI("models/SimplePDLCreator_Created_Process.xmi");
|
||||||
|
Resource resource = resSet.createResource(modelURI);
|
||||||
|
|
||||||
|
// La fabrique pour fabriquer les éléments de SimplePDL
|
||||||
|
SimplepdlFactory myFactory = SimplepdlFactory.eINSTANCE;
|
||||||
|
|
||||||
|
// Créer un élément Process
|
||||||
|
Process process = myFactory.createProcess();
|
||||||
|
process.setName("Mon premier processus");
|
||||||
|
|
||||||
|
// Ajouter le Process dans le modèle
|
||||||
|
resource.getContents().add(process);
|
||||||
|
|
||||||
|
// Ajouter deux WorkDefinitions
|
||||||
|
WorkDefinition wd1 = myFactory.createWorkDefinition();
|
||||||
|
wd1.setName("Ma première WorkDefinition, quelle émotion");
|
||||||
|
|
||||||
|
WorkDefinition wd2 = myFactory.createWorkDefinition();
|
||||||
|
wd2.setName("Ma deuxième WorkDefinition, toujours autant d'émotion");
|
||||||
|
|
||||||
|
process.getProcessElements().add(wd1);
|
||||||
|
process.getProcessElements().add(wd2);
|
||||||
|
|
||||||
|
// Ajouter une WorkSequence entre les deux WorkDefinitions
|
||||||
|
WorkSequence seq = myFactory.createWorkSequence();
|
||||||
|
seq.setPredecessor(wd1);
|
||||||
|
seq.setSuccessor(wd2);
|
||||||
|
seq.setLinkType(WorkSequenceType.FINISH_TO_FINISH);
|
||||||
|
|
||||||
|
process.getProcessElements().add(seq);
|
||||||
|
|
||||||
|
// Ajouter une deuxième WorkSequence entre les deux WorkDefinitions
|
||||||
|
WorkSequence seq2 = myFactory.createWorkSequence();
|
||||||
|
seq2.setPredecessor(wd1);
|
||||||
|
seq2.setSuccessor(wd2);
|
||||||
|
seq2.setLinkType(WorkSequenceType.START_TO_START);
|
||||||
|
|
||||||
|
process.getProcessElements().add(seq2);
|
||||||
|
|
||||||
|
|
||||||
|
// Sauver la ressource
|
||||||
|
try {
|
||||||
|
resource.save(Collections.EMPTY_MAP);
|
||||||
|
} catch (IOException e) {
|
||||||
|
e.printStackTrace();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,9 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<petrinet:Network xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:petrinet="http://petrinet" name="exemple">
|
||||||
|
<nodes xsi:type="petrinet:Place" name="debut" tokens="1"/>
|
||||||
|
<nodes xsi:type="petrinet:Place" name="fin"/>
|
||||||
|
<nodes xsi:type="petrinet:Transition" name="debut2fin">
|
||||||
|
<arcs/>
|
||||||
|
<arcs/>
|
||||||
|
</nodes>
|
||||||
|
</petrinet:Network>
|
||||||
|
|
@ -0,0 +1,85 @@
|
||||||
|
package simplepdl.manip;
|
||||||
|
|
||||||
|
import java.io.IOException;
|
||||||
|
import java.util.Collections;
|
||||||
|
import java.util.Map;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.util.URI;
|
||||||
|
import org.eclipse.emf.ecore.resource.Resource;
|
||||||
|
import org.eclipse.emf.ecore.resource.ResourceSet;
|
||||||
|
import org.eclipse.emf.ecore.resource.impl.ResourceSetImpl;
|
||||||
|
import org.eclipse.emf.ecore.xmi.impl.XMIResourceFactoryImpl;
|
||||||
|
|
||||||
|
import simplepdl.Process;
|
||||||
|
import simplepdl.WorkDefinition;
|
||||||
|
import simplepdl.WorkSequence;
|
||||||
|
import simplepdl.WorkSequenceType;
|
||||||
|
import simplepdl.SimplepdlFactory;
|
||||||
|
import simplepdl.SimplepdlPackage;
|
||||||
|
|
||||||
|
public class SimplePDLCreator {
|
||||||
|
|
||||||
|
public static void main(String[] args) {
|
||||||
|
|
||||||
|
// Charger le package SimplePDL afin de l'enregistrer dans le registre d'Eclipse.
|
||||||
|
SimplepdlPackage packageInstance = SimplepdlPackage.eINSTANCE;
|
||||||
|
|
||||||
|
// Enregistrer l'extension ".xmi" comme devant être ouverte Ã
|
||||||
|
// l'aide d'un objet "XMIResourceFactoryImpl"
|
||||||
|
Resource.Factory.Registry reg = Resource.Factory.Registry.INSTANCE;
|
||||||
|
Map<String, Object> m = reg.getExtensionToFactoryMap();
|
||||||
|
m.put("xmi", new XMIResourceFactoryImpl());
|
||||||
|
|
||||||
|
// Créer un objet resourceSetImpl qui contiendra une ressource EMF (le modèle)
|
||||||
|
ResourceSet resSet = new ResourceSetImpl();
|
||||||
|
|
||||||
|
// Définir la ressource (le modèle)
|
||||||
|
URI modelURI = URI.createURI("models/SimplePDLCreator_Created_Process.xmi");
|
||||||
|
Resource resource = resSet.createResource(modelURI);
|
||||||
|
|
||||||
|
// La fabrique pour fabriquer les éléments de SimplePDL
|
||||||
|
SimplepdlFactory myFactory = SimplepdlFactory.eINSTANCE;
|
||||||
|
|
||||||
|
// Créer un élément Process
|
||||||
|
Process process = myFactory.createProcess();
|
||||||
|
process.setName("Mon premier processus");
|
||||||
|
|
||||||
|
// Ajouter le Process dans le modèle
|
||||||
|
resource.getContents().add(process);
|
||||||
|
|
||||||
|
// Ajouter deux WorkDefinitions
|
||||||
|
WorkDefinition wd1 = myFactory.createWorkDefinition();
|
||||||
|
wd1.setName("Ma première WorkDefinition, quelle émotion");
|
||||||
|
|
||||||
|
WorkDefinition wd2 = myFactory.createWorkDefinition();
|
||||||
|
wd2.setName("Ma deuxième WorkDefinition, toujours autant d'émotion");
|
||||||
|
|
||||||
|
process.getProcessElements().add(wd1);
|
||||||
|
process.getProcessElements().add(wd2);
|
||||||
|
|
||||||
|
// Ajouter une WorkSequence entre les deux WorkDefinitions
|
||||||
|
WorkSequence seq = myFactory.createWorkSequence();
|
||||||
|
seq.setPredecessor(wd1);
|
||||||
|
seq.setSuccessor(wd2);
|
||||||
|
seq.setLinkType(WorkSequenceType.FINISH_TO_FINISH);
|
||||||
|
|
||||||
|
process.getProcessElements().add(seq);
|
||||||
|
|
||||||
|
// Ajouter une deuxième WorkSequence entre les deux WorkDefinitions
|
||||||
|
WorkSequence seq2 = myFactory.createWorkSequence();
|
||||||
|
seq2.setPredecessor(wd1);
|
||||||
|
seq2.setSuccessor(wd2);
|
||||||
|
seq2.setLinkType(WorkSequenceType.START_TO_START);
|
||||||
|
|
||||||
|
process.getProcessElements().add(seq2);
|
||||||
|
|
||||||
|
|
||||||
|
// Sauver la ressource
|
||||||
|
try {
|
||||||
|
resource.save(Collections.EMPTY_MAP);
|
||||||
|
} catch (IOException e) {
|
||||||
|
e.printStackTrace();
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,16 @@
|
||||||
|
Manifest-Version: 1.0
|
||||||
|
Bundle-ManifestVersion: 2
|
||||||
|
Bundle-Name: %pluginName
|
||||||
|
Bundle-SymbolicName: fr.n7.simplepdl;singleton:=true
|
||||||
|
Automatic-Module-Name: fr.n7.simplepdl
|
||||||
|
Bundle-Version: 1.0.0.qualifier
|
||||||
|
Bundle-ClassPath: .
|
||||||
|
Bundle-Vendor: %providerName
|
||||||
|
Bundle-Localization: plugin
|
||||||
|
Bundle-RequiredExecutionEnvironment: J2SE-1.5
|
||||||
|
Export-Package: simplepdl,
|
||||||
|
simplepdl.impl,
|
||||||
|
simplepdl.util
|
||||||
|
Require-Bundle: org.eclipse.core.runtime,
|
||||||
|
org.eclipse.emf.ecore;visibility:=reexport
|
||||||
|
Bundle-ActivationPolicy: lazy
|
||||||
|
|
@ -0,0 +1,2 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<simplepdl:Process xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:simplepdl="http://simplepdl"/>
|
||||||
|
|
@ -0,0 +1,207 @@
|
||||||
|
/**
|
||||||
|
*/
|
||||||
|
package petrinet.provider;
|
||||||
|
|
||||||
|
|
||||||
|
import java.util.Collection;
|
||||||
|
import java.util.List;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.notify.AdapterFactory;
|
||||||
|
import org.eclipse.emf.common.notify.Notification;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.util.ResourceLocator;
|
||||||
|
|
||||||
|
import org.eclipse.emf.edit.provider.ComposeableAdapterFactory;
|
||||||
|
import org.eclipse.emf.edit.provider.IEditingDomainItemProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemLabelProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertySource;
|
||||||
|
import org.eclipse.emf.edit.provider.IStructuredItemContentProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.ITreeItemContentProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemProviderAdapter;
|
||||||
|
import org.eclipse.emf.edit.provider.ViewerNotification;
|
||||||
|
|
||||||
|
import petrinet.Arc;
|
||||||
|
import petrinet.PetrinetPackage;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the item provider adapter for a {@link petrinet.Arc} object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public class ArcItemProvider
|
||||||
|
extends ItemProviderAdapter
|
||||||
|
implements
|
||||||
|
IEditingDomainItemProvider,
|
||||||
|
IStructuredItemContentProvider,
|
||||||
|
ITreeItemContentProvider,
|
||||||
|
IItemLabelProvider,
|
||||||
|
IItemPropertySource {
|
||||||
|
/**
|
||||||
|
* This constructs an instance from a factory and a notifier.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public ArcItemProvider(AdapterFactory adapterFactory) {
|
||||||
|
super(adapterFactory);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the property descriptors for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public List<IItemPropertyDescriptor> getPropertyDescriptors(Object object) {
|
||||||
|
if (itemPropertyDescriptors == null) {
|
||||||
|
super.getPropertyDescriptors(object);
|
||||||
|
|
||||||
|
addWeightPropertyDescriptor(object);
|
||||||
|
addOutgoingPropertyDescriptor(object);
|
||||||
|
addTargetPropertyDescriptor(object);
|
||||||
|
}
|
||||||
|
return itemPropertyDescriptors;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Weight feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addWeightPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_weight_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_weight_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__WEIGHT,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.INTEGRAL_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Outgoing feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addOutgoingPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_outgoing_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_outgoing_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__OUTGOING,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.BOOLEAN_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Target feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addTargetPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_target_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_target_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__TARGET,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
true,
|
||||||
|
null,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns Arc.gif.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public Object getImage(Object object) {
|
||||||
|
return overlayImage(object, getResourceLocator().getImage("full/obj16/Arc"));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the label text for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public String getText(Object object) {
|
||||||
|
boolean sortant = ((Arc)object).isOutgoing();
|
||||||
|
int poids = ((Arc)object).getWeight();
|
||||||
|
String cible = ((Arc)object).getTarget().getName();
|
||||||
|
return sortant ?
|
||||||
|
"--" + poids + "--> " + cible :
|
||||||
|
"<--" + poids + "-- " + cible;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This handles model notifications by calling {@link #updateChildren} to update any cached
|
||||||
|
* children and by creating a viewer notification, which it passes to {@link #fireNotifyChanged}.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public void notifyChanged(Notification notification) {
|
||||||
|
updateChildren(notification);
|
||||||
|
|
||||||
|
switch (notification.getFeatureID(Arc.class)) {
|
||||||
|
case PetrinetPackage.ARC__WEIGHT:
|
||||||
|
case PetrinetPackage.ARC__OUTGOING:
|
||||||
|
fireNotifyChanged(new ViewerNotification(notification, notification.getNotifier(), false, true));
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
super.notifyChanged(notification);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds {@link org.eclipse.emf.edit.command.CommandParameter}s describing the children
|
||||||
|
* that can be created under this object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
protected void collectNewChildDescriptors(Collection<Object> newChildDescriptors, Object object) {
|
||||||
|
super.collectNewChildDescriptors(newChildDescriptors, object);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Return the resource locator for this item provider's resources.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public ResourceLocator getResourceLocator() {
|
||||||
|
return PetrinetEditPlugin.INSTANCE;
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,366 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:description_1="http://www.eclipse.org/sirius/diagram/description/1.1.0" xmlns:diagram="http://www.eclipse.org/sirius/diagram/1.1.0" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.3/notation" xmlns:style="http://www.eclipse.org/sirius/diagram/description/style/1.1.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/style/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description/style">
|
||||||
|
<viewpoint:DAnalysis uid="_P61CECkEEeymi53fmcz7Wg" selectedViews="_P7bfACkEEeymi53fmcz7Wg _P7hloCkEEeymi53fmcz7Wg _P7iMsCkEEeymi53fmcz7Wg _P7lQACkEEeymi53fmcz7Wg" version="14.3.1.202003261200">
|
||||||
|
<semanticResources>petrinet.ecore</semanticResources>
|
||||||
|
<ownedViews xmi:type="viewpoint:DView" uid="_P7bfACkEEeymi53fmcz7Wg">
|
||||||
|
<viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/>
|
||||||
|
<ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_QRufISkEEeymi53fmcz7Wg" name="petrinet class diagram" repPath="#_QRq0wCkEEeymi53fmcz7Wg" changeId="990cd1b6-6d3b-4178-896e-1a7015698f15">
|
||||||
|
<description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
|
||||||
|
<target xmi:type="ecore:EPackage" href="petrinet.ecore#/"/>
|
||||||
|
</ownedRepresentationDescriptors>
|
||||||
|
</ownedViews>
|
||||||
|
<ownedViews xmi:type="viewpoint:DView" uid="_P7hloCkEEeymi53fmcz7Wg">
|
||||||
|
<viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Review']"/>
|
||||||
|
</ownedViews>
|
||||||
|
<ownedViews xmi:type="viewpoint:DView" uid="_P7iMsCkEEeymi53fmcz7Wg">
|
||||||
|
<viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']"/>
|
||||||
|
</ownedViews>
|
||||||
|
<ownedViews xmi:type="viewpoint:DView" uid="_P7lQACkEEeymi53fmcz7Wg">
|
||||||
|
<viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Generation']"/>
|
||||||
|
</ownedViews>
|
||||||
|
</viewpoint:DAnalysis>
|
||||||
|
<diagram:DSemanticDiagram uid="_QRq0wCkEEeymi53fmcz7Wg">
|
||||||
|
<ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_QRufIikEEeymi53fmcz7Wg" source="GMF_DIAGRAMS">
|
||||||
|
<data xmi:type="notation:Diagram" xmi:id="_QRufIykEEeymi53fmcz7Wg" type="Sirius" element="_QRq0wCkEEeymi53fmcz7Wg" measurementUnit="Pixel">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjMCkCkEEeymi53fmcz7Wg" type="2003" element="_QjBqgCkEEeymi53fmcz7Wg">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjMpoCkEEeymi53fmcz7Wg" type="5007"/>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjMpoSkEEeymi53fmcz7Wg" type="7004">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjN3xykEEeymi53fmcz7Wg" type="3010" element="_QjHKECkEEeymi53fmcz7Wg">
|
||||||
|
<styles xmi:type="notation:FontStyle" xmi:id="_QjN3yCkEEeymi53fmcz7Wg" fontName="Ubuntu" fontHeight="8" bold="true"/>
|
||||||
|
<layoutConstraint xmi:type="notation:Location" xmi:id="_QjN3ySkEEeymi53fmcz7Wg"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:SortingStyle" xmi:id="_QjMpoikEEeymi53fmcz7Wg"/>
|
||||||
|
<styles xmi:type="notation:FilteringStyle" xmi:id="_QjMpoykEEeymi53fmcz7Wg"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:ShapeStyle" xmi:id="_QjMCkSkEEeymi53fmcz7Wg" fontName="Ubuntu" fontHeight="8"/>
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjMCkikEEeymi53fmcz7Wg" x="180" y="160"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjMppCkEEeymi53fmcz7Wg" type="2003" element="_QjC4oCkEEeymi53fmcz7Wg">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjMppykEEeymi53fmcz7Wg" type="5007"/>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjNQsCkEEeymi53fmcz7Wg" type="7004">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjN3yikEEeymi53fmcz7Wg" type="3010" element="_QjHxICkEEeymi53fmcz7Wg">
|
||||||
|
<styles xmi:type="notation:FontStyle" xmi:id="_QjN3yykEEeymi53fmcz7Wg" fontName="Ubuntu" fontHeight="8" bold="true"/>
|
||||||
|
<layoutConstraint xmi:type="notation:Location" xmi:id="_QjN3zCkEEeymi53fmcz7Wg"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:SortingStyle" xmi:id="_QjNQsSkEEeymi53fmcz7Wg"/>
|
||||||
|
<styles xmi:type="notation:FilteringStyle" xmi:id="_QjNQsikEEeymi53fmcz7Wg"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:ShapeStyle" xmi:id="_QjMppSkEEeymi53fmcz7Wg" fontName="Ubuntu" fontHeight="8" italic="true"/>
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjMppikEEeymi53fmcz7Wg" x="410" y="160"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjNQsykEEeymi53fmcz7Wg" type="2003" element="_QjDfsCkEEeymi53fmcz7Wg">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjNQtikEEeymi53fmcz7Wg" type="5007"/>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjNQtykEEeymi53fmcz7Wg" type="7004">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjN3zSkEEeymi53fmcz7Wg" type="3010" element="_QjHxIikEEeymi53fmcz7Wg">
|
||||||
|
<styles xmi:type="notation:FontStyle" xmi:id="_QjN3zikEEeymi53fmcz7Wg" fontName="Ubuntu" fontHeight="8" bold="true"/>
|
||||||
|
<layoutConstraint xmi:type="notation:Location" xmi:id="_QjN3zykEEeymi53fmcz7Wg"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:SortingStyle" xmi:id="_QjNQuCkEEeymi53fmcz7Wg"/>
|
||||||
|
<styles xmi:type="notation:FilteringStyle" xmi:id="_QjNQuSkEEeymi53fmcz7Wg"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:ShapeStyle" xmi:id="_QjNQtCkEEeymi53fmcz7Wg" fontName="Ubuntu" fontHeight="8"/>
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjNQtSkEEeymi53fmcz7Wg" x="45" y="320"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjNQuikEEeymi53fmcz7Wg" type="2003" element="_QjEGwCkEEeymi53fmcz7Wg">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjNQvSkEEeymi53fmcz7Wg" type="5007"/>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjNQvikEEeymi53fmcz7Wg" type="7004">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjN30CkEEeymi53fmcz7Wg" type="3010" element="_QjIYMCkEEeymi53fmcz7Wg">
|
||||||
|
<styles xmi:type="notation:FontStyle" xmi:id="_QjN30SkEEeymi53fmcz7Wg" fontName="Ubuntu" fontHeight="8" bold="true"/>
|
||||||
|
<layoutConstraint xmi:type="notation:Location" xmi:id="_QjN30ikEEeymi53fmcz7Wg"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjOe0CkEEeymi53fmcz7Wg" type="3010" element="_QjIYMikEEeymi53fmcz7Wg">
|
||||||
|
<styles xmi:type="notation:FontStyle" xmi:id="_QjOe0SkEEeymi53fmcz7Wg" fontName="Ubuntu" fontHeight="8" bold="true"/>
|
||||||
|
<layoutConstraint xmi:type="notation:Location" xmi:id="_QjOe0ikEEeymi53fmcz7Wg"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:SortingStyle" xmi:id="_QjNQvykEEeymi53fmcz7Wg"/>
|
||||||
|
<styles xmi:type="notation:FilteringStyle" xmi:id="_QjNQwCkEEeymi53fmcz7Wg"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:ShapeStyle" xmi:id="_QjNQuykEEeymi53fmcz7Wg" fontName="Ubuntu" fontHeight="8"/>
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjNQvCkEEeymi53fmcz7Wg" x="280" y="320"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjN3wCkEEeymi53fmcz7Wg" type="2003" element="_QjEt0CkEEeymi53fmcz7Wg">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjN3wykEEeymi53fmcz7Wg" type="5007"/>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjN3xCkEEeymi53fmcz7Wg" type="7004">
|
||||||
|
<styles xmi:type="notation:SortingStyle" xmi:id="_QjN3xSkEEeymi53fmcz7Wg"/>
|
||||||
|
<styles xmi:type="notation:FilteringStyle" xmi:id="_QjN3xikEEeymi53fmcz7Wg"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:ShapeStyle" xmi:id="_QjN3wSkEEeymi53fmcz7Wg" fontName="Ubuntu" fontHeight="8"/>
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjN3wikEEeymi53fmcz7Wg" x="575" y="320"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:DiagramStyle" xmi:id="_QRufJCkEEeymi53fmcz7Wg"/>
|
||||||
|
<edges xmi:type="notation:Edge" xmi:id="_QjOe0ykEEeymi53fmcz7Wg" type="4001" element="_QjJmUCkEEeymi53fmcz7Wg" source="_QjMCkCkEEeymi53fmcz7Wg" target="_QjMppCkEEeymi53fmcz7Wg">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjOe1ykEEeymi53fmcz7Wg" type="6001">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjOe2CkEEeymi53fmcz7Wg" y="-10"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjOe2SkEEeymi53fmcz7Wg" type="6002">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjOe2ikEEeymi53fmcz7Wg" y="10"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjOe2ykEEeymi53fmcz7Wg" type="6003">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjOe3CkEEeymi53fmcz7Wg" y="10"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:ConnectorStyle" xmi:id="_QjOe1CkEEeymi53fmcz7Wg" routing="Rectilinear"/>
|
||||||
|
<styles xmi:type="notation:FontStyle" xmi:id="_QjOe1SkEEeymi53fmcz7Wg" fontColor="7490599" fontName="Ubuntu" fontHeight="8"/>
|
||||||
|
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_QjOe1ikEEeymi53fmcz7Wg" points="[58, 55, -172, -43]$[170, 55, -60, -43]"/>
|
||||||
|
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QjOe3SkEEeymi53fmcz7Wg" id="(0.5084745762711864,0.0)"/>
|
||||||
|
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QjOe3ikEEeymi53fmcz7Wg" id="(0.5084745762711864,1.0)"/>
|
||||||
|
</edges>
|
||||||
|
<edges xmi:type="notation:Edge" xmi:id="_QjOe3ykEEeymi53fmcz7Wg" type="4001" element="_QjJmWikEEeymi53fmcz7Wg" source="_QjNQuikEEeymi53fmcz7Wg" target="_QjNQsykEEeymi53fmcz7Wg">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjPF4CkEEeymi53fmcz7Wg" type="6001">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjPF4SkEEeymi53fmcz7Wg" x="-2" y="12"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjPF4ikEEeymi53fmcz7Wg" type="6002">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjPF4ykEEeymi53fmcz7Wg" y="-10"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjPF5CkEEeymi53fmcz7Wg" type="6003">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjPF5SkEEeymi53fmcz7Wg" y="-10"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:ConnectorStyle" xmi:id="_QjOe4CkEEeymi53fmcz7Wg" routing="Rectilinear"/>
|
||||||
|
<styles xmi:type="notation:FontStyle" xmi:id="_QjOe4SkEEeymi53fmcz7Wg" fontColor="7490599" fontName="Ubuntu" fontHeight="8"/>
|
||||||
|
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_QjOe4ikEEeymi53fmcz7Wg" points="[-82, -1, 176, -1]$[-199, -1, 59, -1]"/>
|
||||||
|
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QjPF5ikEEeymi53fmcz7Wg" id="(0.5,0.5)"/>
|
||||||
|
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QjPF5ykEEeymi53fmcz7Wg" id="(0.5,0.5)"/>
|
||||||
|
</edges>
|
||||||
|
<edges xmi:type="notation:Edge" xmi:id="_QjPF6CkEEeymi53fmcz7Wg" type="4001" element="_QjKNaSkEEeymi53fmcz7Wg" source="_QjN3wCkEEeymi53fmcz7Wg" target="_QjNQuikEEeymi53fmcz7Wg">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjPF7CkEEeymi53fmcz7Wg" type="6001">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjPF7SkEEeymi53fmcz7Wg" y="10"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjPF7ikEEeymi53fmcz7Wg" type="6002">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjPF7ykEEeymi53fmcz7Wg" y="-10"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjPF8CkEEeymi53fmcz7Wg" type="6003">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjPF8SkEEeymi53fmcz7Wg" y="-10"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:ConnectorStyle" xmi:id="_QjPF6SkEEeymi53fmcz7Wg" routing="Rectilinear"/>
|
||||||
|
<styles xmi:type="notation:FontStyle" xmi:id="_QjPF6ikEEeymi53fmcz7Wg" fontColor="7490599" fontName="Ubuntu" fontHeight="8"/>
|
||||||
|
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_QjPF6ykEEeymi53fmcz7Wg" points="[-59, -1, 213, -1]$[-190, -1, 82, -1]"/>
|
||||||
|
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QjPF8ikEEeymi53fmcz7Wg" id="(0.5,0.5)"/>
|
||||||
|
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QjPF8ykEEeymi53fmcz7Wg" id="(0.5,0.5)"/>
|
||||||
|
</edges>
|
||||||
|
<edges xmi:type="notation:Edge" xmi:id="_QjPF9CkEEeymi53fmcz7Wg" type="4001" element="_QjK0dikEEeymi53fmcz7Wg" source="_QjNQsykEEeymi53fmcz7Wg" target="_QjMppCkEEeymi53fmcz7Wg">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjPF-CkEEeymi53fmcz7Wg" type="6001">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjPF-SkEEeymi53fmcz7Wg" y="-10"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjPF-ikEEeymi53fmcz7Wg" type="6002">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjPF-ykEEeymi53fmcz7Wg" y="10"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjPF_CkEEeymi53fmcz7Wg" type="6003">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjPF_SkEEeymi53fmcz7Wg" y="10"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:ConnectorStyle" xmi:id="_QjPF9SkEEeymi53fmcz7Wg" routing="Tree"/>
|
||||||
|
<styles xmi:type="notation:FontStyle" xmi:id="_QjPF9ikEEeymi53fmcz7Wg" fontName="Ubuntu" fontHeight="8"/>
|
||||||
|
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_QjPF9ykEEeymi53fmcz7Wg" points="[-1, 0, -189, 60]$[187, -60, -1, 0]"/>
|
||||||
|
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QjPs8CkEEeymi53fmcz7Wg" id="(0.5084745762711864,0.0)"/>
|
||||||
|
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QjPs8SkEEeymi53fmcz7Wg" id="(0.5084745762711864,1.0)"/>
|
||||||
|
</edges>
|
||||||
|
<edges xmi:type="notation:Edge" xmi:id="_QjPs8ikEEeymi53fmcz7Wg" type="4001" element="_QjLbhikEEeymi53fmcz7Wg" source="_QjN3wCkEEeymi53fmcz7Wg" target="_QjMppCkEEeymi53fmcz7Wg">
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjPs9ikEEeymi53fmcz7Wg" type="6001">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjPs9ykEEeymi53fmcz7Wg" y="-10"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjPs-CkEEeymi53fmcz7Wg" type="6002">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjPs-SkEEeymi53fmcz7Wg" y="10"/>
|
||||||
|
</children>
|
||||||
|
<children xmi:type="notation:Node" xmi:id="_QjPs-ikEEeymi53fmcz7Wg" type="6003">
|
||||||
|
<layoutConstraint xmi:type="notation:Bounds" xmi:id="_QjPs-ykEEeymi53fmcz7Wg" y="10"/>
|
||||||
|
</children>
|
||||||
|
<styles xmi:type="notation:ConnectorStyle" xmi:id="_QjPs8ykEEeymi53fmcz7Wg" routing="Tree"/>
|
||||||
|
<styles xmi:type="notation:FontStyle" xmi:id="_QjPs9CkEEeymi53fmcz7Wg" fontName="Ubuntu" fontHeight="8"/>
|
||||||
|
<bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_QjPs9SkEEeymi53fmcz7Wg" points="[-1, 0, 96, 380]$[-2, -320, 95, 60]$[-98, -380, -1, 0]"/>
|
||||||
|
<sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QjPs_CkEEeymi53fmcz7Wg" id="(0.5084745762711864,0.0)"/>
|
||||||
|
<targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_QjPs_SkEEeymi53fmcz7Wg" id="(0.5084745762711864,1.0)"/>
|
||||||
|
</edges>
|
||||||
|
</data>
|
||||||
|
</ownedAnnotationEntries>
|
||||||
|
<ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_QRwUUikEEeymi53fmcz7Wg" source="DANNOTATION_CUSTOMIZATION_KEY">
|
||||||
|
<data xmi:type="diagram:ComputedStyleDescriptionRegistry" uid="_QRwUUykEEeymi53fmcz7Wg">
|
||||||
|
<computedStyleDescriptions xmi:type="style:BundledImageDescription" xmi:id="_QjHKESkEEeymi53fmcz7Wg" labelExpression="service:render" labelAlignment="LEFT" tooltipExpression="service:renderTooltip" sizeComputationExpression="1">
|
||||||
|
<borderColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
|
||||||
|
<labelFormat>bold</labelFormat>
|
||||||
|
<labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
|
||||||
|
<color xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
|
||||||
|
</computedStyleDescriptions>
|
||||||
|
<computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_QjJmUSkEEeymi53fmcz7Wg" sourceArrow="FillDiamond" routingStyle="manhattan">
|
||||||
|
<strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
|
||||||
|
<centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_QjJmUikEEeymi53fmcz7Wg" showIcon="false" labelExpression="service:render">
|
||||||
|
<labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
|
||||||
|
</centerLabelStyleDescription>
|
||||||
|
<endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_QjJmUykEEeymi53fmcz7Wg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">
|
||||||
|
<labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>
|
||||||
|
</endLabelStyleDescription>
|
||||||
|
</computedStyleDescriptions>
|
||||||
|
<computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_QjKNYCkEEeymi53fmcz7Wg" routingStyle="manhattan">
|
||||||
|
<strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
|
||||||
|
<centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_QjKNYSkEEeymi53fmcz7Wg" showIcon="false" labelExpression="service:render">
|
||||||
|
<labelFormat>bold</labelFormat>
|
||||||
|
<labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
|
||||||
|
</centerLabelStyleDescription>
|
||||||
|
<endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_QjKNYikEEeymi53fmcz7Wg" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">
|
||||||
|
<labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>
|
||||||
|
</endLabelStyleDescription>
|
||||||
|
</computedStyleDescriptions>
|
||||||
|
</data>
|
||||||
|
</ownedAnnotationEntries>
|
||||||
|
<ownedDiagramElements xmi:type="diagram:DNodeList" uid="_QjBqgCkEEeymi53fmcz7Wg" name="Network" tooltipText="" outgoingEdges="_QjJmUCkEEeymi53fmcz7Wg" width="12" height="10">
|
||||||
|
<target xmi:type="ecore:EClass" href="petrinet.ecore#//Network"/>
|
||||||
|
<semanticElements xmi:type="ecore:EClass" href="petrinet.ecore#//Network"/>
|
||||||
|
<ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_QjCRkCkEEeymi53fmcz7Wg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
|
||||||
|
<description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
|
||||||
|
<ownedElements xmi:type="diagram:DNodeListElement" uid="_QjHKECkEEeymi53fmcz7Wg" name="name : EString" tooltipText="">
|
||||||
|
<target xmi:type="ecore:EAttribute" href="petrinet.ecore#//Network/name"/>
|
||||||
|
<semanticElements xmi:type="ecore:EAttribute" href="petrinet.ecore#//Network/name"/>
|
||||||
|
<ownedStyle xmi:type="diagram:BundledImage" uid="_QjHKEikEEeymi53fmcz7Wg" labelAlignment="LEFT" description="_QjHKESkEEeymi53fmcz7Wg">
|
||||||
|
<labelFormat>bold</labelFormat>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>
|
||||||
|
</ownedElements>
|
||||||
|
</ownedDiagramElements>
|
||||||
|
<ownedDiagramElements xmi:type="diagram:DNodeList" uid="_QjC4oCkEEeymi53fmcz7Wg" name="Node" tooltipText="" incomingEdges="_QjJmUCkEEeymi53fmcz7Wg _QjK0dikEEeymi53fmcz7Wg _QjLbhikEEeymi53fmcz7Wg" width="12" height="10">
|
||||||
|
<target xmi:type="ecore:EClass" href="petrinet.ecore#//Node"/>
|
||||||
|
<semanticElements xmi:type="ecore:EClass" href="petrinet.ecore#//Node"/>
|
||||||
|
<arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
|
||||||
|
<arrangeConstraints>KEEP_SIZE</arrangeConstraints>
|
||||||
|
<arrangeConstraints>KEEP_RATIO</arrangeConstraints>
|
||||||
|
<ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_QjC4oSkEEeymi53fmcz7Wg" iconPath="/org.eclipse.emf.ecoretools.design/icons/full/obj16/EClass_abstract.gif" borderSize="1" borderSizeComputationExpression="1" borderColor="125,125,125" backgroundStyle="Liquid" foregroundColor="228,228,228">
|
||||||
|
<labelFormat>italic</labelFormat>
|
||||||
|
<description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@conditionnalStyles.1/@style"/>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
|
||||||
|
<ownedElements xmi:type="diagram:DNodeListElement" uid="_QjHxICkEEeymi53fmcz7Wg" name="name : EString" tooltipText="">
|
||||||
|
<target xmi:type="ecore:EAttribute" href="petrinet.ecore#//Node/name"/>
|
||||||
|
<semanticElements xmi:type="ecore:EAttribute" href="petrinet.ecore#//Node/name"/>
|
||||||
|
<ownedStyle xmi:type="diagram:BundledImage" uid="_QjHxISkEEeymi53fmcz7Wg" labelAlignment="LEFT" description="_QjHKESkEEeymi53fmcz7Wg">
|
||||||
|
<labelFormat>bold</labelFormat>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>
|
||||||
|
</ownedElements>
|
||||||
|
</ownedDiagramElements>
|
||||||
|
<ownedDiagramElements xmi:type="diagram:DNodeList" uid="_QjDfsCkEEeymi53fmcz7Wg" name="Place" tooltipText="" outgoingEdges="_QjK0dikEEeymi53fmcz7Wg" incomingEdges="_QjJmWikEEeymi53fmcz7Wg" width="12" height="10">
|
||||||
|
<target xmi:type="ecore:EClass" href="petrinet.ecore#//Place"/>
|
||||||
|
<semanticElements xmi:type="ecore:EClass" href="petrinet.ecore#//Place"/>
|
||||||
|
<arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
|
||||||
|
<arrangeConstraints>KEEP_SIZE</arrangeConstraints>
|
||||||
|
<arrangeConstraints>KEEP_RATIO</arrangeConstraints>
|
||||||
|
<ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_QjDfsSkEEeymi53fmcz7Wg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
|
||||||
|
<description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
|
||||||
|
<ownedElements xmi:type="diagram:DNodeListElement" uid="_QjHxIikEEeymi53fmcz7Wg" name="tokens : EInt" tooltipText="">
|
||||||
|
<target xmi:type="ecore:EAttribute" href="petrinet.ecore#//Place/tokens"/>
|
||||||
|
<semanticElements xmi:type="ecore:EAttribute" href="petrinet.ecore#//Place/tokens"/>
|
||||||
|
<ownedStyle xmi:type="diagram:BundledImage" uid="_QjHxIykEEeymi53fmcz7Wg" labelAlignment="LEFT" description="_QjHKESkEEeymi53fmcz7Wg">
|
||||||
|
<labelFormat>bold</labelFormat>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>
|
||||||
|
</ownedElements>
|
||||||
|
</ownedDiagramElements>
|
||||||
|
<ownedDiagramElements xmi:type="diagram:DNodeList" uid="_QjEGwCkEEeymi53fmcz7Wg" name="Arc" tooltipText="" outgoingEdges="_QjJmWikEEeymi53fmcz7Wg" incomingEdges="_QjKNaSkEEeymi53fmcz7Wg" width="12" height="10">
|
||||||
|
<target xmi:type="ecore:EClass" href="petrinet.ecore#//Arc"/>
|
||||||
|
<semanticElements xmi:type="ecore:EClass" href="petrinet.ecore#//Arc"/>
|
||||||
|
<arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
|
||||||
|
<arrangeConstraints>KEEP_SIZE</arrangeConstraints>
|
||||||
|
<arrangeConstraints>KEEP_RATIO</arrangeConstraints>
|
||||||
|
<ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_QjEGwSkEEeymi53fmcz7Wg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
|
||||||
|
<description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
|
||||||
|
<ownedElements xmi:type="diagram:DNodeListElement" uid="_QjIYMCkEEeymi53fmcz7Wg" name="weight : EInt" tooltipText="">
|
||||||
|
<target xmi:type="ecore:EAttribute" href="petrinet.ecore#//Arc/weight"/>
|
||||||
|
<semanticElements xmi:type="ecore:EAttribute" href="petrinet.ecore#//Arc/weight"/>
|
||||||
|
<ownedStyle xmi:type="diagram:BundledImage" uid="_QjIYMSkEEeymi53fmcz7Wg" labelAlignment="LEFT" description="_QjHKESkEEeymi53fmcz7Wg">
|
||||||
|
<labelFormat>bold</labelFormat>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>
|
||||||
|
</ownedElements>
|
||||||
|
<ownedElements xmi:type="diagram:DNodeListElement" uid="_QjIYMikEEeymi53fmcz7Wg" name="outgoing : EBoolean = false" tooltipText="">
|
||||||
|
<target xmi:type="ecore:EAttribute" href="petrinet.ecore#//Arc/outgoing"/>
|
||||||
|
<semanticElements xmi:type="ecore:EAttribute" href="petrinet.ecore#//Arc/outgoing"/>
|
||||||
|
<ownedStyle xmi:type="diagram:BundledImage" uid="_QjI_QCkEEeymi53fmcz7Wg" labelAlignment="LEFT" description="_QjHKESkEEeymi53fmcz7Wg">
|
||||||
|
<labelFormat>bold</labelFormat>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>
|
||||||
|
</ownedElements>
|
||||||
|
</ownedDiagramElements>
|
||||||
|
<ownedDiagramElements xmi:type="diagram:DNodeList" uid="_QjEt0CkEEeymi53fmcz7Wg" name="Transition" tooltipText="" outgoingEdges="_QjKNaSkEEeymi53fmcz7Wg _QjLbhikEEeymi53fmcz7Wg" width="12" height="10">
|
||||||
|
<target xmi:type="ecore:EClass" href="petrinet.ecore#//Transition"/>
|
||||||
|
<semanticElements xmi:type="ecore:EClass" href="petrinet.ecore#//Transition"/>
|
||||||
|
<arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
|
||||||
|
<arrangeConstraints>KEEP_SIZE</arrangeConstraints>
|
||||||
|
<arrangeConstraints>KEEP_RATIO</arrangeConstraints>
|
||||||
|
<ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_QjEt0SkEEeymi53fmcz7Wg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
|
||||||
|
<description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
|
||||||
|
</ownedDiagramElements>
|
||||||
|
<ownedDiagramElements xmi:type="diagram:DEdge" uid="_QjJmUCkEEeymi53fmcz7Wg" name="[0..*] nodes" sourceNode="_QjBqgCkEEeymi53fmcz7Wg" targetNode="_QjC4oCkEEeymi53fmcz7Wg">
|
||||||
|
<target xmi:type="ecore:EReference" href="petrinet.ecore#//Network/nodes"/>
|
||||||
|
<semanticElements xmi:type="ecore:EReference" href="petrinet.ecore#//Network/nodes"/>
|
||||||
|
<ownedStyle xmi:type="diagram:EdgeStyle" uid="_QjJmVCkEEeymi53fmcz7Wg" description="_QjJmUSkEEeymi53fmcz7Wg" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
|
||||||
|
<centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_QjJmVikEEeymi53fmcz7Wg" showIcon="false">
|
||||||
|
<customFeatures>labelSize</customFeatures>
|
||||||
|
</centerLabelStyle>
|
||||||
|
<endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_QjJmVSkEEeymi53fmcz7Wg" showIcon="false" labelColor="39,76,114">
|
||||||
|
<customFeatures>labelSize</customFeatures>
|
||||||
|
</endLabelStyle>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
|
||||||
|
</ownedDiagramElements>
|
||||||
|
<ownedDiagramElements xmi:type="diagram:DEdge" uid="_QjJmWikEEeymi53fmcz7Wg" name="[1..1] target" sourceNode="_QjEGwCkEEeymi53fmcz7Wg" targetNode="_QjDfsCkEEeymi53fmcz7Wg">
|
||||||
|
<target xmi:type="ecore:EReference" href="petrinet.ecore#//Arc/target"/>
|
||||||
|
<semanticElements xmi:type="ecore:EReference" href="petrinet.ecore#//Arc/target"/>
|
||||||
|
<ownedStyle xmi:type="diagram:EdgeStyle" uid="_QjKNYykEEeymi53fmcz7Wg" description="_QjKNYCkEEeymi53fmcz7Wg" routingStyle="manhattan" strokeColor="0,0,0">
|
||||||
|
<centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_QjKNZSkEEeymi53fmcz7Wg" showIcon="false">
|
||||||
|
<customFeatures>labelSize</customFeatures>
|
||||||
|
</centerLabelStyle>
|
||||||
|
<endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_QjKNZCkEEeymi53fmcz7Wg" showIcon="false" labelColor="39,76,114">
|
||||||
|
<customFeatures>labelSize</customFeatures>
|
||||||
|
</endLabelStyle>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
|
||||||
|
</ownedDiagramElements>
|
||||||
|
<ownedDiagramElements xmi:type="diagram:DEdge" uid="_QjKNaSkEEeymi53fmcz7Wg" name="[0..*] arcs" sourceNode="_QjEt0CkEEeymi53fmcz7Wg" targetNode="_QjEGwCkEEeymi53fmcz7Wg">
|
||||||
|
<target xmi:type="ecore:EReference" href="petrinet.ecore#//Transition/arcs"/>
|
||||||
|
<semanticElements xmi:type="ecore:EReference" href="petrinet.ecore#//Transition/arcs"/>
|
||||||
|
<ownedStyle xmi:type="diagram:EdgeStyle" uid="_QjK0cCkEEeymi53fmcz7Wg" description="_QjJmUSkEEeymi53fmcz7Wg" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
|
||||||
|
<centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_QjK0cikEEeymi53fmcz7Wg" showIcon="false">
|
||||||
|
<customFeatures>labelSize</customFeatures>
|
||||||
|
</centerLabelStyle>
|
||||||
|
<endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_QjK0cSkEEeymi53fmcz7Wg" showIcon="false" labelColor="39,76,114">
|
||||||
|
<customFeatures>labelSize</customFeatures>
|
||||||
|
</endLabelStyle>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
|
||||||
|
</ownedDiagramElements>
|
||||||
|
<ownedDiagramElements xmi:type="diagram:DEdge" uid="_QjK0dikEEeymi53fmcz7Wg" sourceNode="_QjDfsCkEEeymi53fmcz7Wg" targetNode="_QjC4oCkEEeymi53fmcz7Wg">
|
||||||
|
<target xmi:type="ecore:EClass" href="petrinet.ecore#//Place"/>
|
||||||
|
<semanticElements xmi:type="ecore:EClass" href="petrinet.ecore#//Place"/>
|
||||||
|
<ownedStyle xmi:type="diagram:EdgeStyle" uid="_QjLbgCkEEeymi53fmcz7Wg" targetArrow="InputClosedArrow" routingStyle="tree">
|
||||||
|
<description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
|
||||||
|
<beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_QjLbgSkEEeymi53fmcz7Wg" showIcon="false">
|
||||||
|
<labelFormat>italic</labelFormat>
|
||||||
|
</beginLabelStyle>
|
||||||
|
<centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_QjLbgikEEeymi53fmcz7Wg" showIcon="false"/>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
|
||||||
|
</ownedDiagramElements>
|
||||||
|
<ownedDiagramElements xmi:type="diagram:DEdge" uid="_QjLbhikEEeymi53fmcz7Wg" sourceNode="_QjEt0CkEEeymi53fmcz7Wg" targetNode="_QjC4oCkEEeymi53fmcz7Wg">
|
||||||
|
<target xmi:type="ecore:EClass" href="petrinet.ecore#//Transition"/>
|
||||||
|
<semanticElements xmi:type="ecore:EClass" href="petrinet.ecore#//Transition"/>
|
||||||
|
<ownedStyle xmi:type="diagram:EdgeStyle" uid="_QjLbhykEEeymi53fmcz7Wg" targetArrow="InputClosedArrow" routingStyle="tree">
|
||||||
|
<description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']/@style"/>
|
||||||
|
<beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_QjLbiCkEEeymi53fmcz7Wg" showIcon="false">
|
||||||
|
<labelFormat>italic</labelFormat>
|
||||||
|
</beginLabelStyle>
|
||||||
|
<centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_QjLbiSkEEeymi53fmcz7Wg" showIcon="false"/>
|
||||||
|
</ownedStyle>
|
||||||
|
<actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC%20ESupertypes']"/>
|
||||||
|
</ownedDiagramElements>
|
||||||
|
<description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
|
||||||
|
<filterVariableHistory xmi:type="diagram:FilterVariableHistory" uid="_QRtRACkEEeymi53fmcz7Wg"/>
|
||||||
|
<activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/>
|
||||||
|
<activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Package']"/>
|
||||||
|
<activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Validation']"/>
|
||||||
|
<activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Archetype']/@ownedRepresentationExtensions[name='Entities%20With%20Archetypes']/@layers[name='Archetypes']"/>
|
||||||
|
<target xmi:type="ecore:EPackage" href="petrinet.ecore#/"/>
|
||||||
|
</diagram:DSemanticDiagram>
|
||||||
|
</xmi:XMI>
|
||||||
|
|
@ -0,0 +1,2 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<petrinet:Network xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:petrinet="http://petrinet" name="exemple"/>
|
||||||
|
|
@ -0,0 +1,132 @@
|
||||||
|
/**
|
||||||
|
*/
|
||||||
|
package petrinet.provider;
|
||||||
|
|
||||||
|
|
||||||
|
import java.util.Collection;
|
||||||
|
import java.util.List;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.notify.AdapterFactory;
|
||||||
|
import org.eclipse.emf.common.notify.Notification;
|
||||||
|
|
||||||
|
import org.eclipse.emf.edit.provider.ComposeableAdapterFactory;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ViewerNotification;
|
||||||
|
|
||||||
|
import petrinet.PetrinetPackage;
|
||||||
|
import petrinet.Place;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the item provider adapter for a {@link petrinet.Place} object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public class PlaceItemProvider extends NodeItemProvider {
|
||||||
|
/**
|
||||||
|
* This constructs an instance from a factory and a notifier.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public PlaceItemProvider(AdapterFactory adapterFactory) {
|
||||||
|
super(adapterFactory);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the property descriptors for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public List<IItemPropertyDescriptor> getPropertyDescriptors(Object object) {
|
||||||
|
if (itemPropertyDescriptors == null) {
|
||||||
|
super.getPropertyDescriptors(object);
|
||||||
|
|
||||||
|
addTokensPropertyDescriptor(object);
|
||||||
|
}
|
||||||
|
return itemPropertyDescriptors;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Tokens feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addTokensPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Place_tokens_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Place_tokens_feature", "_UI_Place_type"),
|
||||||
|
PetrinetPackage.Literals.PLACE__TOKENS,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.INTEGRAL_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns Place.gif.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public Object getImage(Object object) {
|
||||||
|
return overlayImage(object, getResourceLocator().getImage("full/obj16/Place"));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the label text for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public String getText(Object object) {
|
||||||
|
String label = ((Place)object).getName();
|
||||||
|
return label == null || label.length() == 0 ?
|
||||||
|
getString("_UI_Place_type") :
|
||||||
|
getString("_UI_Place_type") + " " + label;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This handles model notifications by calling {@link #updateChildren} to update any cached
|
||||||
|
* children and by creating a viewer notification, which it passes to {@link #fireNotifyChanged}.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public void notifyChanged(Notification notification) {
|
||||||
|
updateChildren(notification);
|
||||||
|
|
||||||
|
switch (notification.getFeatureID(Place.class)) {
|
||||||
|
case PetrinetPackage.PLACE__TOKENS:
|
||||||
|
fireNotifyChanged(new ViewerNotification(notification, notification.getNotifier(), false, true));
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
super.notifyChanged(notification);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds {@link org.eclipse.emf.edit.command.CommandParameter}s describing the children
|
||||||
|
* that can be created under this object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
protected void collectNewChildDescriptors(Collection<Object> newChildDescriptors, Object object) {
|
||||||
|
super.collectNewChildDescriptors(newChildDescriptors, object);
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,133 @@
|
||||||
|
/**
|
||||||
|
*/
|
||||||
|
package petrinet.provider;
|
||||||
|
|
||||||
|
|
||||||
|
import java.util.Collection;
|
||||||
|
import java.util.List;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.notify.AdapterFactory;
|
||||||
|
import org.eclipse.emf.common.notify.Notification;
|
||||||
|
|
||||||
|
import org.eclipse.emf.edit.provider.ComposeableAdapterFactory;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ViewerNotification;
|
||||||
|
|
||||||
|
import petrinet.PetrinetPackage;
|
||||||
|
import petrinet.Place;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the item provider adapter for a {@link petrinet.Place} object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public class PlaceItemProvider extends NodeItemProvider {
|
||||||
|
/**
|
||||||
|
* This constructs an instance from a factory and a notifier.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public PlaceItemProvider(AdapterFactory adapterFactory) {
|
||||||
|
super(adapterFactory);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the property descriptors for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public List<IItemPropertyDescriptor> getPropertyDescriptors(Object object) {
|
||||||
|
if (itemPropertyDescriptors == null) {
|
||||||
|
super.getPropertyDescriptors(object);
|
||||||
|
|
||||||
|
addTokensPropertyDescriptor(object);
|
||||||
|
}
|
||||||
|
return itemPropertyDescriptors;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Tokens feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addTokensPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Place_tokens_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Place_tokens_feature", "_UI_Place_type"),
|
||||||
|
PetrinetPackage.Literals.PLACE__TOKENS,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.INTEGRAL_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns Place.gif.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public Object getImage(Object object) {
|
||||||
|
return overlayImage(object, getResourceLocator().getImage("full/obj16/Place"));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the label text for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public String getText(Object object) {
|
||||||
|
String label = ((Place)object).getName();
|
||||||
|
int jetons = ((Place)object).getTokens();
|
||||||
|
return label == null || label.length() == 0 ?
|
||||||
|
getString("_UI_Place_type") :
|
||||||
|
getString("_UI_Place_type") + " " + label + " (" + jetons + ")";
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This handles model notifications by calling {@link #updateChildren} to update any cached
|
||||||
|
* children and by creating a viewer notification, which it passes to {@link #fireNotifyChanged}.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public void notifyChanged(Notification notification) {
|
||||||
|
updateChildren(notification);
|
||||||
|
|
||||||
|
switch (notification.getFeatureID(Place.class)) {
|
||||||
|
case PetrinetPackage.PLACE__TOKENS:
|
||||||
|
fireNotifyChanged(new ViewerNotification(notification, notification.getNotifier(), false, true));
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
super.notifyChanged(notification);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds {@link org.eclipse.emf.edit.command.CommandParameter}s describing the children
|
||||||
|
* that can be created under this object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
protected void collectNewChildDescriptors(Collection<Object> newChildDescriptors, Object object) {
|
||||||
|
super.collectNewChildDescriptors(newChildDescriptors, object);
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,3 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<petrinet:Network xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
||||||
|
xmlns:petrinet="http://petrinet" xsi:schemaLocation="http://petrinet petrinet.ecore"/>
|
||||||
|
|
@ -0,0 +1,133 @@
|
||||||
|
/**
|
||||||
|
*/
|
||||||
|
package petrinet.provider;
|
||||||
|
|
||||||
|
|
||||||
|
import java.util.Collection;
|
||||||
|
import java.util.List;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.notify.AdapterFactory;
|
||||||
|
import org.eclipse.emf.common.notify.Notification;
|
||||||
|
|
||||||
|
import org.eclipse.emf.edit.provider.ComposeableAdapterFactory;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ViewerNotification;
|
||||||
|
|
||||||
|
import petrinet.PetrinetPackage;
|
||||||
|
import petrinet.Place;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the item provider adapter for a {@link petrinet.Place} object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public class PlaceItemProvider extends NodeItemProvider {
|
||||||
|
/**
|
||||||
|
* This constructs an instance from a factory and a notifier.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public PlaceItemProvider(AdapterFactory adapterFactory) {
|
||||||
|
super(adapterFactory);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the property descriptors for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public List<IItemPropertyDescriptor> getPropertyDescriptors(Object object) {
|
||||||
|
if (itemPropertyDescriptors == null) {
|
||||||
|
super.getPropertyDescriptors(object);
|
||||||
|
|
||||||
|
addTokensPropertyDescriptor(object);
|
||||||
|
}
|
||||||
|
return itemPropertyDescriptors;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Tokens feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addTokensPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Place_tokens_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Place_tokens_feature", "_UI_Place_type"),
|
||||||
|
PetrinetPackage.Literals.PLACE__TOKENS,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.INTEGRAL_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns Place.gif.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public Object getImage(Object object) {
|
||||||
|
return overlayImage(object, getResourceLocator().getImage("full/obj16/Place"));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the label text for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public String getText(Object object) {
|
||||||
|
String label = ((Place)object).getName();
|
||||||
|
int jetons = ((Place)object).getJetons();
|
||||||
|
return label == null || label.length() == 0 ?
|
||||||
|
getString("_UI_Place_type") :
|
||||||
|
getString("_UI_Place_type") + " " + label + " (" + jetons + ")";
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This handles model notifications by calling {@link #updateChildren} to update any cached
|
||||||
|
* children and by creating a viewer notification, which it passes to {@link #fireNotifyChanged}.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public void notifyChanged(Notification notification) {
|
||||||
|
updateChildren(notification);
|
||||||
|
|
||||||
|
switch (notification.getFeatureID(Place.class)) {
|
||||||
|
case PetrinetPackage.PLACE__TOKENS:
|
||||||
|
fireNotifyChanged(new ViewerNotification(notification, notification.getNotifier(), false, true));
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
super.notifyChanged(notification);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds {@link org.eclipse.emf.edit.command.CommandParameter}s describing the children
|
||||||
|
* that can be created under this object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
protected void collectNewChildDescriptors(Collection<Object> newChildDescriptors, Object object) {
|
||||||
|
super.collectNewChildDescriptors(newChildDescriptors, object);
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,207 @@
|
||||||
|
/**
|
||||||
|
*/
|
||||||
|
package petrinet.provider;
|
||||||
|
|
||||||
|
|
||||||
|
import java.util.Collection;
|
||||||
|
import java.util.List;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.notify.AdapterFactory;
|
||||||
|
import org.eclipse.emf.common.notify.Notification;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.util.ResourceLocator;
|
||||||
|
|
||||||
|
import org.eclipse.emf.edit.provider.ComposeableAdapterFactory;
|
||||||
|
import org.eclipse.emf.edit.provider.IEditingDomainItemProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemLabelProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertySource;
|
||||||
|
import org.eclipse.emf.edit.provider.IStructuredItemContentProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.ITreeItemContentProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemProviderAdapter;
|
||||||
|
import org.eclipse.emf.edit.provider.ViewerNotification;
|
||||||
|
|
||||||
|
import petrinet.Arc;
|
||||||
|
import petrinet.PetrinetPackage;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the item provider adapter for a {@link petrinet.Arc} object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public class ArcItemProvider
|
||||||
|
extends ItemProviderAdapter
|
||||||
|
implements
|
||||||
|
IEditingDomainItemProvider,
|
||||||
|
IStructuredItemContentProvider,
|
||||||
|
ITreeItemContentProvider,
|
||||||
|
IItemLabelProvider,
|
||||||
|
IItemPropertySource {
|
||||||
|
/**
|
||||||
|
* This constructs an instance from a factory and a notifier.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public ArcItemProvider(AdapterFactory adapterFactory) {
|
||||||
|
super(adapterFactory);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the property descriptors for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public List<IItemPropertyDescriptor> getPropertyDescriptors(Object object) {
|
||||||
|
if (itemPropertyDescriptors == null) {
|
||||||
|
super.getPropertyDescriptors(object);
|
||||||
|
|
||||||
|
addWeightPropertyDescriptor(object);
|
||||||
|
addOutgoingPropertyDescriptor(object);
|
||||||
|
addTargetPropertyDescriptor(object);
|
||||||
|
}
|
||||||
|
return itemPropertyDescriptors;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Weight feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addWeightPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_weight_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_weight_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__WEIGHT,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.INTEGRAL_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Outgoing feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addOutgoingPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_outgoing_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_outgoing_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__OUTGOING,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.BOOLEAN_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Target feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addTargetPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_target_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_target_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__TARGET,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
true,
|
||||||
|
null,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns Arc.gif.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public Object getImage(Object object) {
|
||||||
|
return overlayImage(object, getResourceLocator().getImage("full/obj16/Arc"));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the label text for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public String getText(Object object) {
|
||||||
|
boolean sortant = ((Arc)object).isSortant();
|
||||||
|
int poids = ((Arc)object).getPoids();
|
||||||
|
String cible = ((Arc)object).getCible().getName();
|
||||||
|
return sortant ?
|
||||||
|
"--" + poids + "--> " + cible :
|
||||||
|
"<--" + poids + "-- " + cible;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This handles model notifications by calling {@link #updateChildren} to update any cached
|
||||||
|
* children and by creating a viewer notification, which it passes to {@link #fireNotifyChanged}.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public void notifyChanged(Notification notification) {
|
||||||
|
updateChildren(notification);
|
||||||
|
|
||||||
|
switch (notification.getFeatureID(Arc.class)) {
|
||||||
|
case PetrinetPackage.ARC__WEIGHT:
|
||||||
|
case PetrinetPackage.ARC__OUTGOING:
|
||||||
|
fireNotifyChanged(new ViewerNotification(notification, notification.getNotifier(), false, true));
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
super.notifyChanged(notification);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds {@link org.eclipse.emf.edit.command.CommandParameter}s describing the children
|
||||||
|
* that can be created under this object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
protected void collectNewChildDescriptors(Collection<Object> newChildDescriptors, Object object) {
|
||||||
|
super.collectNewChildDescriptors(newChildDescriptors, object);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Return the resource locator for this item provider's resources.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public ResourceLocator getResourceLocator() {
|
||||||
|
return PetrinetEditPlugin.INSTANCE;
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,203 @@
|
||||||
|
/**
|
||||||
|
*/
|
||||||
|
package petrinet.provider;
|
||||||
|
|
||||||
|
|
||||||
|
import java.util.Collection;
|
||||||
|
import java.util.List;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.notify.AdapterFactory;
|
||||||
|
import org.eclipse.emf.common.notify.Notification;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.util.ResourceLocator;
|
||||||
|
|
||||||
|
import org.eclipse.emf.edit.provider.ComposeableAdapterFactory;
|
||||||
|
import org.eclipse.emf.edit.provider.IEditingDomainItemProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemLabelProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertySource;
|
||||||
|
import org.eclipse.emf.edit.provider.IStructuredItemContentProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.ITreeItemContentProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemProviderAdapter;
|
||||||
|
import org.eclipse.emf.edit.provider.ViewerNotification;
|
||||||
|
|
||||||
|
import petrinet.Arc;
|
||||||
|
import petrinet.PetrinetPackage;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the item provider adapter for a {@link petrinet.Arc} object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public class ArcItemProvider
|
||||||
|
extends ItemProviderAdapter
|
||||||
|
implements
|
||||||
|
IEditingDomainItemProvider,
|
||||||
|
IStructuredItemContentProvider,
|
||||||
|
ITreeItemContentProvider,
|
||||||
|
IItemLabelProvider,
|
||||||
|
IItemPropertySource {
|
||||||
|
/**
|
||||||
|
* This constructs an instance from a factory and a notifier.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public ArcItemProvider(AdapterFactory adapterFactory) {
|
||||||
|
super(adapterFactory);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the property descriptors for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public List<IItemPropertyDescriptor> getPropertyDescriptors(Object object) {
|
||||||
|
if (itemPropertyDescriptors == null) {
|
||||||
|
super.getPropertyDescriptors(object);
|
||||||
|
|
||||||
|
addWeightPropertyDescriptor(object);
|
||||||
|
addOutgoingPropertyDescriptor(object);
|
||||||
|
addTargetPropertyDescriptor(object);
|
||||||
|
}
|
||||||
|
return itemPropertyDescriptors;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Weight feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addWeightPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_weight_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_weight_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__WEIGHT,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.INTEGRAL_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Outgoing feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addOutgoingPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_outgoing_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_outgoing_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__OUTGOING,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.BOOLEAN_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Target feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addTargetPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_target_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_target_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__TARGET,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
true,
|
||||||
|
null,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns Arc.gif.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public Object getImage(Object object) {
|
||||||
|
return overlayImage(object, getResourceLocator().getImage("full/obj16/Arc"));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the label text for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public String getText(Object object) {
|
||||||
|
Arc arc = (Arc)object;
|
||||||
|
return getString("_UI_Arc_type") + " " + arc.getWeight();
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This handles model notifications by calling {@link #updateChildren} to update any cached
|
||||||
|
* children and by creating a viewer notification, which it passes to {@link #fireNotifyChanged}.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public void notifyChanged(Notification notification) {
|
||||||
|
updateChildren(notification);
|
||||||
|
|
||||||
|
switch (notification.getFeatureID(Arc.class)) {
|
||||||
|
case PetrinetPackage.ARC__WEIGHT:
|
||||||
|
case PetrinetPackage.ARC__OUTGOING:
|
||||||
|
fireNotifyChanged(new ViewerNotification(notification, notification.getNotifier(), false, true));
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
super.notifyChanged(notification);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds {@link org.eclipse.emf.edit.command.CommandParameter}s describing the children
|
||||||
|
* that can be created under this object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
protected void collectNewChildDescriptors(Collection<Object> newChildDescriptors, Object object) {
|
||||||
|
super.collectNewChildDescriptors(newChildDescriptors, object);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Return the resource locator for this item provider's resources.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public ResourceLocator getResourceLocator() {
|
||||||
|
return PetrinetEditPlugin.INSTANCE;
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
@ -0,0 +1,17 @@
|
||||||
|
Manifest-Version: 1.0
|
||||||
|
Bundle-ManifestVersion: 2
|
||||||
|
Bundle-Name: %pluginName
|
||||||
|
Bundle-SymbolicName: fr.n7.simplepdl;singleton:=true
|
||||||
|
Automatic-Module-Name: fr.n7.simplepdl
|
||||||
|
Bundle-Version: 1.0.0.qualifier
|
||||||
|
Bundle-ClassPath: .
|
||||||
|
Bundle-Vendor: %providerName
|
||||||
|
Bundle-Localization: plugin
|
||||||
|
Bundle-RequiredExecutionEnvironment: J2SE-1.5
|
||||||
|
Export-Package: simplepdl,
|
||||||
|
simplepdl.impl,
|
||||||
|
simplepdl.util
|
||||||
|
Require-Bundle: org.eclipse.core.runtime,
|
||||||
|
org.eclipse.emf.ecore;visibility:=reexport
|
||||||
|
Bundle-ActivationPolicy: lazy
|
||||||
|
Import-Package: org.eclipse.emf.ecore.xmi.impl
|
||||||
|
|
@ -0,0 +1,207 @@
|
||||||
|
/**
|
||||||
|
*/
|
||||||
|
package petrinet.provider;
|
||||||
|
|
||||||
|
|
||||||
|
import java.util.Collection;
|
||||||
|
import java.util.List;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.notify.AdapterFactory;
|
||||||
|
import org.eclipse.emf.common.notify.Notification;
|
||||||
|
|
||||||
|
import org.eclipse.emf.common.util.ResourceLocator;
|
||||||
|
|
||||||
|
import org.eclipse.emf.edit.provider.ComposeableAdapterFactory;
|
||||||
|
import org.eclipse.emf.edit.provider.IEditingDomainItemProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemLabelProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.IItemPropertySource;
|
||||||
|
import org.eclipse.emf.edit.provider.IStructuredItemContentProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.ITreeItemContentProvider;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemPropertyDescriptor;
|
||||||
|
import org.eclipse.emf.edit.provider.ItemProviderAdapter;
|
||||||
|
import org.eclipse.emf.edit.provider.ViewerNotification;
|
||||||
|
|
||||||
|
import petrinet.Arc;
|
||||||
|
import petrinet.PetrinetPackage;
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This is the item provider adapter for a {@link petrinet.Arc} object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public class ArcItemProvider
|
||||||
|
extends ItemProviderAdapter
|
||||||
|
implements
|
||||||
|
IEditingDomainItemProvider,
|
||||||
|
IStructuredItemContentProvider,
|
||||||
|
ITreeItemContentProvider,
|
||||||
|
IItemLabelProvider,
|
||||||
|
IItemPropertySource {
|
||||||
|
/**
|
||||||
|
* This constructs an instance from a factory and a notifier.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
public ArcItemProvider(AdapterFactory adapterFactory) {
|
||||||
|
super(adapterFactory);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the property descriptors for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public List<IItemPropertyDescriptor> getPropertyDescriptors(Object object) {
|
||||||
|
if (itemPropertyDescriptors == null) {
|
||||||
|
super.getPropertyDescriptors(object);
|
||||||
|
|
||||||
|
addWeightPropertyDescriptor(object);
|
||||||
|
addOutgoingPropertyDescriptor(object);
|
||||||
|
addTargetPropertyDescriptor(object);
|
||||||
|
}
|
||||||
|
return itemPropertyDescriptors;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Weight feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addWeightPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_weight_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_weight_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__WEIGHT,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.INTEGRAL_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Outgoing feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addOutgoingPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_outgoing_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_outgoing_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__OUTGOING,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
false,
|
||||||
|
ItemPropertyDescriptor.BOOLEAN_VALUE_IMAGE,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds a property descriptor for the Target feature.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
protected void addTargetPropertyDescriptor(Object object) {
|
||||||
|
itemPropertyDescriptors.add
|
||||||
|
(createItemPropertyDescriptor
|
||||||
|
(((ComposeableAdapterFactory)adapterFactory).getRootAdapterFactory(),
|
||||||
|
getResourceLocator(),
|
||||||
|
getString("_UI_Arc_target_feature"),
|
||||||
|
getString("_UI_PropertyDescriptor_description", "_UI_Arc_target_feature", "_UI_Arc_type"),
|
||||||
|
PetrinetPackage.Literals.ARC__TARGET,
|
||||||
|
true,
|
||||||
|
false,
|
||||||
|
true,
|
||||||
|
null,
|
||||||
|
null,
|
||||||
|
null));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns Arc.gif.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public Object getImage(Object object) {
|
||||||
|
return overlayImage(object, getResourceLocator().getImage("full/obj16/Arc"));
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This returns the label text for the adapted class.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public String getText(Object object) {
|
||||||
|
boolean outgoing = ((Arc)object).isOutgoing();
|
||||||
|
int weight = ((Arc)object).getWeight();
|
||||||
|
String target = ((Arc)object).getTarget().getName();
|
||||||
|
return outgoing ?
|
||||||
|
"--" + weight + "--> " + target :
|
||||||
|
"<--" + weight + "-- " + target;
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This handles model notifications by calling {@link #updateChildren} to update any cached
|
||||||
|
* children and by creating a viewer notification, which it passes to {@link #fireNotifyChanged}.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public void notifyChanged(Notification notification) {
|
||||||
|
updateChildren(notification);
|
||||||
|
|
||||||
|
switch (notification.getFeatureID(Arc.class)) {
|
||||||
|
case PetrinetPackage.ARC__WEIGHT:
|
||||||
|
case PetrinetPackage.ARC__OUTGOING:
|
||||||
|
fireNotifyChanged(new ViewerNotification(notification, notification.getNotifier(), false, true));
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
super.notifyChanged(notification);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* This adds {@link org.eclipse.emf.edit.command.CommandParameter}s describing the children
|
||||||
|
* that can be created under this object.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
protected void collectNewChildDescriptors(Collection<Object> newChildDescriptors, Object object) {
|
||||||
|
super.collectNewChildDescriptors(newChildDescriptors, object);
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Return the resource locator for this item provider's resources.
|
||||||
|
* <!-- begin-user-doc -->
|
||||||
|
* <!-- end-user-doc -->
|
||||||
|
* @generated
|
||||||
|
*/
|
||||||
|
@Override
|
||||||
|
public ResourceLocator getResourceLocator() {
|
||||||
|
return PetrinetEditPlugin.INSTANCE;
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
|
|
@ -1,2 +1,3 @@
|
||||||
eclipse.preferences.version=1
|
eclipse.preferences.version=1
|
||||||
org.eclipse.debug.ui.PREF_LAUNCH_PERSPECTIVES=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?>\n<launchPerspectives/>\n
|
org.eclipse.debug.ui.PREF_LAUNCH_PERSPECTIVES=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?>\n<launchPerspectives/>\n
|
||||||
|
preferredTargets=default\:default|
|
||||||
|
|
|
||||||
|
|
@ -0,0 +1,2 @@
|
||||||
|
eclipse.preferences.version=1
|
||||||
|
org.eclipse.emf.importer.ui.contribution.ModelImporterManager=org.eclipse.emf.importer.ecore
|
||||||
|
|
@ -0,0 +1,9 @@
|
||||||
|
eclipse.preferences.version=1
|
||||||
|
org.eclipse.jdt.core.codeComplete.visibilityCheck=enabled
|
||||||
|
org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
|
||||||
|
org.eclipse.jdt.core.compiler.codegen.targetPlatform=11
|
||||||
|
org.eclipse.jdt.core.compiler.compliance=11
|
||||||
|
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
|
||||||
|
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
|
||||||
|
org.eclipse.jdt.core.compiler.release=enabled
|
||||||
|
org.eclipse.jdt.core.compiler.source=11
|
||||||
|
|
@ -0,0 +1,2 @@
|
||||||
|
eclipse.preferences.version=1
|
||||||
|
org.eclipse.jdt.junit.content_assist_favorite_static_members_migrated=true
|
||||||
|
|
@ -0,0 +1,2 @@
|
||||||
|
eclipse.preferences.version=1
|
||||||
|
org.eclipse.jdt.launching.PREF_VM_XML=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?>\n<vmSettings defaultVM\="57,org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType13,1633791991806" defaultVMConnector\="">\n <vmType id\="org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType">\n <vm id\="1633791991806" name\="java-11-openjdk-amd64" path\="/usr/lib/jvm/java-11-openjdk-amd64"/>\n </vmType>\n</vmSettings>\n
|
||||||
|
|
@ -1,3 +1,4 @@
|
||||||
|
content_assist_number_of_computers=14
|
||||||
content_assist_proposals_background=255,255,255
|
content_assist_proposals_background=255,255,255
|
||||||
content_assist_proposals_foreground=0,0,0
|
content_assist_proposals_foreground=0,0,0
|
||||||
eclipse.preferences.version=1
|
eclipse.preferences.version=1
|
||||||
|
|
|
||||||
|
|
@ -0,0 +1,2 @@
|
||||||
|
eclipse.preferences.version=1
|
||||||
|
knownEEFragments=
|
||||||
|
|
@ -1,5 +1,5 @@
|
||||||
PROBLEMS_FILTERS_MIGRATE=true
|
PROBLEMS_FILTERS_MIGRATE=true
|
||||||
eclipse.preferences.version=1
|
eclipse.preferences.version=1
|
||||||
platformState=1631777710634
|
platformState=1631777710644
|
||||||
quickStart=false
|
quickStart=false
|
||||||
tipsAndTricks=true
|
tipsAndTricks=true
|
||||||
|
|
|
||||||
|
|
@ -0,0 +1,10 @@
|
||||||
|
activate=true
|
||||||
|
column2=614
|
||||||
|
column3=269
|
||||||
|
column4=552
|
||||||
|
eclipse.preferences.version=1
|
||||||
|
groupBy=0
|
||||||
|
maxLogTailSize=1
|
||||||
|
orderType=2
|
||||||
|
orderValue=-1
|
||||||
|
show_filter_text=true
|
||||||
|
|
@ -0,0 +1,30 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
||||||
|
<launchConfiguration type="org.eclipse.pde.ui.RuntimeWorkbench">
|
||||||
|
<booleanAttribute key="append.args" value="true"/>
|
||||||
|
<booleanAttribute key="askclear" value="true"/>
|
||||||
|
<booleanAttribute key="automaticAdd" value="true"/>
|
||||||
|
<booleanAttribute key="automaticValidate" value="true"/>
|
||||||
|
<stringAttribute key="bootstrap" value=""/>
|
||||||
|
<stringAttribute key="checked" value="[NONE]"/>
|
||||||
|
<booleanAttribute key="clearConfig" value="true"/>
|
||||||
|
<booleanAttribute key="clearws" value="false"/>
|
||||||
|
<booleanAttribute key="clearwslog" value="false"/>
|
||||||
|
<stringAttribute key="configLocation" value="${workspace_loc}/.metadata/.plugins/org.eclipse.pde.core/New_configuration"/>
|
||||||
|
<booleanAttribute key="default" value="true"/>
|
||||||
|
<booleanAttribute key="includeOptional" value="true"/>
|
||||||
|
<stringAttribute key="location" value="${workspace_loc}/../runtime-New_configuration"/>
|
||||||
|
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_SHOW_CODEDETAILS_IN_EXCEPTION_MESSAGES" value="true"/>
|
||||||
|
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
|
||||||
|
<stringAttribute key="org.eclipse.jdt.launching.JRE_CONTAINER" value="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11"/>
|
||||||
|
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-os ${target.os} -ws ${target.ws} -arch ${target.arch} -nl ${target.nl} -consoleLog"/>
|
||||||
|
<stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.pde.ui.workbenchClasspathProvider"/>
|
||||||
|
<stringAttribute key="pde.version" value="3.3"/>
|
||||||
|
<stringAttribute key="product" value="org.eclipse.platform.ide"/>
|
||||||
|
<booleanAttribute key="show_selected_only" value="false"/>
|
||||||
|
<stringAttribute key="templateConfig" value="${target_home}/configuration/config.ini"/>
|
||||||
|
<booleanAttribute key="tracing" value="false"/>
|
||||||
|
<booleanAttribute key="useCustomFeatures" value="false"/>
|
||||||
|
<booleanAttribute key="useDefaultConfig" value="true"/>
|
||||||
|
<booleanAttribute key="useDefaultConfigArea" value="true"/>
|
||||||
|
<booleanAttribute key="useProduct" value="true"/>
|
||||||
|
</launchConfiguration>
|
||||||
|
|
@ -0,0 +1,13 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
||||||
|
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
|
||||||
|
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
|
||||||
|
<listEntry value="/fr.n7.simplepdl/src/simplepdl/manip/SimplePDLCreator.java"/>
|
||||||
|
</listAttribute>
|
||||||
|
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
|
||||||
|
<listEntry value="1"/>
|
||||||
|
</listAttribute>
|
||||||
|
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_EXCLUDE_TEST_CODE" value="true"/>
|
||||||
|
<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="simplepdl.manip.SimplePDLCreator"/>
|
||||||
|
<stringAttribute key="org.eclipse.jdt.launching.MODULE_NAME" value=""/>
|
||||||
|
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="fr.n7.simplepdl"/>
|
||||||
|
</launchConfiguration>
|
||||||
|
|
@ -0,0 +1,11 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<section name="Workbench">
|
||||||
|
<section name="org.eclipse.debug.ui.LAUNCH_CONFIGURATIONS_DIALOG_SECTION">
|
||||||
|
<item key="org.eclipse.debug.ui.DIALOG_SASH_WEIGHTS_1" value="237"/>
|
||||||
|
<item key="org.eclipse.debug.ui.DIALOG_SASH_WEIGHTS_2" value="762"/>
|
||||||
|
<item key="org.eclipse.debug.ui.EXPANDED_NODES" value=", org.eclipse.pde.ui.RuntimeWorkbench, "/>
|
||||||
|
<item key="DIALOG_WIDTH" value="1324"/>
|
||||||
|
<item key="DIALOG_HEIGHT" value="702"/>
|
||||||
|
<item key="DIALOG_FONT_NAME" value="1|Ubuntu|11.0|0|GTK|1|"/>
|
||||||
|
</section>
|
||||||
|
</section>
|
||||||
|
|
@ -0,0 +1,23 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
||||||
|
<launchHistory>
|
||||||
|
<launchGroup id="org.eclipse.debug.ui.launchGroup.debug">
|
||||||
|
<mruHistory>
|
||||||
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="SimplePDLCreator"/> "/>
|
||||||
|
</mruHistory>
|
||||||
|
<favorites/>
|
||||||
|
</launchGroup>
|
||||||
|
<launchGroup id="org.eclipse.debug.ui.launchGroup.profile">
|
||||||
|
<mruHistory/>
|
||||||
|
<favorites/>
|
||||||
|
</launchGroup>
|
||||||
|
<launchGroup id="org.eclipse.ui.externaltools.launchGroup">
|
||||||
|
<mruHistory/>
|
||||||
|
<favorites/>
|
||||||
|
</launchGroup>
|
||||||
|
<launchGroup id="org.eclipse.debug.ui.launchGroup.run">
|
||||||
|
<mruHistory>
|
||||||
|
<launch memento="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <launchConfiguration local="true" path="SimplePDLCreator"/> "/>
|
||||||
|
</mruHistory>
|
||||||
|
<favorites/>
|
||||||
|
</launchGroup>
|
||||||
|
</launchHistory>
|
||||||
File diff suppressed because one or more lines are too long
|
|
@ -0,0 +1,5 @@
|
||||||
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
|
<section name="Workbench">
|
||||||
|
<item key="liveValidator" value="true"/>
|
||||||
|
<item key="showGenAnnotationsAction" value="false"/>
|
||||||
|
</section>
|
||||||
|
|
@ -3,9 +3,9 @@
|
||||||
<section name="org.eclipse.equinox.internal.p2.ui.dialogs.UpdateWizard.WizardSettings">
|
<section name="org.eclipse.equinox.internal.p2.ui.dialogs.UpdateWizard.WizardSettings">
|
||||||
<item key="DIALOG_X_ORIGIN" value="535"/>
|
<item key="DIALOG_X_ORIGIN" value="535"/>
|
||||||
<item key="DIALOG_Y_ORIGIN" value="262"/>
|
<item key="DIALOG_Y_ORIGIN" value="262"/>
|
||||||
<item key="DIALOG_WIDTH" value="856"/>
|
<item key="DIALOG_WIDTH" value="880"/>
|
||||||
<item key="DIALOG_HEIGHT" value="561"/>
|
<item key="DIALOG_HEIGHT" value="551"/>
|
||||||
<item key="DIALOG_FONT_NAME" value="1|Sans|10.0|0|GTK|1|"/>
|
<item key="DIALOG_FONT_NAME" value="1|Ubuntu|11.0|0|GTK|1|"/>
|
||||||
</section>
|
</section>
|
||||||
<section name="org.eclipse.equinox.internal.p2.ui.dialogs.UpdateWizard.SelectableIUsPage">
|
<section name="org.eclipse.equinox.internal.p2.ui.dialogs.UpdateWizard.SelectableIUsPage">
|
||||||
<item key="NameColumnWidth" value="420"/>
|
<item key="NameColumnWidth" value="420"/>
|
||||||
|
|
@ -17,7 +17,7 @@
|
||||||
<section name="org.eclipse.equinox.internal.p2.ui.dialogs.UpdateWizard.ResolutionResultsPage">
|
<section name="org.eclipse.equinox.internal.p2.ui.dialogs.UpdateWizard.ResolutionResultsPage">
|
||||||
<item key="NameColumnWidth" value="400"/>
|
<item key="NameColumnWidth" value="400"/>
|
||||||
<item key="VersionColumnWidth" value="200"/>
|
<item key="VersionColumnWidth" value="200"/>
|
||||||
<item key="IDColumnWidth" value="238"/>
|
<item key="IDColumnWidth" value="232"/>
|
||||||
<item key="ListSashWeight" value="800"/>
|
<item key="ListSashWeight" value="800"/>
|
||||||
<item key="DetailsSashWeight" value="200"/>
|
<item key="DetailsSashWeight" value="200"/>
|
||||||
</section>
|
</section>
|
||||||
|
|
@ -28,4 +28,36 @@
|
||||||
<item key="DIALOG_HEIGHT" value="523"/>
|
<item key="DIALOG_HEIGHT" value="523"/>
|
||||||
<item key="DIALOG_FONT_NAME" value="1|Ubuntu|11.0|0|GTK|1|"/>
|
<item key="DIALOG_FONT_NAME" value="1|Ubuntu|11.0|0|GTK|1|"/>
|
||||||
</section>
|
</section>
|
||||||
|
<section name="org.eclipse.equinox.internal.p2.ui.dialogs.InstallWizard.WizardSettings">
|
||||||
|
<item key="DIALOG_X_ORIGIN" value="523"/>
|
||||||
|
<item key="DIALOG_Y_ORIGIN" value="3"/>
|
||||||
|
<item key="DIALOG_WIDTH" value="880"/>
|
||||||
|
<item key="DIALOG_HEIGHT" value="766"/>
|
||||||
|
<item key="DIALOG_FONT_NAME" value="1|Ubuntu|11.0|0|GTK|1|"/>
|
||||||
|
</section>
|
||||||
|
<section name="AvailableIUsPage">
|
||||||
|
<item key="AvailableViewType" value="3"/>
|
||||||
|
<item key="ShowLatestVersionsOnly" value="true"/>
|
||||||
|
<item key="HideInstalledContent" value="true"/>
|
||||||
|
<item key="ResolveInstallWithAllSites" value="true"/>
|
||||||
|
<item key="FilterOnEnv" value="false"/>
|
||||||
|
<item key="AvailableNameColumnWidth" value="450"/>
|
||||||
|
<item key="AvailableVersionColumnWidth" value="308"/>
|
||||||
|
<item key="AvailableListSashWeight" value="800"/>
|
||||||
|
<item key="AvailableDetailsSashWeight" value="200"/>
|
||||||
|
</section>
|
||||||
|
<section name="org.eclipse.equinox.internal.p2.ui.dialogs.InstallWizard.SelectableIUsPage">
|
||||||
|
<item key="NameColumnWidth" value="360"/>
|
||||||
|
<item key="VersionColumnWidth" value="120"/>
|
||||||
|
<item key="IDColumnWidth" value="382"/>
|
||||||
|
<item key="ListSashWeight" value="800"/>
|
||||||
|
<item key="DetailsSashWeight" value="200"/>
|
||||||
|
</section>
|
||||||
|
<section name="org.eclipse.equinox.internal.p2.ui.dialogs.InstallWizard.ResolutionResultsPage">
|
||||||
|
<item key="NameColumnWidth" value="400"/>
|
||||||
|
<item key="VersionColumnWidth" value="200"/>
|
||||||
|
<item key="IDColumnWidth" value="262"/>
|
||||||
|
<item key="ListSashWeight" value="800"/>
|
||||||
|
<item key="DetailsSashWeight" value="200"/>
|
||||||
|
</section>
|
||||||
</section>
|
</section>
|
||||||
|
|
|
||||||
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
Some files were not shown because too many files have changed in this diff Show more
Loading…
Reference in a new issue