// File ĠA . java Ċ import Ġkotlin . Metadata ; Ċ Ċ public Ġfinal Ġclass ĠA Ġ{ ĊĠĠ Ġprivate Ġfinal Ġint Ġprop ; ĊĊĠĠ Ġpublic Ġfinal Ġint Ġget Prop () Ġ{ ĊĠĠĠĠĠ Ġreturn Ġthis . prop ; ĊĠĠ Ġ} ĊĊĠĠ Ġpublic ĠA ( boolean Ġarg ) Ġ{ ĊĠĠĠĠĠ Ġif Ġ( arg ) Ġ{ ĊĠĠĠĠĠĠĠĠ Ġthis . prop Ġ= Ġ 1 ; ĊĠĠĠĠĠ Ġ} Ġelse Ġ{ ĊĠĠĠĠĠĠĠĠ Ġthis . prop Ġ= Ġ 2 ; ĊĠĠĠĠĠ Ġ} ĊĠĠ Ġ} Ċ } ĊĊ Ċ // File ĠMain . kt ĊĊ Ċ fun Ġbox (): ĠString Ġ{ ĊĠĠĠ Ġval Ġa 1 Ġ= ĠA ( true ) ĊĠĠĠ Ġif Ġ( a 1 . prop Ġ!= Ġ 1 ) Ġreturn Ġ" fail 1 : Ġ${ a 1 . prop }" ĊĠĠĠ Ġval Ġa 2 Ġ= ĠA ( false ) ĊĠĠĠ Ġif Ġ( a 2 . prop Ġ!= Ġ 2 ) Ġreturn Ġ" fail 2 : Ġ${ a 2 . prop }" ĊĠĠĠ Ġreturn Ġ" OK " Ċ } ĊĊ