Skip to content

Instantly share code, notes, and snippets.

@ctlimctlim

ctlimctlim/blockly.xml

Last active May 18, 2021 09:00
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save ctlimctlim/debcdb7cdbbcf568aad700be451ca540 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save ctlimctlim/debcdb7cdbbcf568aad700be451ca540 to your computer and use it in GitHub Desktop.
Download ZIP
Stoic Tutorial Part 02 - 18 May 2021
Raw
blockly.xml
When
[Case
(Deposit
(Role "Landlord")
(Role "Tenant")
(Token "" "")
(Constant 100)
)
(When
[Case
(Choice
(ChoiceId
"Accept Tenant"
(Role "Landlord")
)
[Bound 1 2]
)
(If
(ValueEQ
(ChoiceValue
(ChoiceId
"Accept Tenant"
(Role "Landlord")
))
(Constant 1)
)
(When
[Case
(Deposit
(Role "Landlord")
(Role "Tenant")
(Token "" "")
(Constant 900)
)
(Let
"Tenancy"
SlotIntervalStart
(When
[Case
(Choice
(ChoiceId
"Break Contract"
(Role "Tenant")
)
[Bound 1 2]
)
(If
(ValueEQ
(ChoiceValue
(ChoiceId
"Break Contract"
(Role "Tenant")
))
(Constant 1)
)
(When
[Case
(Choice
(ChoiceId
"Property Inspection"
(Role "Landlord")
)
[Bound 1 2]
)
(If
(ValueEQ
(ChoiceValue
(ChoiceId
"Property Inspection"
(Role "Tenant")
))
(Constant 1)
)
(Pay
(Role "Landlord")
(Party (Role "Tenant"))
(Token "" "")
(Constant 1000)
Close
)
Close
)]
12
(Pay
(Role "Landlord")
(Party (Role "Tenant"))
(Token "" "")
(Constant 1000)
Close
)
)
(Assert
(ValueEQ
(ChoiceValue
(ChoiceId
"Break Contract"
(Role "Tenant")
))
(Constant 2)
)
(Let
"End Tenancy"
SlotIntervalEnd
(When
[Case
(Choice
(ChoiceId
"Property Inspection"
(Role "Landlord")
)
[Bound 1 2]
)
(If
(ValueEQ
(ChoiceValue
(ChoiceId
"Property Inspection"
(Role "Tenant")
))
(Constant 1)
)
(Pay
(Role "Landlord")
(Party (Role "Tenant"))
(Token "" "")
(Constant 1000)
Close
)
Close
)]
13
(Pay
(Role "Landlord")
(Party (Role "Tenant"))
(Token "" "")
(Constant 1000)
Close
)
)
)
)
)]
12
(Let
"End Tenancy"
SlotIntervalEnd
(When
[Case
(Choice
(ChoiceId
"Property Inspection"
(Role "Landlord")
)
[Bound 1 2]
)
(If
(ValueEQ
(ChoiceValue
(ChoiceId
"Property Inspection"
(Role "Tenant")
))
(Constant 1)
)
(Pay
(Role "Landlord")
(Party (Role "Tenant"))
(Token "" "")
(Constant 1000)
Close
)
Close
)]
13
(Pay
(Role "Landlord")
(Party (Role "Tenant"))
(Token "" "")
(Constant 1000)
Close
)
)
)
)
)]
1 Close
)
(Pay
(Role "Landlord")
(Party (Role "Tenant"))
(Token "" "")
(Constant 100)
Close
)
)]
1
(Pay
(Role "Landlord")
(Party (Role "Tenant"))
(Token "" "")
(Constant 100)
Close
)
)]
1 Close
Raw
metadata.json
{"valueParameterDescriptions":[],"slotParameterDescriptions":[],"roleDescriptions":[],"contractType":"O","contractName":"","contractDescription":"","choiceDescriptions":[]}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment