😺ステートマシン図ベースのCDLのコード

---
title: Agreement Smart Constract (AgreementState belongs to AgreementContract)
---
%%{
  init: {
    'themeVariables': {
			'fontFamily' :'ms',
			'fontSize' :'10px'
    }
  }
}%%
stateDiagram-v2
%%クラス定義
	classDef state fill:white
	classDef constraint fill:#a2e8e8,stroke-width:0px
	class PROPOSED state
	class REJECTED state
	class AGREED state
	class UNIVERSAL constraint
	class propose constraint
	class reject constraint
	class repropose constraint
	class agree constraint
	class redeem constraint

	%%Corda state定義
	PROPOSED:AgreementState<br>(PROPOSED)<br>______________________________<br>Properties：<br>~buyer：Party<br>~seller：Party<br>...<br>______________________________<br>Perticipants：<br>~buyer<br>~seller

	REJECTED:AgreementState<br>(REJECTED)<br>______________________________<br>Properties：<br>~buyer：Party<br>~seller：Party<br>...<br>______________________________<br>Perticipants：<br>~buyer<br>~seller
	
	AGREED:AgreementState<br>(AGREED)<br>______________________________<br>Properties：<br>~buyer：Party<br>~seller：Party<br>...<br>______________________________<br>Perticipants：<br>~buyer<br>~seller

%%制約1
	note left of PROPOSED :*status制約：<br>-STC1
	note left of REJECTED :*status制約：<br>-STC2
	note left of AGREED :*status制約：<br>-STC3

%%制約２
	propose:**Flow制約<br>-FC1
	reject:*Flow制約：<br>-FC2<br>______________________________<br>*Command制約：<br>-CC1
	repropose:*Flow制約：<br>-FC3<br>______________________________<br>*Command制約：<br>-CC2
	agree:*Flow制約：<br>-FC4<br>______________________________<br>*Command制約：<br>-CC3
	redeem:*Flow制約：<br>-FC5
	UNIVERSAL:*AgreementState Universal制約<br>-UC1

	%%フロー図
	direction LR
	[*] --> propose:0 propse<br>(-SC1)
	propose --> PROPOSED:1
  PROPOSED --> reject :1 reject <br>(-SC2)
	reject --> REJECTED :1
	REJECTED --> repropose :1 repropose <br>(-SC3)
	repropose --> PROPOSED :1
	PROPOSED -->agree :1 agree <br>(-SC4)
	agree --> AGREED :1
	AGREED -->redeem :1 redeem <br>(-SC5)
	redeem --> [*]:0

--- title: Agreement Smart Constract (AgreementState belongs to AgreementContract) --- %%{ init: { 'themeVariables': { 'fontFamily' :'ms', 'fontSize' :'10px' } } }%% stateDiagram-v2 %%クラス定義 classDef state fill:white classDef constraint fill:#a2e8e8,stroke-width:0px class PROPOSED state class REJECTED state class AGREED state class UNIVERSAL constraint class propose constraint class reject constraint class repropose constraint class agree constraint class redeem constraint %%Corda state定義 PROPOSED:AgreementState (PROPOSED) ______________________________ Properties： ~buyer：Party ~seller：Party ... ______________________________ Perticipants： ~buyer ~seller REJECTED:AgreementState (REJECTED) ______________________________ Properties： ~buyer：Party ~seller：Party ... ______________________________ Perticipants： ~buyer ~seller AGREED:AgreementState (AGREED) ______________________________ Properties： ~buyer：Party ~seller：Party ... ______________________________ Perticipants： ~buyer ~seller %%制約1 note left of PROPOSED :*status制約： -STC1 note left of REJECTED :*status制約： -STC2 note left of AGREED :*status制約： -STC3 %%制約２ propose:**Flow制約 -FC1 reject:*Flow制約： -FC2 ______________________________ *Command制約： -CC1 repropose:*Flow制約： -FC3 ______________________________ *Command制約： -CC2 agree:*Flow制約： -FC4 ______________________________ *Command制約： -CC3 redeem:*Flow制約： -FC5 UNIVERSAL:*AgreementState Universal制約 -UC1 %%フロー図 direction LR [*] --> propose:0 propse (-SC1) propose --> PROPOSED:1 PROPOSED --> reject :1 reject (-SC2) reject --> REJECTED :1 REJECTED --> repropose :1 repropose (-SC3) repropose --> PROPOSED :1 PROPOSED -->agree :1 agree (-SC4) agree --> AGREED :1 AGREED -->redeem :1 redeem (-SC5) redeem --> [*]:0