/* Ċ Ġ* ĠK OT LIN ĠDI AG NO ST ICS ĠSPEC ĠTEST Ġ( NEGATIVE ) Ċ Ġ* Ċ Ġ* ĠSECTION S : Ġwhen - expression Ċ Ġ* ĠPAR AG R APH : Ġ 1 1 Ċ Ġ* ĠS ENT ENCE : Ġ[ 1 ] ĠIt Ġhas Ġan Ġelse Ġentry ; Ċ Ġ* ĠNUMBER : Ġ 1 Ċ Ġ* ĠDESCRIPTION : ĠChecking Ġfor Ġnot Ġex haustive Ġwhen Ġwithout Ġbound Ġvalue Ġwhen Ġthere Ġis Ġno Ġelse Ġbranch . Ċ Ġ*/ Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 1 Ċ fun Ġcase _ 1 ( value _ 1 : ĠInt ): ĠString Ġ= Ġ<! NO _ ELSE _ IN _ WHEN !> when <! > Ġ{ ĊĠĠĠ Ġvalue _ 1 Ġ== Ġ 1 Ġ-> Ġ"" ĊĠĠĠ Ġvalue _ 1 Ġ== Ġ 2 Ġ-> Ġ"" ĊĠĠĠ Ġvalue _ 1 Ġ== Ġ 3 Ġ-> Ġ"" Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 2 Ċ fun Ġcase _ 2 ( value _ 1 : ĠInt ): ĠString Ġ= Ġ<! NO _ ELSE _ IN _ WHEN !> when <! > Ġ{ ĊĠĠĠ Ġvalue _ 1 Ġ== Ġ 1 Ġ-> Ġ"" Ċ } Ċ Ċ // ĠTEST CASE ĠNUMBER : Ġ 3 Ċ fun Ġcase _ 3 (): ĠInt Ġ= Ġ<! NO _ ELSE _ IN _ WHEN !> when <! > Ġ{} Ċ