METHOD_0 ( ) { IDENT_0 . IDENT_1 . util . IDENT_2 file = new IDENT_0 . IDENT_1 . util . METHOD_1 ( STRING_0 , STRING_1 ) ; file . write ( new byte [ 10 ] ) ; file . close ( ) ; file = new IDENT_0 . IDENT_1 . util . METHOD_1 ( STRING_0 , STRING_1 ) ; try { file . read ( ) ; long IDENT_3 = file . METHOD_2 ( ) ; file . METHOD_3 ( 20 ) ; file . read ( ) ; file . METHOD_4 ( ) ; "<AssertPlaceHolder>" ; } finally { file . close ( ) ; } } METHOD_2 ( ) { return ( this . IDENT_4 ) + ( this . IDENT_5 . IDENT_6 ) ; }
org . junit . Assert . assertEquals ( IDENT_3 , file . METHOD_2 ( ) )