package Ġcom . trade ix . contract composition . contracts . states Ċ Ċ import Ġcom . trade ix . contract composition . contracts . Double S pend Pre vention Contract Ċ import Ġcom . trade ix . contract composition . contracts . common . Ful fillable As Ref Input Ċ import Ġnet . cord a . core . contracts . Contract State Ċ import Ġnet . cord a . core . identity . Abstract Party Ċ import Ġcom . trade ix . contract composition . contracts . common . State Ref Or Ref Ċ import Ġnet . cord a . core . contracts . Bel ongsTo Contract Ċ Ċ /** Ċ Ġ* ĠThis Ġclass Ġis Ġa Ġmostly Ġbes poke Ġimplementation Ġto Ġhelp Ġus Ġconfigure Ġour Ġ" Contract Managers " Ġto Ġact Ġappropriately . Ċ Ġ* ĠIt Ġis Ġlarge ly Ġa Ġplaceholder Ġuntil Ġwe Ġcan Ġdesign Ġa Ġmore Ġgeneric Ġmechanism Ġto Ġmodel Ġnot ar ization . Ċ Ġ* ĠNot ar ization Ġshould Ġeventually Ġlook Ġmuch Ġthe Ġsame Ġas Ġall Ġthe Ġother Ġrights Ġwe Ġrepresent . ĠGetting Ġa Ġstate Ġnot ar ized Ċ Ġ* Ġreally Ġmeans Ġac qu iring Ġthe Ġright Ġto Ġhold Ġsome Ġparty Ġaccount able Ġ( either Ġon - Ġor Ġoff - chain ) Ġif Ġthey Ġgo Ġon Ġto Ġsign Ċ Ġ* Ġanother Ġtransaction Ġwith Ġthat Ġsame Ġstate Ġas Ġone Ġof Ġthe Ġcontracts Ġin Ġthe Ġ" inputs " Ġlist . Ċ Ġ* Ċ Ġ* ĠFor Ġnow , Ġhowever , Ġwe Ġcan Ġrepresent Ġthe Ġneed Ġfor Ġnot ar ization Ġby Ġa Ġsimple Ġ[ Double S pend Pre vention State ] Ġwhich Ġcontains Ċ Ġ* Ġa Ġlist Ġof Ġthe Ġcontracts Ġwhich Ġneed Ġto Ġbe Ġeither ĠA .) Ġconsumed Ġas Ġinputs Ġin Ġa Ġtx Ġwhich Ġfulfill s Ġthe Ġ[ Double S pend Pre vention State ] Ċ Ġ* ĠOR ĠB .) Ġalready Ġlocked Ġin Ġsuch Ġa Ġway Ġthat Ġthey Ġare Ġeffectively Ġnot ar ized Ġ( more Ġon Ġthis Ġin Ġcontract Ġclass Ġdescription ...) Ċ Ġ* Ċ Ġ* ĠA Ġ[ Composite Contract State ] Ġwhich Ġcould Ġonly Ġever Ġbe Ġful filled Ġonce , Ġfor Ġexample , Ġwould Ġneed Ġto Ġpoint Ġto Ġone Ġof Ġthese Ċ Ġ* Ġ[ Double S pend Pre vention State ] s Ġwhich Ġwould Ġitself Ġreference Ġthe Ġcomposite Ġcontract Ġ( by Ġoutput Ġref Ġrather Ġthan Ġstat eref Ċ Ġ* Ġsince Ġthey Ġwould Ġbe Ġcreated Ġat Ġthe Ġsame Ġtime ) Ġto Ġforce Ġthat Ġthe Ġcomposite Ġcontract Ġget Ġconsumed Ġwhen Ġit Ġis Ġful filled . Ċ Ġ* Ċ Ġ* ĠAs Ġshould Ġbe Ġobvious , Ġany Ġcontracts Ġwhich Ġdo Ġnot Ġrequire Ġexecution Ġof Ġany Ġ[ Double S pend Pre vention State ] s Ġcan Ġbe Ġspent Ċ Ġ* Ġany Ġnumber Ġof Ġtimes Ġthat Ġthe Ġcontract Ġis Ġmet . ĠThis Ġis Ġby Ġdesign Ġand Ġallows Ġfor Ġmore Ġflexible Ġon - ledger Ġcontracts . Ċ Ġ*/ Ċ Ċ @ Bel ongsTo Contract ( Double S pend Pre vention Contract :: class ) Ċ data Ġclass ĠDouble S pend Pre vention State ( ĊĠĠĠĠĠĠĠ Ġval Ġstates To Not ar ize : ĠList < State Ref Or Ref >, ĊĠĠĠĠĠĠĠ Ġoverride Ġval Ġparticipants : ĠList < Abstract Party > Ċ ): ĠContract State , ĠF ul fillable As Ref Input