METHOD_0 ( ) { METHOD_1 ( STRING_0 ) ; org . IDENT_0 . model . User user = IDENT_1 . METHOD_2 ( ) ; final int version = user . METHOD_3 ( ) ; user . METHOD_4 ( STRING_1 ) ; user = IDENT_1 . METHOD_2 ( user ) ; "<AssertPlaceHolder>" ; } METHOD_3 ( ) { return version ; }
org . junit . Assert . assertEquals ( ( version + 1 ) , ( ( int ) ( user . METHOD_3 ( ) ) ) )