abstract Ġclass Ġ< caret > A Ġ{ ĊĠĠĠ Ġ// ĠINFO : Ġ{" checked ": Ġ" true "} ĊĠĠĠ Ġopen Ġval Ġx : ĠInt Ġ= Ġ 1 ĊĠĠĠ Ġ// ĠINFO : Ġ{" checked ": Ġ" true "} ĊĠĠĠ Ġabstract Ġval Ġy : ĠBoolean ĊĠĠĠ Ġ// ĠINFO : Ġ{" checked ": Ġ" true ", Ġ" to Abstract ": Ġ" true "} ĊĠĠĠ Ġopen Ġval Ġz : ĠInt Ġ= Ġ 1 ĊĠĠĠ Ġ// ĠINFO : Ġ{" checked ": Ġ" true "} ĊĠĠĠ Ġopen Ġfun Ġfoo ( n : ĠInt ) Ġ= Ġn Ġ+ Ġ 1 ĊĠĠĠ Ġ// ĠINFO : Ġ{" checked ": Ġ" true "} ĊĠĠĠ Ġabstract Ġfun Ġfoo ( n : ĠInt , Ġm : ĠInt ) ĊĠĠĠ Ġ// ĠINFO : Ġ{" checked ": Ġ" true ", Ġ" to Abstract ": Ġ" true "} ĊĠĠĠ Ġopen Ġfun Ġfoo ( b : ĠBoolean ) Ġ= Ġ! b ĊĠĠĠ Ġ// ĠINFO : Ġ{" checked ": Ġ" true "} ĊĠĠĠ Ġclass ĠX Ċ } Ċ Ċ class ĠB Ġ: ĠA Ġ{ ĊĠĠĠ Ġoverride Ġval Ġx : ĠInt Ġ= Ġ 2 ĊĊĠĠĠ Ġoverride Ġval Ġy : ĠBoolean Ġget () Ġ= Ġx Ġ> Ġ 0 ĊĊĠĠĠ Ġoverride Ġval Ġz : ĠInt Ġ= Ġ 3 ĊĊĠĠĠ Ġoverride Ġfun Ġfoo ( n : ĠInt ) Ġ= Ġn Ġ+ Ġ 2 ĊĊĠĠĠ Ġoverride Ġfun Ġfoo ( n : ĠInt , Ġm : ĠInt ) Ġ= Ġn Ġ+ Ġm ĊĊĠĠĠ Ġoverride Ġfun Ġfoo ( b : ĠBoolean ) Ġ= Ġtrue ĊĊĠĠĠ Ġclass ĠX Ċ }