// Ġ! DIAG NO ST ICS : Ġ- UNUSED _ EXPRESSION Ċ // Ġ! WITH _ ENUM _ CLASSES Ċ Ċ /* Ċ ĠK OT LIN ĠDI AG NO ST ICS ĠSPEC ĠTEST Ġ( NEGATIVE ) ĊĊ ĠSECTION S : Ġwhen - expression Ċ ĠPAR AG R APH : Ġ 1 1 Ċ ĠS ENT ENCE : Ġ[ 7 ] ĠThe Ġbound Ġexpression Ġis Ġof Ġan ĠEnum Ġclasses Ġtype Ġand Ġall Ġenum erated Ġvalues Ġare Ġchecked Ġfor Ġequality Ġusing Ġconstant Ġconditions ; Ċ ĠNUMBER : Ġ 1 Ċ ĠDESCRIPTION : ĠChecking Ġfor Ġnot Ġex haustive Ġwhen Ġwhen Ġnot Ġcovered Ġby Ġall Ġenum erated Ġvalues . Ċ Ġ*/ Ċ Ċ // ĠCASE ĠDESCRIPTION : ĠChecking Ġfor Ġnot Ġex haustive Ġ' when ' Ġon Ġthe ĠEnum Ġ( not Ġall Ġvalues ). Ċ fun Ġcase _ 1 ( value _ 1 : Ġ_ Enum Class ): ĠString Ġ= Ġ<! NO _ ELSE _ IN _ WHEN !> when <! >( value _ 1 ) Ġ{ ĊĠĠĠ Ġ_ Enum Class . EAST Ġ-> Ġ"" ĊĠĠĠ Ġ_ Enum Class . SO UTH Ġ-> Ġ"" ĊĠĠĠ Ġ_ Enum Class . NORTH Ġ-> Ġ"" Ċ } Ċ Ċ // ĠCASE ĠDESCRIPTION : ĠChecking Ġfor Ġnot Ġex haustive Ġ' when ' Ġon Ġthe ĠEnum Ġ( not Ġall Ġvalues Ġwith Ġenum er ations ). Ċ fun Ġcase _ 2 ( value _ 1 : Ġ_ Enum Class ): ĠString Ġ= Ġ<! NO _ ELSE _ IN _ WHEN !> when <! >( value _ 1 ) Ġ{ ĊĠĠĠ Ġ_ Enum Class . EAST , Ġ_ Enum Class . SO UTH , Ġ_ Enum Class . NORTH Ġ-> Ġ"" Ċ } Ċ Ċ // ĠCASE ĠDESCRIPTION : ĠChecking Ġfor Ġnot Ġex haustive Ġ' when ' Ġon Ġthe ĠEnum Ġ( one Ġbranch ). Ċ fun Ġcase _ 3 ( value _ 1 : Ġ_ Enum Class ): ĠString Ġ= Ġ<! NO _ ELSE _ IN _ WHEN !> when <! >( value _ 1 ) Ġ{ ĊĠĠĠ Ġ_ Enum Class . EAST Ġ-> Ġ"" Ċ } Ċ Ċ // ĠCASE ĠDESCRIPTION : ĠChecking Ġfor Ġnot Ġex haustive Ġ' when ' Ġon Ġthe ĠEnum Ġwith Ġseveral Ġvalues Ġ( no Ġbranches ). Ċ fun Ġcase _ 4 ( value _ 1 : Ġ_ Enum Class ): ĠString Ġ= Ġ<! NO _ ELSE _ IN _ WHEN !> when <! >( value _ 1 ) Ġ{ Ġ} Ċ Ċ // ĠCASE ĠDESCRIPTION : ĠChecking Ġfor Ġnot Ġex haustive Ġ' when ' Ġon Ġthe ĠEnum Ġwith Ġone Ġvalue Ġ( no Ġbranches ). Ċ fun Ġcase _ 5 ( value _ 1 : Ġ_ Enum Class Single ): ĠString Ġ= Ġ<! NO _ ELSE _ IN _ WHEN !> when <! >( value _ 1 ) Ġ{ Ġ} Ċ Ċ /* Ċ ĠCASE ĠDESCRIPTION : ĠChecking Ġfor Ġnot Ġex haustive Ġ' when ' Ġwith Ġall ĠEnum Ġvalues Ġcovered , Ġbut Ġusing Ġvariable . Ċ ĠDIS CU SS ION : Ġmaybe Ġuse Ġconst Ġpropagation Ġhere ? Ċ ĠISS UES : ĠK T - 2 5 2 6 5 Ċ Ġ*/ Ċ fun Ġcase _ 6 ( value _ 1 : Ġ_ Enum Class ): ĠString Ġ{ ĊĠĠĠ Ġval Ġwest Ġ= Ġ_ Enum Class . WEST ĊĊĠĠĠ Ġreturn Ġ<! NO _ ELSE _ IN _ WHEN !> when <! > Ġ( value _ 1 ) Ġ{ ĊĠĠĠĠĠĠĠ Ġ_ Enum Class . EAST Ġ-> Ġ"" ĊĠĠĠĠĠĠĠ Ġ_ Enum Class . SO UTH Ġ-> Ġ"" ĊĠĠĠĠĠĠĠ Ġ_ Enum Class . NORTH Ġ-> Ġ"" ĊĠĠĠĠĠĠĠ Ġwest Ġ-> Ġ"" ĊĠĠĠ Ġ} Ċ } Ċ Ċ /* Ċ ĠCASE ĠDESCRIPTION : ĠChecking Ġfor Ġnot Ġex haustive Ġ' when ' Ġon Ġthe Ġempty Ġenum Ġclass . Ċ ĠDIS CU SS ION Ċ ĠISS UES : ĠK T - 2 6 0 4 4 Ċ Ġ*/ Ċ fun Ġcase _ 7 ( value _ 1 : Ġ_ Enum Class Empty ): ĠString Ġ= Ġ<! NO _ ELSE _ IN _ WHEN !> when <! > Ġ( value _ 1 ) Ġ{ Ġ} Ċ