// ĠTARGET _ BACKEND : ĠJVM Ċ // ĠWITH _ RUNTIME Ċ package Ġtest Ċ Ċ abstract Ġclass ĠClass Val Abstract Ġ{ ĊĠĠĠ Ġabstract Ġvar Ġa : ĠInt ĊĊĠĠĠ Ġcompanion Ġobject Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġmethods Ġ= ĠClass Val Abstract :: class . java . get Methods () !! ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġbox () Ġ: ĠString Ġ{ ĊĠĠĠ Ġfor ( m Ġin ĠClass Val Abstract . methods ) Ġ{ ĊĠĠĠĠĠĠĠ Ġif Ġ( m !!. getName () Ġ== Ġ" get A ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġif ( m !!. get Modifiers () Ġ!= Ġ 1 0 2 5 ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġreturn Ġ" get Ġfailed " ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġif Ġ( m !!. getName () Ġ== Ġ" set A ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġif ( m !!. get Modifiers () Ġ!= Ġ 1 0 2 5 ) ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġreturn Ġ" set Ġfailed " ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĠĠĠ Ġreturn Ġ" OK " Ċ } Ċ