METHOD_0 ( ) { java . io . File file = new java . io . File ( STRING_0 ) { @ net . IDENT_0 . core . common . Override public boolean METHOD_1 ( ) { return true ; } @ net . IDENT_0 . core . common . Override public boolean METHOD_2 ( ) { return true ; } @ net . IDENT_0 . core . common . Override public boolean METHOD_3 ( ) { return false ; } } ; "<AssertPlaceHolder>" ; } METHOD_4 ( java . io . File ) { return ( ( file . METHOD_1 ( ) ) && ( file . METHOD_2 ( ) ) ) && ( ! ( file . METHOD_3 ( ) ) ) ; }
org . junit . Assert . assertTrue ( METHOD_4 ( file ) )