open Ġclass ĠA Ġ{ Ċ Ċ } Ċ Ċ class Ġ< caret > B : ĠA () Ġ{ ĊĠĠĠ Ġ// ĠINFO : Ġ{" checked ": Ġ" false "} ĊĠĠĠ Ġprivate Ġfun Ġfoo () Ġ= Ġ 1 ĊĊĠĠĠ Ġ// ĠINFO : Ġ{" checked ": Ġ" true "} ĊĠĠĠ Ġprivate Ġclass ĠZ ( n : ĠInt ) ĊĊĠĠĠ Ġ// ĠINFO : Ġ{" checked ": Ġ" true "} ĊĠĠĠ Ġfun Ġbar 1 () Ġ= Ġfoo () Ġ+ Ġ 1 ĊĠĠĠ Ġ// ĠINFO : Ġ{" checked ": Ġ" true ", Ġ" to Abstract ": Ġ" true "} ĊĠĠĠ Ġfun Ġbar 2 () Ġ= ĠZ ( foo () Ġ+ Ġ 1 ) ĊĊĠĠĠ Ġ// ĠINFO : Ġ{" checked ": Ġ" true "} ĊĠĠĠ Ġval Ġx 1 Ġ= Ġfoo () Ġ+ Ġ 1 ĊĠĠĠ Ġ// ĠINFO : Ġ{" checked ": Ġ" true ", Ġ" to Abstract ": Ġ" true "} ĊĠĠĠ Ġval Ġx 2 Ġ= ĠZ ( foo () Ġ+ Ġ 1 ) Ċ }