package Ġio . andre wo h ara . tab by chat . messages Ċ Ċ import Ġio . andre wo h ara . tab by chat . users . UserId Ċ import Ġjava . time . Instant Ċ Ċ data Ġclass ĠMessage ( ĊĠĠĠ Ġval Ġcontent : ĠMessage Content , ĊĠĠĠ Ġval Ġreceived : ĠInstant , ĊĠĠĠ Ġval Ġsender : ĠUserId , ĊĠĠĠ Ġval Ġrecipient : ĠUserId Ċ ) Ċ fun ĠMessage . to Receipt () Ġ= ĠMessage Receipt ( ĊĠĠĠ Ġsender Ġ= Ġsender , ĊĠĠĠ Ġrecipient Ġ= Ġrecipient , ĊĠĠĠ Ġreceived Ġ= Ġreceived Ċ ) Ċ Ċ data Ġclass ĠMessage Page ( ĊĠĠĠ Ġval Ġmessages : ĠList < Message >, ĊĠĠĠ Ġval Ġnext Time : ĠInstant ? Ċ ) Ċ Ċ data Ġclass ĠMessage Receipt ( ĊĠĠĠ Ġval Ġsender : ĠUserId , ĊĠĠĠ Ġval Ġrecipient : ĠUserId , ĊĠĠĠ Ġval Ġreceived : ĠInstant , Ċ ) Ċ fun ĠMessage Receipt . to Message ( content : ĠMessage Content ) Ġ= ĠMessage ( ĊĠĠĠ Ġsender Ġ= Ġsender , ĊĠĠĠ Ġrecipient Ġ= Ġrecipient , ĊĠĠĠ Ġreceived Ġ= Ġreceived , ĊĠĠĠ Ġcontent Ġ= Ġcontent Ċ )