class ĠA Ġ{ Ċ val Ġreadonly : ĠString Ġ= Ġ"" Ċ } Ċ fun Ġbox (): ĠString Ġ{ Ċ assertFalse (( if Ġ(( A :: readonly ) Ġ<= Ġtrue ) Ġ{ Ċ ( A :: readonly ) Ċ } Ġelse Ġ{ Ċ Ċ }) Ġis ĠK Mutable Property 1 <* Ġ, Ġ* Ġ> ) Ċ }