toLTL

eclipse-workspace/.metadata/.log

@@ -8670,3 +8670,83 @@ java.lang.InterruptedException
 	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-17 15:20:32.840 -----------------------------------------------
+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:  -os linux -ws gtk -arch x86_64 -product org.eclipse.epp.package.modeling.product
+
+!ENTRY org.eclipse.emf.cdo.explorer 4 0 2021-10-17 15:25:05.467
+!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-17 15:25:06.300 -----------------------------------------------
+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/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/ -os linux -ws gtk -arch x86_64 -product org.eclipse.epp.package.modeling.product
+
+!ENTRY org.eclipse.emf.cdo.explorer 4 0 2021-10-17 15:48:32.047
+!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)

eclipse-workspace/.metadata/.plugins/org.eclipse.core.resources/.history/ed/d01f10174e2f001c1a4087ba71658d2f

@@ -0,0 +1,10 @@
+[comment encoding = UTF-8 /]
+[module toLTL('http://simplepdl')]
+
+
+[template public processToLTL(aProcess : Process)]
+[comment @main/]
+[file (aProcess.name, false, 'UTF-8')]
+
+[/file]
+[/template]

eclipse-workspace/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs

@@ -1,5 +1,5 @@
 PROBLEMS_FILTERS_MIGRATE=true
 eclipse.preferences.version=1
-platformState=1631777710740
+platformState=1631777710750
 quickStart=false
 tipsAndTricks=true

eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.core/savedIndexNames.txt

@@ -9,24 +9,16 @@ INDEX VERSION 1.131+/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/.metada
 2835514616.index
 3006243032.index
 489623180.index
-1190385766.index
-1259215892.index
-243785569.index
 2376741536.index
 3145903242.index
 1394413366.index
 3591232502.index
-4270576026.index
-1969063402.index
-836787774.index
 2578726767.index
-1288722511.index
 3386340968.index
+4032919330.index
 764202902.index
-1744987098.index
 573847568.index
 997444292.index
-646308851.index
 3771331033.index
 2569137636.index
 3334587369.index
@@ -39,7 +31,6 @@ INDEX VERSION 1.131+/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/.metada
 2057578931.index
 4059096833.index
 2253254511.index
-701648383.index
 3148758245.index
 4164320705.index
 4196230627.index
@@ -50,13 +41,9 @@ INDEX VERSION 1.131+/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/.metada
 1158197951.index
 2677393814.index
 1139869676.index
-2944618107.index
 1027991553.index
-870911012.index
 2313130512.index
-3499872082.index
 3911324168.index
-69115327.index
 1803964228.index
 405568623.index
 2569761729.index
@@ -69,54 +56,36 @@ INDEX VERSION 1.131+/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/.metada
 971658537.index
 1610757853.index
 2315287759.index
-2133193807.index
 2320756977.index
-113784225.index
 3505152377.index
 76600631.index
-361289234.index
 3745962735.index
 62860848.index
 976850906.index
 4178112758.index
 1254821726.index
-3370953800.index
 686276266.index
-2479976885.index
 2672150609.index
 6020144.index
-3144173601.index
 3756796416.index
-3228602193.index
 3982670021.index
-1366149182.index
 2952376003.index
 815506655.index
-124733140.index
-1332398772.index
 638382064.index
-4244811416.index
 2582560612.index
 2469834123.index
 1404716352.index
 2682449071.index
-2684007147.index
 1370267799.index
 3870799393.index
 3358347301.index
 59924782.index
-649822626.index
+1498530956.index
 363003284.index
 264048023.index
 2036772525.index
-1638374812.index
-3761123150.index
 2423942917.index
 3245577179.index
-687162898.index
 3977823992.index
-1001394679.index
 4292845681.index
-594756272.index
 3144547538.index
-830761727.index

eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.cache/clean-cache.properties

@@ -1,2 +1,2 @@
 #Cached timestamps
-#Sun Oct 17 13:19:40 CEST 2021
+#Sun Oct 17 15:48:31 CEST 2021

eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.7

@@ -1,5 +1,5 @@
 #safe table
-#Sun Oct 17 13:19:41 CEST 2021
+#Sun Oct 17 15:48:31 CEST 2021
 .orphans=0
 .mainData=0
 .contributors=0
@@ -7,4 +7,4 @@
 .extraData=0
 .contributions=0
 .table=0
-.crc38388d2d.v1
+.crc66c66e2b.v1

eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/.extensions/.manager/.fileTable.8

@@ -1,5 +1,5 @@
 #safe table
-#Sun Oct 17 13:19:41 CEST 2021
+#Sun Oct 17 15:48:32 CEST 2021
 .orphans=1
 .mainData=1
 .contributors=1
@@ -7,4 +7,4 @@
 .extraData=1
 .contributions=1
 .table=1
-.crcf74ab716.v1
+.crcbc771527.v1

eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/config.ini

@@ -1,5 +1,5 @@
 #Configuration File
-#Sun Oct 17 13:13:56 CEST 2021
+#Sun Oct 17 15:29:34 CEST 2021
 eclipse.product=org.eclipse.platform.ide
 osgi.splashPath=file\:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/plugins/org.eclipse.platform_4.17.0.v20200902-1800
 osgi.install.area=file\:/mnt/n7fs/ens/tp_cregut/eclipse-gls-2020-09/

eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/dev.properties

@@ -1,5 +1,5 @@
 #
-#Sun Oct 17 13:13:56 CEST 2021
+#Sun Oct 17 15:29:34 CEST 2021
 fr.n7.simplepdl.edit=bin
 fr.n7.simplepdl.txt.pdl.ide=bin
 fr.n7.simplepdl.toDOT=bin
@@ -8,6 +8,7 @@ fr.n7.simplepdl.txt.pdl.ui=bin
 fr.n7.simplepdl.toHTML.ui=bin
 fr.n7.simplepdl.txt.pdl.tests=test-bin
 fr.n7.simplepdl.tests=bin
+fr.n7.simplepdl.toLTL.ui=bin
 fr.n7.petrinet.toTINA.ui=bin
 fr.n7.simplepdl.txt.pdl=bin
 fr.n7.petrinet.toTINA=bin
@@ -19,4 +20,5 @@ fr.n7.petrinet.tests=bin
 fr.n7.simplepdl.toDOT.ui=bin
 fr.n7.simplepdl.toHTML=bin
 fr.n7.petrinet.editor=bin
+fr.n7.simplepdl.toLTL=bin
 fr.n7.simplepdl.editor=bin

eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.manager/.fileTable.7

@@ -1,5 +1,5 @@
 #safe table
-#Sun Oct 17 13:19:00 CEST 2021
+#Sun Oct 17 15:48:19 CEST 2021
 .orphans=0
 .mainData=0
 .contributors=0
@@ -7,4 +7,4 @@
 .extraData=0
 .contributions=0
 .table=0
-.crcf8b8c156.v1
+.crc652f2f08.v1

eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.core.runtime/.manager/.fileTable.8

@@ -1,5 +1,5 @@
 #safe table
-#Sun Oct 17 13:19:00 CEST 2021
+#Sun Oct 17 15:48:19 CEST 2021
 .orphans=1
 .mainData=1
 .contributors=1
@@ -7,4 +7,4 @@
 .extraData=1
 .contributions=1
 .table=1
-.crc37cafb6d.v1
+.crcaa5d1533.v1

eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.equinox.simpleconfigurator/bundles.info

@@ -21,6 +21,8 @@ fr.n7.simplepdl.toDOT,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/ec
 fr.n7.simplepdl.toDOT.ui,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.toDOT.ui/,4,false
 fr.n7.simplepdl.toHTML,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.toHTML/,4,false
 fr.n7.simplepdl.toHTML.ui,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.toHTML.ui/,4,false
+fr.n7.simplepdl.toLTL,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.toLTL/,4,false
+fr.n7.simplepdl.toLTL.ui,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.toLTL.ui/,4,false
 fr.n7.simplepdl.txt.pdl,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.txt.pdl/,4,false
 fr.n7.simplepdl.txt.pdl.ide,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.txt.pdl.ide/,4,false
 fr.n7.simplepdl.txt.pdl.tests,1.0.0.qualifier,file:/home/dguillot/2A/IDM/miniproj_idm/eclipse-workspace/fr.n7.simplepdl.txt.pdl.tests/,4,false

eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/.manager/.fileTable.1

@@ -0,0 +1,4 @@
+#safe table
+#Sun Oct 17 15:30:05 CEST 2021
+framework.info=0
+.crc5c8a5c38.v1

eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/.manager/.fileTable.2

@@ -1,4 +1,4 @@
 #safe table
-#Sun Oct 17 13:14:26 CEST 2021
+#Sun Oct 17 15:30:05 CEST 2021
 framework.info=1
-.crc48e081ba.v1
+.crc45916d79.v1

eclipse-workspace/.metadata/.plugins/org.eclipse.pde.core/Launch Runtime Eclipse Principal/org.eclipse.osgi/.manager/.fileTable.3

@@ -1,4 +0,0 @@
-#safe table
-#Sun Oct 17 13:14:57 CEST 2021
-framework.info=2
-.crcb5e8a265.v1