Skip to content

Instantly share code, notes, and snippets.

@ekhall

ekhall/blockly.xml

Created January 18, 2021 15:32
Show Gist options
  • Save ekhall/388777f8af1fc20d27f29e4328c6a8a2 to your computer and use it in GitHub Desktop.
Save ekhall/388777f8af1fc20d27f29e4328c6a8a2 to your computer and use it in GitHub Desktop.
Download ZIP
Marlowe-Demo-1-complete
Raw
blockly.xml
<xml xmlns="https://developers.google.com/blockly/xml"><block type="BaseContractType" id="root_contract" deletable="false" x="10" y="50"><statement name="BaseContractType"><block type="WhenContractType" id="y!W4x5;|#kYuS~ZPA*V)"><field name="timeout">0</field><statement name="case"><block type="DepositActionType" id="}Ru~BD,pT-EDsLhX}%Qr"><value name="from_party"><block type="RolePartyType" id="cG9yhl,bNE:jSUA09O=$"><field name="role">Client</field></block></value><value name="value"><block type="ConstantValueType" id="ximMy:=YelA).DioyDAY"><field name="constant">50</field></block></value><value name="token"><block type="AdaTokenType" id="2ooyW/@FEyoG#U7/%9q]"/></value><value name="party"><block type="RolePartyType" id="G+D=G883]{``:GbU3H;="><field name="role">Client</field></block></value><statement name="contract"><block type="WhenContractType" id="K:39[mUJf7HXGa!zzJrP"><field name="timeout">7</field><statement name="case"><block type="ChoiceActionType" id=",k/kgDiKOR6TG#=o749|"><field name="choice_name">name</field><value name="party"><block type="RolePartyType" id="HX4#f`v?3hOG;/cvbAa#"><field name="role">Client</field></block></value><statement name="bounds"><block type="BoundsType" id="S(_[~)2nsD6Dxa/(F?ZP"><field name="from">1</field><field name="to">3</field></block></statement><statement name="contract"><block type="IfContractType" id="|r9%,1.bDc5/_P4/Cc01"><value name="observation"><block type="ValueEQObservationType" id="Wz|f@b9IAhi#c!Tr8kJZ"><value name="value1"><block type="ChoiceValueValueType" id="Mhd:b*:rMf/C,@}9Qr9%"><field name="choice_name">name</field><value name="party"><block type="RolePartyType" id="0`P${R?B,[6rytBp,N(i"><field name="role">Client</field></block></value></block></value><value name="value2"><block type="ConstantValueType" id="{o18+oO*ueD2df5b.Y.I"><field name="constant">1</field></block></value></block></value><statement name="contract1"><block type="PayContractType" id="HXig|FnP2E^mYo2PphhP"><value name="payee"><block type="PartyPayeeType" id="rNgl!{p@?uZkYYzu1t31"><value name="party"><block type="RolePartyType" id="h#UiQUY)ePJrG8+D5urW"><field name="role">Coach</field></block></value></block></value><value name="value"><block type="ConstantValueType" id=";4c/h#N6?tFMOn`~g1]`"><field name="constant">50</field></block></value><value name="token"><block type="AdaTokenType" id="RX,ZB=jiLtYpwsIWTqxQ"/></value><value name="party"><block type="RolePartyType" id="HG)QwajQ3H8egcK?-M`~"><field name="role">Client</field></block></value><statement name="contract"><block type="CloseContractType" id="c!Z]5BlfYPq8-,M[B-:e"/></statement></block></statement><statement name="contract2"><block type="IfContractType" id="8m*PAZ@zx+bWxln#t#~f"><value name="observation"><block type="ValueEQObservationType" id="l~2hzr{JRfqm;m376SVf"><value name="value1"><block type="ChoiceValueValueType" id="G^:@s~OHVLYhgdCq;w@?"><field name="choice_name">name</field><value name="party"><block type="RolePartyType" id=".@%KM9XdkW^yLBZ`|sKA"><field name="role">Client</field></block></value></block></value><value name="value2"><block type="ConstantValueType" id="fJ=@=CGwL]=beo0Xi7)J"><field name="constant">2</field></block></value></block></value><statement name="contract1"><block type="PayContractType" id="$ijPh0dL44!q0=~wI-)f"><value name="payee"><block type="PartyPayeeType" id="0=0%[*N0hFly0c-tR$|G"><value name="party"><block type="RolePartyType" id="M5y82LX3+b(C9iKMHhRm"><field name="role">Coach</field></block></value></block></value><value name="value"><block type="ConstantValueType" id="rzZ;Jq8pXhGHe7L!JwI_"><field name="constant">10</field></block></value><value name="token"><block type="AdaTokenType" id="3oTwRwlK!K$#k`2-ei=3"/></value><value name="party"><block type="RolePartyType" id="92xc.pb3eNBg|cH:HIDl"><field name="role">Client</field></block></value><statement name="contract"><block type="CloseContractType" id="p0DG[g6t}R6lIlL-3}yE"/></statement></block></statement><statement name="contract2"><block type="PayContractType" id="nPPf7:W]7)v;H3967Wy)"><value name="payee"><block type="PartyPayeeType" id="FE)L/Ks^U0^AWRw*n*[H"><value name="party"><block type="RolePartyType" id="^FOSjX(sG0Owd*5Te-Mw"><field name="role">Coach</field></block></value></block></value><value name="value"><block type="ConstantValueType" id="2;!S|{8%c7@a(.J@pa^j"><field name="constant">25</field></block></value><value name="token"><block type="AdaTokenType" id="tgn?fEB13[J-Fuh]LT;f"/></value><value name="party"><block type="RolePartyType" id="1G,S4aT9lfbCwl6b`gqH"><field name="role">Client</field></block></value><statement name="contract"><block type="CloseContractType" id="E`WQt$tG%4^AoRn_XRuZ"/></statement></block></statement></block></statement></block></statement></block></statement><statement name="contract"><block type="CloseContractType" id="_:$UZaqwFp(4`X`C,9?$"/></statement></block></statement></block></statement></block></statement></block></xml>
Raw
playground.marlowe
When
[Case
(Choice
(ChoiceId
"name"
(Role "Client")
)
[Bound 1 3]
)
(If
(ValueEQ
(ChoiceValue
(ChoiceId
"name"
(Role "Client")
))
(Constant 1)
)
(Pay
(Role "Client")
(Party (Role "Coach"))
(Token "" "")
(Constant 50)
Close
)
(If
(ValueEQ
(ChoiceValue
(ChoiceId
"name"
(Role "Client")
))
(Constant 2)
)
(Pay
(Role "Client")
(Party (Role "Coach"))
(Token "" "")
(Constant 10)
Close
)
(Pay
(Role "Client")
(Party (Role "Coach"))
(Token "" "")
(Constant 25)
Close
)
)
)]
7 Close
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment