METHOD_0 ( ) { int index = 1 ; int IDENT_0 = 2 ; org . mockito . Mockito . when ( IDENT_1 . METHOD_1 ( ) ) . thenReturn ( IDENT_0 ) ; org . mockito . Mockito . METHOD_2 ( ) . when ( IDENT_1 ) . METHOD_3 ( index ) ; boolean ret = IDENT_1 . METHOD_3 ( index ) ; "<AssertPlaceHolder>" ; } METHOD_3 ( int ) { return ( index >= 0 ) && ( index <= ( METHOD_1 ( ) ) ) ; }
org . junit . Assert . assertTrue ( ret )