package Ġcom . template . states Ċ Ċ import Ġcom . template . contracts . Name Contract Ċ Ċ import Ġnet . cord a . core . contracts . Bel ongsTo Contract Ċ import Ġnet . cord a . core . contracts . Contract State Ċ import Ġnet . cord a . core . contracts . Linear State Ċ import Ġnet . cord a . core . contracts . Unique Identifier Ċ import Ġnet . cord a . core . identity . Abstract Party Ċ import Ġnet . cord a . core . identity . Party Ċ import Ġnet . cord a . core . schemas . Mapped Schema Ċ import Ġnet . cord a . core . schemas . Persistent State Ċ import Ġnet . cord a . core . schemas . Queryable State Ċ Ċ @ Bel ongsTo Contract ( Name Contract :: class ) Ċ data Ġclass ĠName State ( val Ġname : ĠString , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġlastname Ġ: ĠString , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġparty : ĠParty , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġlinear Id : ĠUnique Identifier ) Ġ: ĠContract State Ġ{ ĊĊĠĠĠ Ġoverride Ġval Ġparticipants : ĠList < Abstract Party > Ġ= ĠlistOf ( party ); ĊĠĠĠ Ġ// To Ġchange Ġinitializer Ġof Ġcreated Ġproperties Ġuse ĠFile Ġ| ĠSettings Ġ| ĠFile ĠTemplates . Ċ Ċ }