// ĠFILE : Ġa / k . kt Ċ package Ġa Ċ Ċ open Ġclass Ġk Ġ{ ĊĠĠĠ Ġfun Ġget K (): Ġk ? Ġ= Ġnull ĊĠĠĠ Ġfun Ġget I (): Ġi ? Ġ= Ġnull ĊĠĠĠ Ġinner Ġclass Ġi Ċ } Ċ Ċ // ĠFILE : Ġa / y . java Ċ package Ġa ; Ċ Ċ public Ġclass Ġy Ġ{ ĊĠĠĠ Ġpublic Ġk Ġget K () Ġ{ Ġreturn Ġnull ; Ġ} Ċ } Ċ Ċ // ĠFILE : Ġa / x . java Ċ package Ġa ; Ċ Ċ public Ġclass Ġx Ġextends Ġk Ġ{ ĊĠĠĠ Ġpublic Ġi Ġget I From Java () Ġ{ Ġreturn Ġnull ; Ġ} Ċ } Ċ Ċ // ĠFILE : Ġtest . kt Ċ package Ġa Ċ Ċ fun Ġtest () Ġ= Ġx (). get K () Ċ fun Ġtest 2 () Ġ= Ġx (). get I () Ċ fun Ġtest 3 () Ġ= Ġx (). get I From Java () Ċ fun Ġtest 4 () Ġ= Ġy (). get K ()