METHOD_0 ( ) { org . IDENT_0 . IDENT_1 . IDENT_2 IDENT_3 = IDENT_4 . METHOD_1 ( "test" ) ; IDENT_3 . store ( null , org . IDENT_0 . IDENT_1 . IDENT_5 . key ( INT_0 , 1 ) , new byte [ 10 ] ) ; IDENT_3 . store ( null , org . IDENT_0 . IDENT_1 . IDENT_5 . key ( INT_0 , 2 ) , new byte [ 10 ] ) ; IDENT_3 . store ( null , org . IDENT_0 . IDENT_1 . IDENT_5 . key ( INT_1 , 4 ) , new byte [ 10 ] ) ; IDENT_3 . store ( null , org . IDENT_0 . IDENT_1 . IDENT_5 . key ( INT_1 , 5 ) , new byte [ 10 ] ) ; IDENT_3 . store ( null , org . IDENT_0 . IDENT_1 . IDENT_5 . key ( 3 ) , new byte [ INT_2 ] ) ; "<AssertPlaceHolder>" ; } verify ( org . IDENT_0 . IDENT_1 . IDENT_6 ) { if ( IDENT_7 == null ) { IDENT_7 = new org . IDENT_0 . IDENT_1 . METHOD_2 ( ) ; } org . IDENT_0 . IDENT_1 . IDENT_2 view = METHOD_3 ( ) ; IDENT_7 . IDENT_8 = false ; METHOD_4 ( view , IDENT_7 ) ; boolean IDENT_9 = ! ( IDENT_7 . IDENT_8 ) ; IDENT_7 . METHOD_5 ( view , IDENT_9 , null ) ; return IDENT_9 ; }
org . junit . Assert . assertTrue ( IDENT_3 . verify ( new org . IDENT_0 . IDENT_1 . METHOD_2 ( ) ) )