package Ġcom . property listing . states Ċ Ċ 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 Ċ Ċ data Ġclass ĠCar State ( ĊĊĠĠĠĠĠĠĠ Ġval Ġcar Number : ĠString , ĊĠĠĠĠĠĠĠ Ġval Ġowner : ĠParty , ĊĠĠĠĠĠĠĠ Ġval Ġemail Id : ĠString , ĊĠĠĠĠĠĠĠ Ġval Ġmobile No : ĠString , ĊĠĠĠĠĠĠĠ Ġval Ġmake : ĠString , ĊĠĠĠĠĠĠĠ Ġval Ġmodel : ĠString , ĊĠĠĠĠĠĠĠ Ġval Ġprice : ĠLong , ĊĠĠĠĠĠĠĠ Ġval Ġins Status : ĠString , ĊĠĠĠĠĠĠĠ Ġoverride Ġval Ġlinear Id : ĠUnique Identifier Ġ= ĠUnique Identifier ()) Ġ: ĠLinear State , ĠQuery able State Ġ{ ĊĊĠĠĠ Ġoverride Ġval Ġparticipants : ĠList < Abstract Party > Ġget () Ġ= ĠlistOf ( owner ) ĊĊĠĠĠ Ġoverride Ġfun Ġgenerate Mapped Object ( schema : ĠM apped Schema ): ĠPersistent State Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġwhen Ġ( schema ) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġis ĠCar Schema 1 Ġ-> ĠCar Schema 1 . Car Data ( ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġthis . car Number , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġthis . owner . name . toString (), ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġthis . email Id , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġthis . mobile No , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġthis . make , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġthis . model , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġthis . price , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġthis . ins Status , ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġthis . linear Id . id ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġelse Ġ-> Ġthrow ĠIllegalArgumentException (" The Ġschema Ġ: Ġ$ schema Ġdoes Ġnot Ġexist .") ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġoverride Ġfun Ġsupported Schemas (): ĠIterable < Mapped Schema > Ġ= ĠlistOf ( Car Schema 1 ) Ċ } Ċ