// ĠEXPECT ED _ RE ACH ABLE _ NODES : Ġ 1 1 1 4 Ċ package Ġfoo Ċ Ċ var Ġglobal : ĠString Ġ= Ġ"" Ċ Ċ fun Ġid ( s : ĠString , Ġvalue : ĠBoolean ): ĠBoolean Ġ{ ĊĠĠĠ Ġglobal Ġ+= Ġs ĊĠĠĠ Ġreturn Ġvalue Ċ } Ċ Ċ fun Ġbox (): ĠString Ġ{ ĊĊĠĠĠ Ġwhen Ġ{ ĊĠĠĠĠĠ Ġid (" A ", Ġtrue ) Ġ|| Ġid (" B ", Ġtrue ) Ġ-> Ġ 1 0 ĊĠĠĠ Ġ} ĊĠĠĠ ĠassertEquals (" A ", Ġglobal ) ĊĊĠĠĠ Ġglobal Ġ= Ġ"" ĊĠĠĠ Ġwhen Ġ{ ĊĠĠĠĠĠĠĠ Ġid (" A ", Ġfalse ) Ġ|| Ġid (" B ", Ġtrue ) Ġ|| Ġid (" C ", Ġtrue ) Ġ-> Ġ 1 0 ĊĠĠĠ Ġ} ĊĠĠĠ ĠassertEquals (" AB ", Ġglobal ) ĊĊĠĠĠ Ġglobal Ġ= Ġ"" ĊĠĠĠ Ġvar Ġb Ġ= Ġtrue ĊĠĠĠ Ġwhen Ġ{ ĊĠĠĠĠĠĠĠ Ġtry Ġ{ Ġglobal Ġ+= Ġ" A "; Ġb Ġ} Ġfinally Ġ{} Ġ-> Ġ 1 0 ĊĠĠĠĠĠĠĠ Ġtry Ġ{ Ġglobal Ġ+= Ġ" B "; Ġ! b Ġ} Ġfinally Ġ{} Ġ-> Ġ 2 0 ĊĠĠĠ Ġ} ĊĠĠĠ ĠassertEquals (" A ", Ġglobal ) ĊĊĠĠĠ Ġglobal Ġ= Ġ"" ĊĠĠĠ Ġb Ġ= Ġfalse ĊĠĠĠ Ġwhen Ġ{ ĊĠĠĠĠĠĠĠ Ġtry Ġ{ Ġglobal Ġ+= Ġ" A "; Ġb Ġ} Ġfinally Ġ{} Ġ-> Ġ 1 0 ĊĠĠĠĠĠĠĠ Ġtry Ġ{ Ġglobal Ġ+= Ġ" B "; Ġ! b Ġ} Ġfinally Ġ{} Ġ-> Ġ 2 0 ĊĠĠĠ Ġ} ĊĠĠĠ ĠassertEquals (" AB ", Ġglobal ) ĊĊĠĠĠ Ġglobal Ġ= Ġ"" ĊĠĠĠ Ġb Ġ= Ġtrue ĊĠĠĠ Ġwhen Ġ{ ĊĠĠĠĠĠĠĠ Ġb Ġ|| Ġtry Ġ{ Ġglobal Ġ+= Ġ" A "; Ġ! b Ġ} Ġfinally Ġ{} Ġ-> Ġ 1 0 ĊĠĠĠ Ġ} ĊĠĠĠ ĠassertEquals ("", Ġglobal ) ĊĊĠĠĠ Ġglobal Ġ= Ġ"" ĊĠĠĠ Ġb Ġ= Ġfalse ĊĠĠĠ Ġwhen Ġ{ ĊĠĠĠĠĠĠĠ Ġb Ġ|| Ġtry Ġ{ Ġglobal Ġ+= Ġ" A "; Ġ! b Ġ} Ġfinally Ġ{} Ġ-> Ġ 1 0 ĊĠĠĠ Ġ} ĊĠĠĠ ĠassertEquals (" A ", Ġglobal ) ĊĊĠĠĠ Ġglobal Ġ= Ġ"" ĊĠĠĠ Ġwhen Ġ{ ĊĠĠĠĠĠĠĠ Ġfalse Ġ-> Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġglobal Ġ+= Ġ" A " ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġtry Ġ{ Ġglobal Ġ+= Ġ" B "; Ġfalse Ġ} Ġfinally Ġ{} Ġ-> Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġglobal Ġ+= Ġ" D " ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġelse Ġ-> Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġglobal Ġ+= Ġ" C " ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĠĠĠ ĠassertEquals (" BC ", Ġglobal ) ĊĊĠĠĠ Ġreturn Ġ" OK " Ċ }