METHOD_0 ( ) { org . IDENT_0 . IDENT_1 . IDENT_2 IDENT_3 = IDENT_4 . METHOD_1 ( "test" ) ; int IDENT_5 = 200 ; int IDENT_6 = INT_0 ; for ( int i = 0 ; i < IDENT_5 ; i ++ ) { IDENT_3 . store ( IDENT_7 . IDENT_8 , org . IDENT_0 . IDENT_1 . IDENT_9 . key ( i ) , new byte [ 0 ] ) ; } byte [ ] k = org . IDENT_0 . IDENT_1 . IDENT_9 . key ( IDENT_5 ) ; IDENT_3 . store ( IDENT_7 . IDENT_8 , k , new byte [ INT_1 ] ) ; for ( int i = 0 ; i < IDENT_6 ; i ++ ) { int n = ( IDENT_5 + i ) + 1 ; IDENT_3 . store ( IDENT_7 . IDENT_8 , org . IDENT_0 . IDENT_1 . IDENT_9 . key ( n ) , new byte [ 10 ] ) ; } IDENT_3 . store ( IDENT_7 . IDENT_8 , k , new byte [ INT_2 ] ) ; "<AssertPlaceHolder>" ; } verify ( org . IDENT_0 . IDENT_1 . IDENT_10 ) { if ( IDENT_11 == null ) { IDENT_11 = new org . IDENT_0 . IDENT_1 . METHOD_2 ( ) ; } org . IDENT_0 . IDENT_1 . IDENT_2 view = METHOD_3 ( ) ; IDENT_11 . IDENT_12 = false ; METHOD_4 ( view , IDENT_11 ) ; boolean IDENT_13 = ! ( IDENT_11 . IDENT_12 ) ; IDENT_11 . METHOD_5 ( view , IDENT_13 , null ) ; return IDENT_13 ; }
org . junit . Assert . assertTrue ( IDENT_3 . verify ( null ) )