Check Blockly

blockly.xml

<xml xmlns="https://developers.google.com/blockly/xml"><block type="BaseContractType" id="root_contract" deletable="false" x="13" y="187"><statement name="BaseContractType"><block type="WhenContractType" id="2Vyo!/1A*onBm@4__HV5"><field name="timeout">10</field><statement name="case"><block type="DepositActionType" id="_J5mua{UXj,WM6GUz;$_"><value name="from_party"><block type="RolePartyType" id="}#+4/lxE}U.mk=_n-3r/"><field name="role">alice</field></block></value><value name="value"><block type="ConstantValueType" id="{wn3:O+(:LBr98m~_a85"><field name="constant">350</field></block></value><value name="token"><block type="AdaTokenType" id="=eMx7YSJ8(znSxjcqJ-Z"/></value><value name="party"><block type="RolePartyType" id="jj$GMl/u)#+|,aYf@/qA"><field name="role">alice</field></block></value><statement name="contract"><block type="WhenContractType" id="b8sgwoSNX@uE{HlN9eMe"><field name="timeout">40</field><statement name="case"><block type="ChoiceActionType" id="*@@p^dT[fQ8%0T)#-bRL"><field name="choice_name">choice</field><value name="party"><block type="RolePartyType" id="Z4aezW!FCK{_OM5nvReQ"><field name="role">alice</field></block></value><statement name="bounds"><block type="BoundsType" id="Dbhk_^ccEmL3)[dTEj*g"><field name="from">0</field><field name="to">1</field></block></statement><statement name="contract"><block type="WhenContractType" id=";6C59@)Cca-ekIrQ=,eo"><field name="timeout">60</field><statement name="case"><block type="ChoiceActionType" id="4[l4E-#^EIHE9p!21{LC"><field name="choice_name">choice</field><value name="party"><block type="RolePartyType" id="U~.Woo;YDy1Vv#ngiuqN"><field name="role">bob</field></block></value><statement name="bounds"><block type="BoundsType" id="?9sVgxnFTQh5;KJ%],N!"><field name="from">0</field><field name="to">1</field></block></statement><statement name="contract"><block type="IfContractType" id="gze/E.bcPhTy3(v!hLd="><value name="observation"><block type="ValueEQObservationType" id="?Y18Pj=!3$V(p6rTo;)Y"><value name="value1"><block type="ChoiceValueValueType" id="}GB)/_J6$Zf:cFptE_IK"><field name="choice_name">choice</field><value name="party"><block type="RolePartyType" id="WS(!`tZi1!RG2b//{/u/"><field name="role">alice</field></block></value></block></value><value name="value2"><block type="ChoiceValueValueType" id="^w7CLBDeln81)#Yg{lRD"><field name="choice_name">choice</field><value name="party"><block type="RolePartyType" id="~RG3-RS@5aem/~g~@PSj"><field name="role">bob</field></block></value></block></value></block></value><statement name="contract1"><block type="IfContractType" id="u/tM`I+di+(J%kuIY{:~"><value name="observation"><block type="ValueEQObservationType" id="a(D#(9FQ9=[7nX0u~(}]"><value name="value1"><block type="ChoiceValueValueType" id="#A6Kp8Zm?bN7g*A3_09o"><field name="choice_name">choice</field><value name="party"><block type="RolePartyType" id="z[IqQXskc(bcJIb|tpjk"><field name="role">alice</field></block></value></block></value><value name="value2"><block type="ConstantValueType" id="/h~6e76-V181T^PhvV0w"><field name="constant">0</field></block></value></block></value><statement name="contract1"><block type="PayContractType" id="9%D@AXyopSulbcia_3e}"><value name="payee"><block type="PartyPayeeType" id="eBV-Vf%V}0?1jmlL^6QB"><value name="party"><block type="RolePartyType" id="[S3Iz@~goBaf$#x(6{HD"><field name="role">bob</field></block></value></block></value><value name="value"><block type="ConstantValueType" id="Nl!P4|x=/(,g_$E-PCpY"><field name="constant">450</field></block></value><value name="token"><block type="AdaTokenType" id="6@g#6;Hlqw[VqgZtWSx^"/></value><value name="party"><block type="RolePartyType" id="v9f(F(%FZxH5hooc:oD}"><field name="role">alice</field></block></value><statement name="contract"><block type="CloseContractType" id=",e=%W8qfKj5o8`g_GPT8"/></statement></block></statement><statement name="contract2"><block type="CloseContractType" id="Z~H)a;np,zui0,:a}#qI"/></statement></block></statement><statement name="contract2"><block type="WhenContractType" id="h=/393Fk?6?U8PuSdii?"><field name="timeout">100</field><statement name="case"><block type="ChoiceActionType" id="Vh0T?Iv@=wI_Wv(1QP4V"><field name="choice_name">choice</field><value name="party"><block type="RolePartyType" id="Z*?cZq1DF$MiY97yaUOW"><field name="role">carol</field></block></value><statement name="bounds"><block type="BoundsType" id="|JaBzeIu/!qJH(!%;hZo"><field name="from">1</field><field name="to">1</field></block></statement><statement name="contract"><block type="CloseContractType" id="9JUK}5|_L_|E.3drhm^f"/></statement><next><block type="ChoiceActionType" id="De51kjFNITfx.UXenu.`"><field name="choice_name">choice</field><value name="party"><block type="RolePartyType" id="xbJk6FnOfRfEwI@*NCwc"><field name="role">carol</field></block></value><statement name="bounds"><block type="BoundsType" id="PqJvV^IiL`WlM$!}k1pe"><field name="from">0</field><field name="to">0</field></block></statement><statement name="contract"><block type="PayContractType" id="Mq%]_m@!?Y}X3JpYjqBT"><value name="payee"><block type="PartyPayeeType" id="cn5zblqPH9/1SRDC3O,!"><value name="party"><block type="RolePartyType" id="_,^KDpYj{`$vnU=Lw2CW"><field name="role">bob</field></block></value></block></value><value name="value"><block type="ConstantValueType" id="^GjE]_sAYgb9-]84+XXq"><field name="constant">450</field></block></value><value name="token"><block type="AdaTokenType" id="3Q^)+YxdpE_dV7TD-yO2"/></value><value name="party"><block type="RolePartyType" id="Hq%b$Qt{N]YqgpOJN6O,"><field name="role">alice</field></block></value><statement name="contract"><block type="CloseContractType" id="RghtKvD?(N+F|R3%hg$|"/></statement></block></statement></block></next></block></statement><statement name="contract"><block type="CloseContractType" id="IWo}RQt,)$5{fuX%G+D8"/></statement></block></statement></block></statement></block></statement><statement name="contract"><block type="WhenContractType" id="+xz=T=BTD,}z(~`da$kS"><field name="timeout">100</field><statement name="case"><block type="ChoiceActionType" id="`GyEUL8.ZLOm{k(}yrX1"><field name="choice_name">choice</field><value name="party"><block type="RolePartyType" id="gST0YCoLod+ZgXVK{Zor"><field name="role">carol</field></block></value><statement name="bounds"><block type="BoundsType" id="^W?0iQ?@m8)Kp1(!hF1k"><field name="from">1</field><field name="to">1</field></block></statement><statement name="contract"><block type="CloseContractType" id="mffj]zN{t4TCGH2xpzY)"/></statement><next><block type="ChoiceActionType" id="Cn*cKX=W9[w4w-gB$DqO"><field name="choice_name">choice</field><value name="party"><block type="RolePartyType" id="1?iflInzm7{OhfotM=C|"><field name="role">carol</field></block></value><statement name="bounds"><block type="BoundsType" id="BD]C#%6NZX1Qf]rib!n:"><field name="from">0</field><field name="to">0</field></block></statement><statement name="contract"><block type="PayContractType" id="wi4okX73w5/KEamVqs=G"><value name="payee"><block type="PartyPayeeType" id="M$8azBSF{`M`,4R0.%H@"><value name="party"><block type="RolePartyType" id="46E!Gk0v:%e`M1Y8:EUB"><field name="role">bob</field></block></value></block></value><value name="value"><block type="ConstantValueType" id="VX2-?IiZ1%|5cfif^}4G"><field name="constant">450</field></block></value><value name="token"><block type="AdaTokenType" id="{gP$Oy=rqh_9+WvXe0G{"/></value><value name="party"><block type="RolePartyType" id="WVCnR=VprWik9oM_dzrk"><field name="role">alice</field></block></value><statement name="contract"><block type="CloseContractType" id="q^NDwiNx30Vj#5xl4/U|"/></statement></block></statement></block></next></block></statement><statement name="contract"><block type="CloseContractType" id="lI_cX99[A`kr@7ziOPG2"/></statement></block></statement></block></statement></block></statement><statement name="contract"><block type="WhenContractType" id="XU9qY*COXR7rv72T;j;#"><field name="timeout">100</field><statement name="case"><block type="ChoiceActionType" id="s#3G+R=ran1OOl{}qMbg"><field name="choice_name">choice</field><value name="party"><block type="RolePartyType" id="_Uia_j_4^*aD0B!}@CSZ"><field name="role">carol</field></block></value><statement name="bounds"><block type="BoundsType" id="EE:@f,RM%[a._:}Mtf;`"><field name="from">1</field><field name="to">1</field></block></statement><statement name="contract"><block type="CloseContractType" id="s1ka:[E:kewv=;@B0Nd/"/></statement><next><block type="ChoiceActionType" id="z)|!x7NkQgau;-TR!:wh"><field name="choice_name">choice</field><value name="party"><block type="RolePartyType" id="eiJX?5UUbMnB7E*]O!Cc"><field name="role">carol</field></block></value><statement name="bounds"><block type="BoundsType" id="`uT,cdUI$o_iDO!5bgv_"><field name="from">0</field><field name="to">0</field></block></statement><statement name="contract"><block type="PayContractType" id="PrxBeyk^6Ci/5xjuU.Rz"><value name="payee"><block type="PartyPayeeType" id="?3{abAn/rx8a#mm+g9.3"><value name="party"><block type="RolePartyType" id="]1u4r$..*==a-);r!jL*"><field name="role">bob</field></block></value></block></value><value name="value"><block type="ConstantValueType" id="lXO9qhJXp6;bn@!N5!0^"><field name="constant">450</field></block></value><value name="token"><block type="AdaTokenType" id="/ygtYf--E0Pl,nw-nuRr"/></value><value name="party"><block type="RolePartyType" id="Q2mw`yo-X/,!uVPlcRG("><field name="role">alice</field></block></value><statement name="contract"><block type="CloseContractType" id="OE]zl9Gco.90k,fr(;P]"/></statement></block></statement></block></next></block></statement><statement name="contract"><block type="CloseContractType" id="T)j;$z@We^2}ssVsud7y"/></statement></block></statement></block></statement></block></statement><statement name="contract"><block type="CloseContractType" id="Xlbx63R@ii=OFPN@aont"/></statement></block></statement></block></xml>

playground.marlowe.json

{}