Skip to content
Snippets Groups Projects
Commit 48991419 authored by Dominique Blouin's avatar Dominique Blouin
Browse files

Changes for development with Eclipse following restructuration of 

repository
parent 5b5cecb5
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 147 additions and 14 deletions
libs/.project 0 → 100644
+ 11
− 0
View file @ 48991419
<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
<name>libs</name>
<comment></comment>
<projects>
</projects>
<buildSpec>
</buildSpec>
<natures>
</natures>
</projectDescription>
src/.classpath 0 → 100644
+ 14
− 0
View file @ 48991419
<?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>
src/.gitignore 0 → 100644
+ 1
− 0
View file @ 48991419
/bin/
src/main/java/.project → src/.project
+ 0
− 0
View file @ 48991419
File moved
src/main/java/.classpath deleted 100644 → 0
+ 0
− 14
View file @ 5b5cecb5
<?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>
ttool/.classpath 0 → 100644
+ 8
− 0
View file @ 48991419
<?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>
ttool/.gitignore
+ 1
− 0
View file @ 48991419
/build /build
/bin/
ttool/.project 0 → 100644
+ 17
− 0
View file @ 48991419
<?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>
src/main/java/launch_configurations/TTool.launch → ttool/launch_configurations/TTool.launch
+ 19
− 0
View file @ 48991419
<?xml version="1.0" encoding="UTF-8" standalone="no"?> <?xml version="1.0" encoding="UTF-8" standalone="no"?>
<launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication"> <launchConfiguration type="org.eclipse.jdt.launching.localJavaApplication">
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS"> <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_PATHS">
<listEntry value="/src/Main.java"/> <listEntry value="/ttool/src/main/java/Main.java"/>
</listAttribute> </listAttribute>
<listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES"> <listAttribute key="org.eclipse.debug.core.MAPPED_RESOURCE_TYPES">
<listEntry value="1"/> <listEntry value="1"/>
</listAttribute> </listAttribute>
<booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/> <booleanAttribute key="org.eclipse.jdt.launching.ATTR_USE_START_ON_FIRST_THREAD" value="true"/>
<listAttribute key="org.eclipse.jdt.launching.CLASSPATH">
<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry containerPath=&quot;org.eclipse.jdt.launching.JRE_CONTAINER&quot; javaProject=&quot;ttool&quot; path=&quot;1&quot; type=&quot;4&quot;/&gt;&#10;"/>
<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry id=&quot;org.eclipse.jdt.launching.classpathentry.defaultClasspath&quot;&gt;&#10;&lt;memento exportedEntriesOnly=&quot;false&quot; project=&quot;ttool&quot;/&gt;&#10;&lt;/runtimeClasspathEntry&gt;&#10;"/>
<listEntry value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot; standalone=&quot;no&quot;?&gt;&#10;&lt;runtimeClasspathEntry internalArchive=&quot;/src/main/resources&quot; path=&quot;3&quot; type=&quot;2&quot;/&gt;&#10;"/>
</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.MAIN_TYPE" value="Main"/>
<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-debug"/> <stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="-debug -config ./launch_configurations/config.xml"/>
<stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="src"/> <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="ttool"/>
<stringAttribute key="org.eclipse.jdt.launching.WORKING_DIRECTORY" value="${workspace_loc:bin}"/>
</launchConfiguration> </launchConfiguration>
ttool/launch_configurations/config.xml 0 → 100755
+ 76
− 0
View file @ 48991419
<?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>
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment