// Ġ! LANGUAGE : Ġ+ Pro hibit Concurrent HashMap Contains Ċ // Ġ! WITH _ NEW _ IN FER ENCE Ċ // ĠFULL _ JDK Ċ Ċ class ĠA Ġ: Ġjava . util . concurrent . Concurrent HashMap < String , ĠInt >() Ġ{ ĊĠĠĠ Ġoperator Ġfun Ġcontains ( <! UNUSED _ PARAMETER !> x <! >: ĠChar ): ĠBoolean Ġ= Ġtrue Ċ } Ċ class ĠB Ġ: Ġjava . util . concurrent . Concurrent HashMap < String , ĠInt >() Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġcontains ( value : ĠAny ?): ĠBoolean Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġsuper . contains ( value ) ĊĠĠĠ Ġ} Ċ } Ċ Ċ class ĠC Ġ: Ġjava . util . concurrent . Concurrent HashMap < String , ĠInt >() Ġ{ ĊĠĠĠ Ġoperator Ġoverride Ġfun Ġcontains ( value : ĠAny ?): ĠBoolean Ġ{ ĊĠĠĠĠĠĠĠ Ġreturn Ġsuper . contains ( value ) ĊĠĠĠ Ġ} Ċ } Ċ Ċ fun Ġmain () Ġ{ ĊĠĠĠ Ġval Ġhm Ġ= Ġjava . util . concurrent . Concurrent HashMap < String , ĠInt >() ĊĠĠĠ Ġ"" Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> in <! > Ġhm ĊĠĠĠ Ġ"" Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> ! in <! > Ġhm ĊĠĠĠĠ 1 Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> ! in <! > Ġhm ĊĠĠĠĠ 2 Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> in <! > Ġhm ĊĊĠĠĠ Ġhm . contains ("") ĊĠĠĠ Ġhm . contains ( 1 ) ĊĊĠĠĠ Ġ"" Ġin Ġ( hm Ġas ĠMap < String , ĠInt >) ĊĠĠĠ Ġ"" Ġ! in Ġ( hm Ġas ĠMap < String , ĠInt >) ĊĠĠĠĠ 1 Ġ<! OI ; TYPE _ IN FER ENCE _ CONF LI CT ING _ SUB STIT UTION S !> in <! > Ġ( hm Ġas ĠMap < String , ĠInt >) ĊĠĠĠĠ 1 Ġ<! OI ; TYPE _ IN FER ENCE _ CONF LI CT ING _ SUB STIT UTION S !> ! in <! > Ġ( hm Ġas ĠMap < String , ĠInt >) ĊĊĠĠĠ Ġval Ġa Ġ= ĠA () ĊĠĠĠ Ġ"" Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> in <! > Ġa ĊĠĠĠ Ġ"" Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> ! in <! > Ġa ĊĠĠĠĠ 1 Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> ! in <! > Ġa ĊĠĠĠĠ 2 Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> in <! > Ġa ĊĊĠĠĠ Ġ' Ġ' Ġin Ġa ĊĠĠĠ Ġ' Ġ' Ġ! in Ġa ĊĠĠĠ Ġa . contains ("") ĊĠĠĠ Ġa . contains ( 1 ) ĊĊĠĠĠ Ġ"" Ġin Ġ( a Ġas ĠMap < String , ĠInt >) ĊĠĠĠ Ġ"" Ġ! in Ġ( a Ġas ĠMap < String , ĠInt >) ĊĠĠĠĠ 1 Ġ<! OI ; TYPE _ IN FER ENCE _ CONF LI CT ING _ SUB STIT UTION S !> in <! > Ġ( a Ġas ĠMap < String , ĠInt >) ĊĠĠĠĠ 1 Ġ<! OI ; TYPE _ IN FER ENCE _ CONF LI CT ING _ SUB STIT UTION S !> ! in <! > Ġ( a Ġas ĠMap < String , ĠInt >) ĊĊĠĠĠ Ġval Ġb Ġ= ĠB () ĊĠĠĠ Ġ"" Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> in <! > Ġb ĊĠĠĠ Ġ"" Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> ! in <! > Ġb ĊĠĠĠĠ 1 Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> ! in <! > Ġb ĊĠĠĠĠ 2 Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> in <! > Ġb ĊĊĠĠĠ Ġb . contains ("") ĊĠĠĠ Ġb . contains ( 1 ) ĊĊĠĠĠ Ġ"" Ġin Ġ( b Ġas ĠMap < String , ĠInt >) ĊĠĠĠ Ġ"" Ġ! in Ġ( b Ġas ĠMap < String , ĠInt >) ĊĠĠĠĠ 1 Ġ<! OI ; TYPE _ IN FER ENCE _ CONF LI CT ING _ SUB STIT UTION S !> in <! > Ġ( b Ġas ĠMap < String , ĠInt >) ĊĠĠĠĠ 1 Ġ<! OI ; TYPE _ IN FER ENCE _ CONF LI CT ING _ SUB STIT UTION S !> ! in <! > Ġ( b Ġas ĠMap < String , ĠInt >) ĊĊĠĠĠ Ġ// ĠActually , Ġwe Ġcould 've Ġallow Ġcalls Ġhere Ġbecause Ġthe Ġowner Ġexplicitly Ġdeclared Ġas Ġoperator , Ġbut Ġsemantics Ġis Ġstill Ġweird ĊĠĠĠ Ġval Ġc Ġ= ĠC () ĊĠĠĠ Ġ"" Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> in <! > Ġc ĊĠĠĠ Ġ"" Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> ! in <! > Ġc ĊĠĠĠĠ 1 Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> ! in <! > Ġc ĊĠĠĠĠ 2 Ġ<! CON CURRENT _ HASH _ MAP _ CONTAIN S _ OPERATOR _ ERROR !> in <! > Ġc ĊĊĠĠĠ Ġc . contains ("") ĊĠĠĠ Ġc . contains ( 1 ) ĊĊĠĠĠ Ġ"" Ġin Ġ( c Ġas ĠMap < String , ĠInt >) ĊĠĠĠ Ġ"" Ġ! in Ġ( c Ġas ĠMap < String , ĠInt >) ĊĠĠĠĠ 1 Ġ<! OI ; TYPE _ IN FER ENCE _ CONF LI CT ING _ SUB STIT UTION S !> in <! > Ġ( c Ġas ĠMap < String , ĠInt >) ĊĠĠĠĠ 1 Ġ<! OI ; TYPE _ IN FER ENCE _ CONF LI CT ING _ SUB STIT UTION S !> ! in <! > Ġ( c Ġas ĠMap < String , ĠInt >) Ċ } ĊĊ