Commit cd5c1978 authored by Ludovic Apvrille's avatar Ludovic Apvrille

Rejecting commit by Daniela

parent 830a05e2
......@@ -16,7 +16,7 @@ GZIP = gzip -9 -f
DEBUG = -g
CLASSPATH = -classpath
SOURCEPATH = -sourcepath
#PACKAGE = avatartranslator avatartranslator/toexecutable avatartranslator/directsimulation avatartranslator/tocppsim avatartranslator/touppaal avatartranslator/toturtle avatartranslator/toproverif avatartranslator/totpn automata compiler/tmlparser vcd nc ddtranslator launcher myutil tpndescription sddescription sdtranslator tepe translator tmltranslator tmltranslator/tmlcp tmltranslator/toautomata tmltranslator/tosystemc tmltranslator/tomappingsystemc tmltranslator/tomappingsystemc2 tmltranslator/tomappingsystemc3 tmltranslator/touppaal tmltranslator/toturtle translator/tojava translator/tosimujava translator/totpn translator/touppaal ui ui/avatarbd ui/avatardd ui/avatarsmd ui/avatarrd ui/avatarpd ui/avatarcd ui/avatarad ui/ad ui/cd ui/oscd ui/osad ui/dd ui/ebrdd ui/file ui/graph ui/iod ui/ncdd ui/procsd ui/prosmdui/prosmd/util ui/tmlad ui/tmlcd ui/tmldd ui/tmlcomp ui/req ui/sd ui/tree ui/ucd ui/window tmltranslator tmltranslator/toturtle req/ebrdd tmltranslator/tosystemc tmatrix proverifspec uppaaldesc fr/inria/oasis/vercors/cttool/model remotesimulation tmltranslator/ctranslator attacktrees myutil/externalSearch ddtranslatorSoclib ddtranslatorSoclib/toFile ddtranslatorSoclib/toTopCell ddtranslatorSoclib/toSoclib
#PACKAGE = avatartranslator avatartranslator/toexecutable avatartranslator/directsimulation avatartranslator/tocppsim avatartranslator/touppaal avatartranslator/toturtle avatartranslator/toproverif avatartranslator/totpn automata compiler/tmlparser vcd nc ddtranslator launcher myutil tpndescription sddescription sdtranslator tepe translator tmltranslator tmltranslator/tmlcp tmltranslator/toautomata tmltranslator/tosystemc tmltranslator/tomappingsystemc tmltranslator/tomappingsystemc2 tmltranslator/tomappingsystemc3 tmltranslator/touppaal tmltranslator/toturtle translator/tojava translator/tosimujava translator/totpn translator/touppaal ui ui/avatarbd ui/avatardd ui/avatarsmd ui/avatarrd ui/avatarpd ui/avatarcd ui/avatarad ui/ad ui/cd ui/oscd ui/osad ui/dd ui/ebrdd ui/file ui/graph ui/iod ui/ncdd ui/procsd ui/prosmdui/prosmd/util ui/tmlad ui/tmlcd ui/tmldd ui/tmlcomp ui/req ui/sd ui/tree ui/ucd ui/window tmltranslator tmltranslator/toturtle req/ebrdd tmltranslator/tosystemc tmatrix proverifspec uppaaldesc fr/inria/oasis/vercors/cttool/model remotesimulation tmltranslator/ctranslator attacktrees myutil/externalSearch
BUILDER = builder.jar
BUILD_INFO = build.txt
BUILD_TO_MODIFY = src/ui/DefaultText.java
......@@ -102,7 +102,7 @@ make svn produces the .class files and commit a new build
make basic generates the .class files
make documentation generates the documentation of java classes using javadoc
make release to prepare a new release for the website. It produces the release.tgz files in releases/
make test tests on TTool. Currently, on tests on ProVerif generation
make test tests on TTool. Currently, tests on AVATAR to ProVerif generation
make clean removes the .class .dot .dta .sim .lot .~ and clears the release and test directories
make publish_jar places ttool.jar in perso.telecom-paristech.fr/docs/ttool.jar. Must have the right ssh key installed for this
make ultraclean runs clean and then removes the jar files in bin/
......@@ -153,9 +153,8 @@ jar: launcher ttooljar tiftranslator tmltranslator rundse remotesimulator
ttooljar:
rm -f $(TTOOL_BIN)/$(TTOOL_BINARY)
cp $(TTOOL_SRC)/ui/images/$(STD_LOGO) $(TTOOL_SRC)/ui/images/$(LOGO)
cd $(TTOOL_SRC); $(JAR) cmf $(TTOOL_JAR_TXT) $(TTOOL_BIN)/$(TTOOL_BINARY) Main.class vcd/*.class avatartranslator/*.class avatartranslator/toexecutable/*.class avatartranslator/directsimulation/*.class avatartranslator/touppaal/*.class avatartranslator/toproverif/*.class avatartranslator/totpn/* avatartranslator/*.class avatartranslator/toturtle/*.java automata/*.class compiler/tmlparser/*.class nc/*.class tepe/*.class tmltranslator/*.class tmltranslator/tmlcp/*.class tmltranslator/toautomata/*.class tmatrix/*.class tmltranslator/toturtle/*.class tmltranslator/touppaal/*.class tmltranslator/tosystemc/*.class tmltranslator/tomappingsystemc/*.class tmltranslator/tomappingsystemc2/*.class tmltranslator/tomappingsystemc3/*.class tpndescription/*.class ddtranslator/*.class launcher/*.class myutil/*.class sddescription/*.class sdtranslator/*.class translator/*.class translator/tojava/*.class translator/tosimujava/*.class translator/touppaal/*.class translator/totpn/*.class req/ebrdd/*.java ui/*.class ui/*/*.class ui/*/*/*.class proverifspec/*.class uppaaldesc/*.class ui/images/*.* ui/images/toolbarButtonGraphics/general/*.gif ui/images/toolbarButtonGraphics/navigation/*.gif ui/images/toolbarButtonGraphics/media/*.gif $(TTOOL_BIN)/$(LAUNCHER_BINARY) RTLLauncher.class launcher/*.class fr/inria/oasis/vercors/cttool/model/*.class remotesimulation/*.class tmltranslator/ctranslator/*.class attacktrees/*.class myutil/externalSearch/*.class ddtranslatorSoclib/*.class ddtranslatorSoclib/toSoclib/*.class ddtranslatorSoclib/toTopCell/*.class #compiler/tmlCPparser/parser/*.class
#ddtranslatorSoclib/toFile/*.class
cd $(TTOOL_SRC); $(JAR) cmf $(TTOOL_JAR_TXT) $(TTOOL_BIN)/$(TTOOL_BINARY) Main.class vcd/*.class avatartranslator/*.class avatartranslator/toexecutable/*.class avatartranslator/directsimulation/*.class avatartranslator/touppaal/*.class avatartranslator/toproverif/*.class avatartranslator/totpn/* avatartranslator/*.class avatartranslator/toturtle/*.java automata/*.class compiler/tmlparser/*.class nc/*.class tepe/*.class tmltranslator/*.class tmltranslator/tmlcp/*.class tmltranslator/toautomata/*.class tmatrix/*.class tmltranslator/toturtle/*.class tmltranslator/touppaal/*.class tmltranslator/tosystemc/*.class tmltranslator/tomappingsystemc/*.class tmltranslator/tomappingsystemc2/*.class tmltranslator/tomappingsystemc3/*.class tpndescription/*.class ddtranslator/*.class launcher/*.class myutil/*.class sddescription/*.class sdtranslator/*.class translator/*.class translator/tojava/*.class translator/tosimujava/*.class translator/touppaal/*.class translator/totpn/*.class req/ebrdd/*.java ui/*.class ui/*/*.class ui/*/*/*.class proverifspec/*.class uppaaldesc/*.class ui/images/*.* ui/images/toolbarButtonGraphics/general/*.gif ui/images/toolbarButtonGraphics/navigation/*.gif ui/images/toolbarButtonGraphics/media/*.gif $(TTOOL_BIN)/$(LAUNCHER_BINARY) RTLLauncher.class launcher/*.class fr/inria/oasis/vercors/cttool/model/*.class remotesimulation/*.class tmltranslator/ctranslator/*.class attacktrees/*.class myutil/externalSearch/*.class #compiler/tmlCPparser/parser/*.class
launcher:
rm -f $(TTOOL_BIN)/$(LAUNCHER_BINARY)
cd $(TTOOL_SRC);$(JAR) cmf $(LAUNCHER_JAR_TXT) $(TTOOL_BIN)/$(LAUNCHER_BINARY) RTLLauncher.class launcher/*.class myutil/*.class
......
......@@ -6,71 +6,68 @@
<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" />
<!--DOTTYPath data="/usr/bin/dot" /-->
<DOTTYPath data="/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="/users/enseig/genius/TURTLE/modeling" />
<LIBPath data="/users/enseig/genius/TURTLE/lib" />
<IMGPath data="/users/enseig/genius/TURTLE/figure" />
<LOTOSPath data="/users/enseig/genius/TURTLE/lotos" />
<GGraphPath data="/users/enseig/genius/TURTLE/graphs" />
<TGraphPath data="/users/enseig/genius/TURTLE/graphs" />
<AldebaranPath data="/home/enrici/cadp/com/aldebaran" />
<BcgioPath data="/home/enrici/cadp/bin.iX86/bcg_io" />
<BcgminPath data="/home/enrici/cadp/bin.iX86/bcg_min" />
<BisimulatorPath data="/home/enrici/cadp/com/bcg_open" />
<BcgmergePath data="/home/enrici/cadp/com/bcg_merge" />
<CaesarPath data="/home/enrici/cadp/bin.iX86/caesar" />
<CaesarOpenPath data="/home/enrici/cadp/com/caesar.open" />
<FILEPath data="/home/enrici/TURTLE/modeling" />
<LIBPath data="/home/enrici/TURTLE/lib" />
<IMGPath data="/home/enrici/TURTLE/figure" />
<LOTOSPath data="/home/enrici/TURTLE/lotos" />
<GGraphPath data="/home/enrici/TURTLE/graphs" />
<TGraphPath data="/home/enrici/TURTLE/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="/users/enseig/genius/TURTLE/javacode" />
<JavaCodeDirectory data="/home/enrici/TURTLE/javacode" />
<JavaCompilerPath data="/usr/bin/javac" />
<TToolClassPath data="/users/enseig/genius/TURTLE/javacode" />
<TToolClassPath data="/home/enrici/TURTLE/javacode" />
<JavaExecutePath data="/usr/bin/java" />
<JavaHeader data="import java.sql.*;" />
<SystemCCodeDirectory data="/users/enseig/genius/TURTLE/simulators/c++2/" />
<SystemCCodeDirectory data="/home/enrici/TURTLE/simulators/c++2/" />
<SystemCHost data="localhost"/>
<SystemCCodeCompileCommand data="make -C /users/enseig/genius/TURTLE/simulators/c++2/" />
<SystemCCodeExecuteCommand data="/users/enseig/genius/TURTLE/simulators/c++2/run.x -ovcd /users/enseig/genius/TURTLE/simulators/c++2/vcddump.vcd" />
<SystemCCodeInteractiveExecuteCommand data="/users/enseig/genius/TURTLE/simulators/c++2/run.x -server" />
<TMLCodeDirectory data="/users/enseig/genius/TURTLE/tmlcode" />
<GTKWavePath data="/opt/local/bin/gtkwave" />
<VCDPath data="/users/enseig/genius/TURTLE/vcd/" />
<UPPAALCodeDirectory data="/users/enseig/genius/TURTLE/uppaal/" />
<UPPAALVerifierPath data="/packages/uppaal-4.0.11/verifyta" />
<SystemCCodeCompileCommand data="make -C /home/enrici/TURTLE/simulators/c++2/" />
<SystemCCodeExecuteCommand data="/home/enrici/TURTLE/simulators/c++2/run.x -ovcd /home/enrici/TURTLE/simulators/c++2/vcddump.vcd" />
<SystemCCodeInteractiveExecuteCommand data="/home/enrici/TURTLE/simulators/c++2/run.x -server" />
<TMLCodeDirectory data="/home/enrici/TURTLE/tmlcode" />
<CcodeDirectory data="/home/enrici/TURTLE/Ccode" />
<GTKWavePath data="/usr/bin/gtkwave" />
<VCDPath data="/home/enrici/TURTLE/vcd/" />
<UPPAALCodeDirectory data="/home/enrici/TURTLE/uppaal/" />
<UPPAALVerifierPath data="/home/enrici/TURTLE/uppaal/bin-Linux/verifyta" />
<UPPAALVerifierHost data="localhost" />
<ProVerifCodeDirectory data="/users/enseig/genius/TURTLE/proverif/" />
<ProVerifCodeDirectory data="/home/enrici/TURTLE/proverif/" />
<ProVerifVerifierPath data="/packages/proverif/proverif" />
<ProVerifVerifierHost data="localhost" />
<AVATARExecutableCodeDirectory data="/users/enseig/genius/TURTLE/executablecode/" />
<AVATARExecutableCodeDirectory data="/home/enrici/TURTLE/executablecode/" />
<AVATARExecutableCodeHost data="localhost"/>
<AVATARExecutableCodeCompileCommand data="make -C /users/enseig/genius/TURTLE/executablecode" />
<AVATARExecutableCodeExecuteCommand data="/users/enseig/genius/TURTLE/executablecode/run.x" />
<AVATARExecutableSoclibCodeCompileCommand data="make -C /users/enseig/genius/TURTLE/executablecode updategeneratedcode compilesoclib" />
<AVATARExecutableSoclibCodeExecuteCommand data="make -C /users/enseig/genius/TURTLE/executablecode runsoclib" />
<AVATARExecutableSoclibTraceFile data="/users/enseig/genius/Prog/soclib/soclib/platform/topcells/caba-vgmn-mutekh_kernel_tutorial/vcitty" />
<AVATARExecutableCodeCompileCommand data="make -C /home/enrici/TURTLE/executablecode" />
<AVATARExecutableCodeExecuteCommand data="/home/enrici/TURTLE/executablecode/run.x" />
<AVATARExecutableSoclibCodeCompileCommand data="make -C /home/enrici/TURTLE/executablecode updategeneratedcode compilesoclib" />
<AVATARExecutableSoclibCodeExecuteCommand data="make -C /home/enrici/TURTLE/executablecode runsoclib" />
<AVATARExecutableSoclibTraceFile data="/home/enrici/TURTLE/Prog/soclib/soclib/platform/topcells/caba-vgmn-mutekh_kernel_tutorial/vcitty" />
<ExternalCommand1Host data="localhost"/>
<ExternalCommand1 data="/opt/local/bin/gtkwave /users/enseig/genius/TURTLE/simulators/c++2/vcddump.vcd"/>
<ExternalCommand1 data="/usr/bin/gtkwave /home/enrici/TURTLE/simulators/c++2/vcddump.vcd"/>
<ExternalCommand2Host data="localhost"/>
<ExternalCommand2 data="/packages/uppaal(4.0.11/uppaal /users/enseig/genius/TURTLE/uppaal/spec.xml"/>
<ExternalCommand2 data="/packages/uppaal(4.0.11/uppaal /home/enrici/TURTLE/uppaal/spec.xml"/>
<LastOpenFile data="/users/enseig/genius/TURTLE/modeling/miniAsynchronousDeploy2.xml"/>
<LastOpenFile data="/home/trhuy/Downloads/SemesterFinalResult/StuxnetModel/stuxnet_6_12_split (1).xml"/>
<ExternalServer data="10.188.65.215:12345"/>
<LastWindowAttributes x="744" y="231" width="936" height="596" max="false" />
<LastWindowAttributes x="494" y="224" width="1219" height="597" max="false" />
<ProVerifHash data=""/>
</TURTLECONFIGURATION>
SOCLIB_CPU=ppc
MUTEKH_CPU=ppc
include generated_topcell/procinfo.mk
#SOCLIB_CPU=sparcv8
#MUTEKH_CPU=sparc
#SOCLIB_CPU_COUNT=1
PATH+=/opt/mutekh/bin
export PATH
updateruntime:
# cp ~/TTool/executablecode/src/*.c ~/Prog/mutekh/libavatar/
# cp ~/TTool/executablecode/src/*.h ~/Prog/mutekh/libavatar/include/
cp ~/TTool/executablecode/src_soclib/*.c ~/Prog/mutekh/libavatar/
cp ~/TTool/executablecode/src_soclib/*.h ~/Prog/mutekh/libavatar/include/
cp ~/TTool/executablecode/src_soclib/Makefile ~/Prog/mutekh/libavatar/
updategeneratedcode:
# cp ~/TTool/executablecode/generated_src/*.h ~/Prog/mutekh/examples/avatar
# cp ~/TTool/executablecode/generated_src/*.c ~/Prog/mutekh/examples/avatar
cp ~/TTool/executablecode/generated_src_soclib/*.h ~/Prog/mutekh/examples/avatar
cp ~/TTool/executablecode/generated_src_soclib/*.c ~/Prog/mutekh/examples/avatar
cp ~/TTool/executablecode/Makefile.soclib ~/Prog/mutekh/examples/avatar/Makefile
compilesoclib:
cp ~/TTool/executablecode/generated_topcell/top.cc ~/Prog/soclib/soclib/platform/topcells/caba-vgmn-mutekh_kernel_tutorial/
cp ~/TTool/executablecode/generated_topcell/deployinfo.h ~/Prog/mutekh/arch/soclib/
cp ~/TTool/executablecode/generated_topcell/deployinfo_map.h ~/Prog/mutekh/arch/soclib/
cat ~/TTool/executablecode/generated_topcell/config_noproc ~/TTool/executablecode/generated_topcell/nbproc > ~/TTool/executablecode/generated_topcell/config
cp ~/TTool/executablecode/generated_topcell/config ~/Prog/mutekh/examples/avatar/
cd ~/Prog/mutekh; make CONF=examples/avatar/config BUILD=soclib-$(MUTEKH_CPU):pf-tutorial
runsoclib:
echo "running soclib"
cd ~/Prog/soclib/soclib/platform/topcells/caba-vgmn-mutekh_kernel_tutorial; make; SOCLIB_GDB=S ./system.x $(SOCLIB_CPU):$(SOCLIB_CPU_COUNT) ~/Prog/mutekh/avatar-soclib-$(MUTEKH_CPU).out
allsoclib: updateruntime updategeneratedcode compilesoclib runsoclib
SOCLIB_CPU=ppc405
MUTEKH_CPU=ppc
SOCLIB_CPU_COUNT=5
#SOCLIB_CPU=sparcv8
#MUTEKH_CPU=sparc
#SOCLIB_CPU_COUNT=1
PATH+=/opt/mutekh/bin
export PATH
updateruntime:
cp ~/TTool/executablecode/src/*.c ~/Prog/mutekh/libavatar/
cp ~/TTool/executablecode/src/*.h ~/Prog/mutekh/libavatar/include/
updategeneratedcode:
cp ~/TTool/executableCode/generated_src/*.h ~/Prog/mutekh/examples/avatar
cp ~/TTool/executableCode/generated_src/*.c ~/Prog/mutekh/examples/avatar
cp ~/TTool/executableCode/Makefile.soclib ~/Prog/mutekh/examples/avatar/Makefile
compilesoclib:
cd ~/Prog/mutekh; make CONF=examples/avatar/config BUILD=soclib-$(MUTEKH_CPU):pf-tutorial
runsoclib:
echo "running soclib"
cd ~/Prog/soclib/soclib/platform/topcells/caba-vgmn-mutekh_kernel_tutorial; SOCLIB_GDB=S ./system.x $(SOCLIB_CPU):$(SOCLIB_CPU_COUNT) ~/Prog/mutekh/avatar-soclib-$(MUTEKH_CPU).out
allsoclib: updateruntime updategeneratedcode compilesoclib runsoclib
updateruntime_hw:
cp ~/TTool/executablecode/src_soclib/*.c ~/Prog/mutekh/libavatar/
cp ~/TTool/executablecode/src_soclib/include/*.h ~/Prog/mutekh/libavatar/include/
updategeneratedcode_hw:
#DG 31.10. prendre version du code appli pour soclib materiel
cp ~/TTool/executablecode/generated_src_soclib/*.h ~/Prog/mutekh/examples/avatar
#DG 31.10. prendre version du code appli pour soclib materiel
cp ~/TTool/executablecode/generated_src_soclib/*.c ~/Prog/mutekh/examples/avatar
cp ~/TTool/executableCode/Makefile.soclib ~/Prog/mutekh/examples/avatar/Makefile
compilesoclib_hw:
cd ~/Prog/mutekh; make CONF=examples/avatar/config BUILD=soclib-$(MUTEKH_CPU):pf-tutorial
#DG 31.10.2014 ici ajoute un make dans le repertoire de la plateforme materielle
runsoclib_hw:
echo "running soclib"
cd ~/Prog/soclib/soclib/platform/topcells/caba-vgmn-mutekh_kernel_tutorial; make; SOCLIB_GDB=S ./system.x $(SOCLIB_CPU):$(SOCLIB_CPU_COUNT) ~/Prog/mutekh/avatar-soclib-$(MUTEKH_CPU).out
allsoclib: updateruntime updategeneratedcode compilesoclib runsoclib
SRCS = generated_src/main.c generated_src/System.c generated_src/Bob.c generated_src/Alice.c
SRCS = generated_src/main.c generated_src/System.c generated_src/Bob.c generated_src/Alice.c
\ No newline at end of file
<?xml version="1.0" encoding="ISO-8859-1"?>
<TURTLEGMODELING version="0.93-beta3">
<TURTLEGMODELING version="0.98-beta1">
<Modeling type="Avatar Requirement" nameTab="AVATAR Requirements" >
<AvatarRDPanel name="AVATAR RD" minX="10" maxX="1900" minY="10" maxY="900" zoom="1.0" >
<COMPONENT type="5200" id="32" >
<cdparam x="661" y="17" />
<sizeparam width="278" height="120" minWidth="1" minHeight="30" maxWidth="1000" maxHeight="2000" minDesiredWidth="59" minDesiredHeight="0" />
<sizeparam width="278" height="120" minWidth="1" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="59" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1900" minY="10" maxY="900" />
<infoparam name="Requirement" value="req00" />
......@@ -58,7 +58,7 @@
<COMPONENT type="5200" id="64" >
<cdparam x="47" y="457" />
<sizeparam width="301" height="120" minWidth="1" minHeight="30" maxWidth="1000" maxHeight="2000" minDesiredWidth="113" minDesiredHeight="0" />
<sizeparam width="301" height="120" minWidth="1" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="113" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1900" minY="10" maxY="900" />
<infoparam name="Requirement" value="Req_Availability" />
......@@ -110,7 +110,7 @@
<COMPONENT type="5200" id="96" >
<cdparam x="10" y="182" />
<sizeparam width="150" height="120" minWidth="1" minHeight="30" maxWidth="1000" maxHeight="2000" minDesiredWidth="136" minDesiredHeight="0" />
<sizeparam width="150" height="120" minWidth="1" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="136" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1900" minY="10" maxY="900" />
<infoparam name="Requirement" value="Req_CoffeeMachine" />
......@@ -161,7 +161,7 @@
<COMPONENT type="5201" id="112" >
<cdparam x="627" y="376" />
<sizeparam width="171" height="30" minWidth="10" minHeight="30" maxWidth="1000" maxHeight="2000" minDesiredWidth="158" minDesiredHeight="0" />
<sizeparam width="171" height="30" minWidth="10" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="158" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1900" minY="10" maxY="900" />
<infoparam name="AvatarProperty" value="BeverageDeliverProperty" />
......@@ -184,7 +184,7 @@
<COMPONENT type="5201" id="128" >
<cdparam x="580" y="246" />
<sizeparam width="150" height="30" minWidth="10" minHeight="30" maxWidth="1000" maxHeight="2000" minDesiredWidth="128" minDesiredHeight="0" />
<sizeparam width="150" height="30" minWidth="10" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="128" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1900" minY="10" maxY="900" />
<infoparam name="AvatarProperty" value="WalletCoinProperty" />
......@@ -207,7 +207,7 @@
<COMPONENT type="5200" id="160" >
<cdparam x="234" y="147" />
<sizeparam width="271" height="104" minWidth="1" minHeight="30" maxWidth="1000" maxHeight="2000" minDesiredWidth="48" minDesiredHeight="0" />
<sizeparam width="271" height="104" minWidth="1" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="48" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1900" minY="10" maxY="900" />
<infoparam name="Requirement" value="req1" />
......@@ -259,7 +259,7 @@
<COMPONENT type="5201" id="176" >
<cdparam x="582" y="155" />
<sizeparam width="150" height="30" minWidth="10" minHeight="30" maxWidth="1000" maxHeight="2000" minDesiredWidth="117" minDesiredHeight="0" />
<sizeparam width="150" height="30" minWidth="10" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="117" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1900" minY="10" maxY="900" />
<infoparam name="AvatarProperty" value="OneCoinProperty" />
......@@ -282,7 +282,7 @@
<COMPONENT type="5200" id="208" >
<cdparam x="192" y="16" />
<sizeparam width="304" height="110" minWidth="1" minHeight="30" maxWidth="1000" maxHeight="2000" minDesiredWidth="48" minDesiredHeight="0" />
<sizeparam width="304" height="110" minWidth="1" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="48" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1900" minY="10" maxY="900" />
<infoparam name="Requirement" value="req0" />
......@@ -334,7 +334,7 @@
<COMPONENT type="5200" id="240" >
<cdparam x="206" y="294" />
<sizeparam width="357" height="135" minWidth="1" minHeight="30" maxWidth="1000" maxHeight="2000" minDesiredWidth="48" minDesiredHeight="0" />
<sizeparam width="357" height="135" minWidth="1" minHeight="30" maxWidth="2000" maxHeight="2000" minDesiredWidth="48" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1900" minY="10" maxY="900" />
<infoparam name="Requirement" value="req2" />
......@@ -487,7 +487,7 @@
</CONNECTOR><SUBCOMPONENT type="-1" id="259" >
<father id="264" num="0" />
<cdparam x="467" y="147" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" />
<infoparam name="point " value="null" />
......@@ -495,7 +495,7 @@
<SUBCOMPONENT type="-1" id="260" >
<father id="264" num="1" />
<cdparam x="467" y="192" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" />
<infoparam name="point " value="null" />
......@@ -506,7 +506,7 @@
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector from TGComponent to TGComponent" value="" />
<TGConnectingPoint num="0" id="265" />
<P1 x="313" y="261" id="296" />
<P1 x="313" y="261" id="309" />
<P2 x="361" y="261" id="284" />
<AutomaticDrawing data="true" />
</CONNECTOR>
......@@ -524,13 +524,13 @@
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector from TGComponent to TGComponent" value="" />
<TGConnectingPoint num="0" id="269" />
<P1 x="309" y="211" id="309" />
<P1 x="309" y="211" id="296" />
<P2 x="361" y="211" id="283" />
<AutomaticDrawing data="true" />
</CONNECTOR>
<COMPONENT type="5308" id="275" >
<cdparam x="446" y="334" />
<sizeparam width="112" height="55" minWidth="100" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="112" height="55" minWidth="100" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" />
<infoparam name="TGComponent" value="WalletCoinProperty" />
......@@ -546,7 +546,7 @@
<COMPONENT type="5308" id="280" >
<cdparam x="340" y="331" />
<sizeparam width="100" height="55" minWidth="100" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="100" height="55" minWidth="100" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" />
<infoparam name="TGComponent" value="oneCoinProperty" />
......@@ -562,7 +562,7 @@
<COMPONENT type="5302" id="293" >
<cdparam x="361" y="187" />
<sizeparam width="59" height="99" minWidth="50" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="59" height="99" minWidth="50" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" />
<infoparam name="TGComponent" value="&gt;50" />
......@@ -582,7 +582,7 @@
<COMPONENT type="5300" id="344" >
<cdparam x="150" y="142" />
<sizeparam width="168" height="154" minWidth="5" minHeight="2" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="168" height="154" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" />
<infoparam name="Block0" value="CoffeeMachine" />
......@@ -613,11 +613,11 @@
</COMPONENT>
<SUBCOMPONENT type="5304" id="306" >
<father id="344" num="0" />
<cdparam x="165" y="241" />
<sizeparam width="148" height="40" minWidth="100" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<cdparam x="170" y="191" />
<sizeparam width="139" height="40" minWidth="100" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="0" maxX="20" minY="0" maxY="114" />
<infoparam name="TGComponent" value="WaitingForFirstCoin_enter" />
<cdrectangleparam minX="0" maxX="29" minY="0" maxY="114" />
<infoparam name="TGComponent" value="WaitingForFirstCoin_exit" />
<TGConnectingPoint num="0" id="294" />
<TGConnectingPoint num="1" id="295" />
<TGConnectingPoint num="2" id="296" />
......@@ -633,11 +633,11 @@
</SUBCOMPONENT>
<SUBCOMPONENT type="5304" id="319" >
<father id="344" num="1" />
<cdparam x="170" y="191" />
<sizeparam width="139" height="40" minWidth="100" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<cdparam x="165" y="241" />
<sizeparam width="148" height="40" minWidth="100" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="0" maxX="29" minY="0" maxY="114" />
<infoparam name="TGComponent" value="WaitingForFirstCoin_exit" />
<cdrectangleparam minX="0" maxX="20" minY="0" maxY="114" />
<infoparam name="TGComponent" value="WaitingForFirstCoin_enter" />
<TGConnectingPoint num="0" id="307" />
<TGConnectingPoint num="1" id="308" />
<TGConnectingPoint num="2" id="309" />
......@@ -654,7 +654,7 @@
<COMPONENT type="5300" id="382" >
<cdparam x="459" y="61" />
<sizeparam width="150" height="116" minWidth="5" minHeight="2" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="150" height="116" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" />
<infoparam name="Block0" value="Wallet" />
......@@ -686,7 +686,7 @@
<SUBCOMPONENT type="5303" id="357" >
<father id="382" num="0" />
<cdparam x="492" y="102" />
<sizeparam width="100" height="49" minWidth="100" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="100" height="49" minWidth="100" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="0" maxX="50" minY="0" maxY="67" />
<infoparam name="TGComponent" value="nbOfCoins" />
......@@ -709,7 +709,7 @@
<COMPONENT type="5306" id="394" >
<cdparam x="467" y="209" />
<sizeparam width="100" height="49" minWidth="100" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="100" height="49" minWidth="100" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" />
<infoparam name="TGComponent" value="nbOfCoins &gt;= 0" />
......@@ -767,7 +767,7 @@
<TGConnectingPoint num="0" id="403" />
<TGConnectingPoint num="1" id="404" />
<TGConnectingPoint num="2" id="405" />
<P1 x="581" y="154" id="492" />
<P1 x="581" y="154" id="479" />
<P2 x="546" y="305" id="549" />
<Point x="518" y="154" />
<Point x="518" y="305" />
......@@ -775,7 +775,7 @@
</CONNECTOR><SUBCOMPONENT type="-1" id="401" >
<father id="406" num="0" />
<cdparam x="518" y="154" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" />
<infoparam name="point " value="null" />
......@@ -783,7 +783,7 @@
<SUBCOMPONENT type="-1" id="402" >
<father id="406" num="1" />
<cdparam x="518" y="305" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" />
<infoparam name="point " value="null" />
......@@ -795,14 +795,14 @@
<infoparam name="connector from TGComponent to TGComponent" value="" />
<TGConnectingPoint num="0" id="408" />
<TGConnectingPoint num="1" id="409" />
<P1 x="631" y="164" id="487" />
<P1 x="631" y="164" id="474" />
<P2 x="667" y="310" id="536" />
<Point x="631" y="310" />
<AutomaticDrawing data="true" />
</CONNECTOR><SUBCOMPONENT type="-1" id="407" >
<father id="410" num="0" />
<cdparam x="631" y="310" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" />
<infoparam name="point " value="null" />
......@@ -823,14 +823,14 @@
<infoparam name="connector from TGComponent to TGComponent" value="" />
<TGConnectingPoint num="0" id="414" />
<TGConnectingPoint num="1" id="415" />
<P1 x="721" y="158" id="472" />
<P1 x="721" y="158" id="485" />
<P2 x="700" y="204" id="526" />
<Point x="700" y="158" />
<AutomaticDrawing data="true" />
</CONNECTOR><SUBCOMPONENT type="-1" id="413" >
<father id="416" num="0" />
<cdparam x="700" y="158" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" />
<infoparam name="point " value="null" />
......@@ -865,7 +865,7 @@
</CONNECTOR>
<COMPONENT type="5308" id="427" >
<cdparam x="644" y="417" />
<sizeparam width="100" height="55" minWidth="100" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="100" height="55" minWidth="100" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" />
<infoparam name="TGComponent" value="prop01" />
......@@ -881,7 +881,7 @@
<COMPONENT type="5308" id="432" >
<cdparam x="562" y="562" />
<sizeparam width="146" height="54" minWidth="100" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="146" height="54" minWidth="100" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" />
<infoparam name="TGComponent" value="BeverageDeliverProperty" />
......@@ -897,7 +897,7 @@
<COMPONENT type="5300" id="470" >
<cdparam x="372" y="227" />
<sizeparam width="132" height="153" minWidth="5" minHeight="2" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="132" height="153" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" />
<infoparam name="Block0" value="CoffeeMachine" />
......@@ -929,7 +929,7 @@
<SUBCOMPONENT type="5304" id="445" >
<father id="470" num="0" />
<cdparam x="391" y="326" />
<sizeparam width="100" height="39" minWidth="100" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="100" height="39" minWidth="100" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="0" maxX="32" minY="0" maxY="114" />
<infoparam name="TGComponent" value="beverageReady" />
......@@ -949,7 +949,7 @@
<COMPONENT type="5300" id="521" >
<cdparam x="563" y="78" />
<sizeparam width="268" height="115" minWidth="5" minHeight="2" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="268" height="115" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" />
<infoparam name="Block0" value="Wallet" />
......@@ -978,13 +978,13 @@
<TGConnectingPoint num="22" id="519" />
<TGConnectingPoint num="23" id="520" />
</COMPONENT>
<SUBCOMPONENT type="5303" id="483" >
<SUBCOMPONENT type="5304" id="483" >
<father id="521" num="0" />
<cdparam x="721" y="133" />
<sizeparam width="100" height="50" minWidth="100" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<cdparam x="581" y="125" />
<sizeparam width="100" height="39" minWidth="100" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="0" maxX="168" minY="0" maxY="65" />
<infoparam name="TGComponent" value="nbOfCoins" />
<cdrectangleparam minX="0" maxX="168" minY="0" maxY="76" />
<infoparam name="TGComponent" value="Start" />
<TGConnectingPoint num="0" id="471" />
<TGConnectingPoint num="1" id="472" />
<TGConnectingPoint num="2" id="473" />
......@@ -997,17 +997,14 @@
<TGConnectingPoint num="9" id="480" />
<TGConnectingPoint num="10" id="481" />
<TGConnectingPoint num="11" id="482" />
<extraparam>
<Toggle value="" />
</extraparam>
</SUBCOMPONENT>
<SUBCOMPONENT type="5304" id="496" >
<SUBCOMPONENT type="5303" id="496" >
<father id="521" num="1" />
<cdparam x="581" y="125" />
<sizeparam width="100" height="39" minWidth="100" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<cdparam x="721" y="133" />
<sizeparam width="100" height="50" minWidth="100" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="0" maxX="168" minY="0" maxY="76" />
<infoparam name="TGComponent" value="Start" />
<cdrectangleparam minX="0" maxX="168" minY="0" maxY="65" />
<infoparam name="TGComponent" value="nbOfCoins" />
<TGConnectingPoint num="0" id="484" />
<TGConnectingPoint num="1" id="485" />
<TGConnectingPoint num="2" id="486" />
......@@ -1020,11 +1017,14 @@
<TGConnectingPoint num="9" id="493" />
<TGConnectingPoint num="10" id="494" />
<TGConnectingPoint num="11" id="495" />
<extraparam>
<Toggle value="" />
</extraparam>
</SUBCOMPONENT>
<COMPONENT type="5306" id="533" >
<cdparam x="675" y="204" />
<sizeparam width="100" height="50" minWidth="100" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="100" height="50" minWidth="100" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" />
<infoparam name="TGComponent" value="nbOfCoins &gt; 1" />
......@@ -1046,7 +1046,7 @@
<COMPONENT type="5302" id="546" >
<cdparam x="667" y="285" />
<sizeparam width="59" height="100" minWidth="50" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="59" height="100" minWidth="50" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" />
<infoparam name="TGComponent" value="=0" />
......@@ -1066,7 +1066,7 @@
<COMPONENT type="5301" id="567" >
<cdparam x="546" y="285" />
<sizeparam width="60" height="100" minWidth="50" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="60" height="100" minWidth="50" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" />
<infoparam name="TGComponent" value="&lt;&lt;LS&gt;&gt;" />
......@@ -1094,7 +1094,7 @@
<COMPONENT type="5309" id="580" >
<cdparam x="594" y="495" />
<sizeparam width="80" height="40" minWidth="75" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="80" height="40" minWidth="75" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" />
<infoparam name="TGComponent" value="&lt;=&gt;" />
......@@ -1114,7 +1114,7 @@
<COMPONENT type="5308" id="585" >
<cdparam x="527" y="416" />
<sizeparam width="100" height="55" minWidth="100" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="100" height="55" minWidth="100" minHeight="0" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="1400" />
<infoparam name="TGComponent" value="prop02" />
......@@ -1138,12 +1138,18 @@
<Modeling type="AVATAR Design" nameTab="AVATAR Design" >
<AVATARBlockDiagramPanel name="AVATAR Block Diagram" minX="10" maxX="1400" minY="10" maxY="900" >
<MainCode value="void __user_init() {"/>
<MainCode value="}"/>
<Optimized value="true" />
<Validated value="Wallet;CoffeeMachine;CoffeeButton;TeaButton;" />
<Ignored value="" />
<CONNECTOR type="5002" id="587" >
<cdparam x="321" y="567" />
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector from Block1 to Block0" value="" />
<TGConnectingPoint num="0" id="586" />
<P1 x="559" y="330" id="623" />
<P1 x="559" y="330" id="648" />
<P2 x="560" y="377" id="681" />
<AutomaticDrawing data="true" />
<extraparam>
......@@ -1173,7 +1179,7 @@
<sizeparam width="0" height="0" minWidth="0" minHeight="0" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<infoparam name="connector from Block1 to Block0" value="" />
<TGConnectingPoint num="0" id="590" />
<P1 x="789" y="326" id="648" />
<P1 x="789" y="326" id="623" />
<P2 x="790" y="377" id="682" />
<AutomaticDrawing data="true" />
<extraparam>
......@@ -1184,7 +1190,7 @@
</CONNECTOR>
<COMPONENT type="5000" id="616" >
<cdparam x="106" y="55" />
<sizeparam width="200" height="218" minWidth="5" minHeight="2" maxWidth="1000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<sizeparam width="200" height="218" minWidth="5" minHeight="2" maxWidth="2000" maxHeight="2000" minDesiredWidth="0" minDesiredHeight="0" />
<hidden value="false" />
<cdrectangleparam minX="10" maxX="1400" minY="10" maxY="900" />
<infoparam name="Block0" value="Wallet" />
......@@ -1213,6 +1219,7 @@
<TGConnectingPoint num="22" id="614" />
<TGConnectingPoint num="23" id="615" />