From 48991419c2c4800ae949455a838208c048cb65ad Mon Sep 17 00:00:00 2001
From: dblouin <dominique.blouin@telecom-paristech.fr>
Date: Thu, 22 Jun 2017 11:15:04 +0200
Subject: [PATCH] Changes for development with Eclipse following
restructuration of repository
---
libs/.project | 11 +++
src/.classpath | 14 ++++
src/.gitignore | 1 +
src/{main/java => }/.project | 0
src/main/java/.classpath | 14 ----
.../java/launch_configurations/TTool.launch | 14 ----
ttool/.classpath | 8 ++
ttool/.gitignore | 1 +
ttool/.project | 17 +++++
ttool/launch_configurations/TTool.launch | 19 +++++
ttool/launch_configurations/config.xml | 76 +++++++++++++++++++
11 files changed, 147 insertions(+), 28 deletions(-)
create mode 100644 libs/.project
create mode 100644 src/.classpath
create mode 100644 src/.gitignore
rename src/{main/java => }/.project (100%)
delete mode 100644 src/main/java/.classpath
delete mode 100644 src/main/java/launch_configurations/TTool.launch
create mode 100644 ttool/.classpath
create mode 100644 ttool/.project
create mode 100644 ttool/launch_configurations/TTool.launch
create mode 100755 ttool/launch_configurations/config.xml
diff --git a/libs/.project b/libs/.project
new file mode 100644
index 0000000000..0eb0406855
--- /dev/null
+++ b/libs/.project
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+ <name>libs</name>
+ <comment></comment>
+ <projects>
+ </projects>
+ <buildSpec>
+ </buildSpec>
+ <natures>
+ </natures>
+</projectDescription>
diff --git a/src/.classpath b/src/.classpath
new file mode 100644
index 0000000000..89343860d6
--- /dev/null
+++ b/src/.classpath
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+ <classpathentry kind="src" path="main/java"/>
+ <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+ <classpathentry kind="lib" path="/libs/commons-codec-1.10.jar"/>
+ <classpathentry kind="lib" path="/libs/commons-io-2.4.jar"/>
+ <classpathentry kind="lib" path="/libs/derby.jar"/>
+ <classpathentry kind="lib" path="/libs/derbynet.jar"/>
+ <classpathentry kind="lib" path="/libs/JavaPlot.jar"/>
+ <classpathentry kind="lib" path="/libs/jsoup-1.8.1.jar"/>
+ <classpathentry kind="lib" path="/libs/opencloud.jar"/>
+ <classpathentry kind="lib" path="/libs/gs-core-1.3.jar"/>
+ <classpathentry kind="output" path="bin"/>
+</classpath>
diff --git a/src/.gitignore b/src/.gitignore
new file mode 100644
index 0000000000..ae3c172604
--- /dev/null
+++ b/src/.gitignore
@@ -0,0 +1 @@
+/bin/
diff --git a/src/main/java/.project b/src/.project
similarity index 100%
rename from src/main/java/.project
rename to src/.project
diff --git a/src/main/java/.classpath b/src/main/java/.classpath
deleted file mode 100644
index 53d3348b0a..0000000000
--- a/src/main/java/.classpath
+++ /dev/null
@@ -1,14 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<classpath>
- <classpathentry excluding="tmltranslator/modelcompiler/PECUnit.java|launch_configurations/" kind="src" path=""/>
- <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
- <classpathentry kind="lib" path="/bin/commons-codec-1.10.jar"/>
- <classpathentry kind="lib" path="/bin/commons-io-2.4.jar"/>
- <classpathentry kind="lib" path="/bin/derby.jar"/>
- <classpathentry kind="lib" path="/bin/derbynet.jar"/>
- <classpathentry kind="lib" path="/bin/JavaPlot.jar"/>
- <classpathentry kind="lib" path="/bin/jsoup-1.8.1.jar"/>
- <classpathentry kind="lib" path="/bin/opencloud.jar"/>
- <classpathentry kind="lib" path="/bin/gs-core-1.3.jar"/>
- <classpathentry kind="output" path="bin"/>
-</classpath>
diff --git a/src/main/java/launch_configurations/TTool.launch b/src/main/java/launch_configurations/TTool.launch
deleted file mode 100644
index de57c03b9f..0000000000
--- a/src/main/java/launch_configurations/TTool.launch
+++ /dev/null
@@ -1,14 +0,0 @@
-<?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="/src/Main.java"/>
-</listAttribute>
-<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
-<listEntry value="1"/>
-</listAttribute>
-<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
-<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="Main"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-debug"/>
-<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="src"/>
-<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:bin}"/>
-</launchConfiguration>
diff --git a/ttool/.classpath b/ttool/.classpath
new file mode 100644
index 0000000000..42954ca58c
--- /dev/null
+++ b/ttool/.classpath
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+ <classpathentry kind="src" path="src/main/java"/>
+ <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
+ <classpathentry combineaccessrules="false" kind="src" path="/src"/>
+ <classpathentry kind="lib" path="/libs/junit-4.12.jar"/>
+ <classpathentry kind="output" path="bin"/>
+</classpath>
diff --git a/ttool/.gitignore b/ttool/.gitignore
index 796b96d1c4..76adc9d8ab 100644
--- a/ttool/.gitignore
+++ b/ttool/.gitignore
@@ -1 +1,2 @@
/build
+/bin/
diff --git a/ttool/.project b/ttool/.project
new file mode 100644
index 0000000000..5475120108
--- /dev/null
+++ b/ttool/.project
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+ <name>ttool</name>
+ <comment></comment>
+ <projects>
+ </projects>
+ <buildSpec>
+ <buildCommand>
+ <name>org.eclipse.jdt.core.javabuilder</name>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ </buildSpec>
+ <natures>
+ <nature>org.eclipse.jdt.core.javanature</nature>
+ </natures>
+</projectDescription>
diff --git a/ttool/launch_configurations/TTool.launch b/ttool/launch_configurations/TTool.launch
new file mode 100644
index 0000000000..5f9a19dffb
--- /dev/null
+++ b/ttool/launch_configurations/TTool.launch
@@ -0,0 +1,19 @@
+<?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="/ttool/src/main/java/Main.java"/>
+</listAttribute>
+<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
+<listEntry value="1"/>
+</listAttribute>
+<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
+<listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
+<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry containerPath="org.eclipse.jdt.launching.JRE_CONTAINER" javaProject="ttool" path="1" type="4"/> "/>
+<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry id="org.eclipse.jdt.launching.classpathentry.defaultClasspath"> <memento exportedEntriesOnly="false" project="ttool"/> </runtimeClasspathEntry> "/>
+<listEntry value="<?xml version="1.0" encoding="UTF-8" standalone="no"?> <runtimeClasspathEntry internalArchive="/src/main/resources" path="3" type="2"/> "/>
+</listAttribute>
+<booleanAttribute key="org.eclipse.jdt.launching.DEFAULT_CLASSPATH" value="false"/>
+<stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="Main"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-debug -config ./launch_configurations/config.xml"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="ttool"/>
+</launchConfiguration>
diff --git a/ttool/launch_configurations/config.xml b/ttool/launch_configurations/config.xml
new file mode 100755
index 0000000000..7e0b80524f
--- /dev/null
+++ b/ttool/launch_configurations/config.xml
@@ -0,0 +1,76 @@
+<?xml version="1.0" encoding="ISO-8859-1" ?>
+
+<TURTLECONFIGURATION>
+<RTLHost data="localhost" />
+<RTLPath data="/packages/RT-LOTOS.0.12/bin/rtl" />
+<DTA2DOTPath data="/packages/RT-LOTOS.0.12/bin/dta2dot" />
+<RG2TLSAPath data="/packages/RT-LOTOS.0.12/bin/rg2tlsa" />
+<RGSTRAPPath data="/packages/RT-LOTOS.0.12/bin/rgstrap" />
+<DOTTYPath data="/opt/csw/bin/dotty" />
+<DOTTYHost data="localhost" />
+<AldebaranHost data="localhost" />
+<AldebaranPath data="/packages/cadp/com/aldebaran" />
+<BcgioPath data="/packages/cadp/bin.iX86/bcg_io" />
+<BcgminPath data="/packages/cadp/bin.iX86/bcg_min" />
+<BisimulatorPath data="/packages/cadp/com/bcg_open" />
+<BcgmergePath data="/packages/cadp/com/bcg_merge" />
+<CaesarPath data="/packages/cadp/bin.iX86/caesar" />
+<CaesarOpenPath data="/packages/cadp/com/caesar.open" />
+<FILEPath data="../modeling" />
+<LIBPath data="../lib" />
+<IMGPath data="../figures" />
+<LOTOSPath data="../lotos" />
+<GGraphPath data="../graphs" />
+<TGraphPath data="../graphs" />
+<TToolUpdateURL data="" data1="http://labsoc.comelec.enst.fr/turtle/ttoolversion.html" />
+<TToolUpdateProxy data="false" />
+<TToolUpdateProxyPort data="8080" />
+<TToolUpdateProxyHost data="To Be Completed" />
+<JavaCodeDirectory data="../javacode" />
+<JavaCompilerPath data="/usr/bin/javac" />
+<TToolClassPath data="../javacode" />
+<JavaExecutePath data="/usr/bin/java" />
+<JavaHeader data="import java.sql.*;" />
+<SystemCCodeDirectory data="../simulators/c++2/" />
+<SystemCHost data="localhost"/>
+<SystemCCodeCompileCommand data="make -C ../simulators/c++2/" />
+<SystemCCodeExecuteCommand data="../simulators/c++2/run.x -ovcd ../simulators/c++2/vcddump.vcd" />
+<SystemCCodeInteractiveExecuteCommand data="../simulators/c++2/run.x -server" />
+<TMLCodeDirectory data="../simulators/c++2/tmlcode" />
+<CcodeDirectory data="../simulators/c++2/Ccode" />
+<GTKWavePath data="/opt/local/bin/gtkwave" />
+<VCDPath data="../simulators/c++2/" />
+<UPPAALCodeDirectory data="../uppaal/" />
+<UPPAALVerifierPath data="/packages/uppaal-4.0.11/verifyta" />
+<UPPAALVerifierHost data="localhost" />
+<ProVerifCodeDirectory data="../proverif/" />
+<ProVerifVerifierPath data="/packages/proverif/proverif" />
+<ProVerifVerifierHost data="localhost" />
+<AVATARExecutableCodeDirectory data="../executablecode/" />
+<AVATARMPSoCCodeDirectory data="../MPSoC/" />
+<AVATARMPSoCCompileCommand data="make -C ../MPSoC updateruntime updategeneratedcode compilesoclib" />
+<AVATARExecutableCodeHost data="localhost"/>
+<AVATARExecutableCodeCompileCommand data="make -C ../executablecode" />
+<AVATARExecutableCodeExecuteCommand data="../executablecode/run.x" />
+<AVATARExecutableSoclibCodeCompileCommand data="make -C ../MPSoC updategeneratedcode compilesoclib" />
+<AVATARExecutableSoclibCodeExecuteCommand data="make -C ../MPSoC runsoclib" />
+<AVATARExecutableSoclibCodeTraceCommand data="make -C ../MPSoC runsoclib-trace" />
+<AVATARExecutableSoclibTraceFile data="../Prog/soclib/soclib/platform/topcells/caba-vgmn-mutekh_kernel_tutorial/trace" />
+
+
+<ExternalCommand1Host data="localhost"/>
+<ExternalCommand1 data="gtkwave ../simulators/c++2/vcddump.vcd"/>
+<ExternalCommand2Host data="localhost"/>
+<ExternalCommand2 data="/packages/uppaal(4.0.11/uppaal ../uppaal/spec.xml"/>
+
+<PLUGIN_JAVA_CODE_GENERATOR data="../plugins/CustomizerAvatarCodeGeneration.jar" />
+
+<LastOpenFile data="/home/dblouin/Projets/TTool/git/TTool/modeling/DIPLODOCUS/ZigBeeDEMO.xml"/>
+
+
+
+<LastWindowAttributes x="65" y="24" width="1855" height="992" max="true" />
+
+
+<ProVerifHash data=""/>
+</TURTLECONFIGURATION>
--
GitLab