METHOD_0 ( ) { org . IDENT_0 . eclipse . IDENT_1 . IDENT_2 core = METHOD_1 ( METHOD_2 ( ) , 10 ) ; IDENT_1 . METHOD_3 ( new org . IDENT_0 . eclipse . IDENT_1 . METHOD_4 ( ) { @ org . IDENT_0 . eclipse . IDENT_1 . Override public void METHOD_5 ( ) { ( IDENT_3 ) ++ ; } } ) ; IDENT_1 . METHOD_6 ( ) ; "<AssertPlaceHolder>" ; verify ( core ) . METHOD_7 ( any ( org . IDENT_0 . IDENT_4 . IDENT_5 . class ) ) ; } METHOD_6 ( ) { if ( IDENT_6 . METHOD_8 ( ) ) { METHOD_9 ( org . IDENT_0 . eclipse . IDENT_1 . IDENT_7 . METHOD_10 ( ) ) ; } else { int IDENT_8 = METHOD_11 ( IDENT_6 ) ; if ( IDENT_8 == 0 ) { METHOD_9 ( org . IDENT_0 . eclipse . IDENT_1 . IDENT_7 . METHOD_12 ( ) ) ; } } }
org . junit . Assert . assertEquals ( 1 , IDENT_3 )