package Ġbasic _ code ĊĊ Ċ interface ĠBase { ĊĠĠĠ Ġfun Ġprint Message () ĊĠĠĠ Ġfun Ġprint Message Line () Ċ } Ċ Ċ class ĠBase Imp ( val Ġx : ĠInt ): ĠBase { ĊĠĠĠ Ġoverride Ġfun Ġprint Message () Ġ{ ĊĠĠĠĠĠĠĠ Ġprintln ( x ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġoverride Ġfun Ġprint Message Line () Ġ{ ĊĠĠĠĠĠĠĠ Ġprint ( x ) ĊĠĠĠ Ġ} Ċ } Ċ class ĠDerived ( b : Base ): ĠBase Ġby Ġb { ĊĠĠĠ Ġoverride Ġfun Ġprint Message () Ġ{ ĊĠĠĠĠĠĠĠ Ġprint (" ad fs f ") ĊĠĠĠ Ġ} Ċ } Ċ Ċ val Ġlazy Value : ĠString Ġby Ġlazy Ġ{ ĊĠĠĠ Ġprintln (" computed !") ĊĠĠĠ Ġ" en igma " Ċ Ċ } Ċ val Ġlazy Number : ĠInt Ġby Ġlazy Ġ{ ĊĠĠĠ Ġprintln (" mi ,, ber ") ĊĠĠĠĠ 3 3 3 Ċ } Ċ // fun Ġmain () Ġ{ Ċ // Ċ //// ĠĠĠ Ġprintln ("% . 0 f ". format ( 2 9 . 0 % 1 2 . 3 )) Ċ //// ĠĠĠ Ġval Ġb Ġ= ĠBase Imp ( 1 2 ) Ċ //// ĠĠĠ ĠDerived ( b ). print Message () Ċ //// ĠĠĠ ĠDerived ( b ). print Message Line () Ċ // ĠĠĠ Ġprintln ( lazy Value ) Ċ // ĠĠĠ Ġprintln ( lazy Value ) Ċ // ĠĠĠ Ġprintln ( lazy Number ) Ċ //} Ċ