METHOD_0 ( ) { System . out . println ( STRING_0 ) ; org . IDENT_0 . buffer . IDENT_1 IDENT_2 = new org . IDENT_0 . buffer . METHOD_1 ( ) ; for ( int k = 0 ; k < 1000 ; ++ k ) { IDENT_2 . add ( ( INT_0 * k ) ) ; } for ( int k = INT_1 ; k < INT_2 ; ++ k ) { if ( ( k OP_0 INT_3 ) != 0 ) { IDENT_2 . add ( k ) ; } } IDENT_2 . METHOD_2 ( ) ; java . nio . ByteBuffer buffer = org . IDENT_0 . buffer . IDENT_3 . METHOD_3 ( IDENT_2 ) ; buffer . METHOD_4 ( ) ; org . IDENT_0 . buffer . IDENT_4 IDENT_5 = new org . IDENT_0 . buffer . METHOD_5 ( buffer ) ; for ( int k = 0 ; k < ( INT_0 * 1000 ) ; ++ k ) { "<AssertPlaceHolder>" ; } } contains ( int ) { throw new java . lang . METHOD_6 ( STRING_1 ) ; }
org . junit . Assert . assertTrue ( ( ( IDENT_5 . contains ( k ) ) == ( ( ( k / INT_0 ) * INT_0 ) == k ) ) )