METHOD_0 ( ) { int min = 0 ; int max = 100 ; IDENT_0 . IDENT_1 . IDENT_2 . IDENT_3 . IDENT_4 IDENT_5 = new IDENT_0 . IDENT_1 . IDENT_2 . IDENT_3 . METHOD_1 ( min , max , IDENT_0 . IDENT_1 . IDENT_2 . IDENT_3 . IDENT_6 . IDENT_7 , IDENT_0 . IDENT_1 . IDENT_2 . IDENT_3 . IDENT_6 . IDENT_8 ) ; javax . IDENT_9 . IDENT_10 input = new javax . IDENT_9 . METHOD_2 ( java . lang . Integer . toString ( ( min - 1 ) ) ) ; "<AssertPlaceHolder>" ; } verify ( javax . IDENT_9 . IDENT_11 ) { javax . IDENT_9 . METHOD_2 IDENT_12 = ( ( javax . IDENT_9 . METHOD_2 ) ( input ) ) ; try { int IDENT_13 = java . lang . Integer . METHOD_3 ( IDENT_12 . getText ( ) ) ; return ( IDENT_13 >= ( min ) ) && ( IDENT_13 <= ( max ) ) ; } catch ( java . lang . IDENT_14 e ) { return false ; } }
org . junit . Assert . assertFalse ( IDENT_5 . verify ( input ) )