package Ġfunctions Ċ Ċ // ĠExtension Ġfunction Ċ fun ĠInt . is Positive (): ĠBoolean Ġ= Ġthis Ġ> Ġ 0 Ċ Ċ // ĠExtension Ġproperty Ċ data Ġclass ĠStudent ( val Ġname : ĠString ) Ċ Ċ val ĠStudent . has Long Name : ĠBoolean ĊĠĠĠ Ġget () Ġ= Ġname . length Ġ> Ġ 1 0 Ċ Ċ fun Ġmain () Ġ{ ĊĠĠĠ Ġprintln ("${ 0 . is Positive () }") ĊĠĠĠ Ġprintln ("${ 1 . is Positive () }") ĊĠĠĠ Ġprintln ("${ (- 1 ). is Positive () }") ĊĠĠĠ Ġprintln () ĊĊĠĠĠ Ġval Ġst u 1 Ġ= ĠStudent (" Sam ") ĊĠĠĠ Ġval Ġst u 2 Ġ= ĠStudent (" Michael ĠJack son ") ĊĠĠĠ Ġprintln ( stu 1 . has Long Name ) ĊĠĠĠ Ġprintln ( stu 2 . has Long Name ) ĊĠĠĠ Ġprintln () Ċ } Ċ