METHOD_0 ( ) { java . io . File file = METHOD_1 ( java . io . File . class ) ; expect ( file . METHOD_2 ( ) ) . andReturn ( 1L ) ; expect ( file . METHOD_2 ( ) ) . andReturn ( INT_0 ) ; replay ( file ) ; com . IDENT_0 . resources . monitor . IDENT_1 IDENT_2 = new com . IDENT_0 . resources . monitor . METHOD_3 ( file ) ; "<AssertPlaceHolder>" ; verify ( file ) ; } METHOD_4 ( ) { return ( METHOD_2 ) != ( file . METHOD_2 ( ) ) ; }
org . junit . Assert . assertEquals ( true , IDENT_2 . METHOD_4 ( ) )