METHOD_0 ( ) { "<AssertPlaceHolder>" ; verify ( IDENT_0 , METHOD_1 ( ) ) . METHOD_2 ( METHOD_3 ( ) ) ; verify ( IDENT_1 , times ( 1 ) ) . METHOD_4 ( ) ; } METHOD_2 ( java . security . IDENT_2 ) { if ( METHOD_5 ( user ) ) { return false ; } else { throw new java . lang . METHOD_6 ( STRING_0 ) ; } }
org . junit . Assert . assertFalse ( group . METHOD_2 ( METHOD_3 ( ) ) )