METHOD_0 ( ) { "<AssertPlaceHolder>" ; } METHOD_1 ( java . lang . String , java . lang . String , java . lang . String ) { if ( ( ( IDENT_0 == null ) || ( IDENT_1 == null ) ) || ( IDENT_2 == null ) ) { return false ; } if ( ( ( IDENT_0 . isEmpty ( ) ) && ( IDENT_1 . isEmpty ( ) ) ) && ( IDENT_2 . isEmpty ( ) ) ) { return true ; } if ( IDENT_0 . isEmpty ( ) ) { return IDENT_1 . equals ( IDENT_2 ) ; } if ( IDENT_1 . isEmpty ( ) ) { return IDENT_0 . equals ( IDENT_2 ) ; } if ( ( ( IDENT_0 . length ( ) ) + ( IDENT_1 . length ( ) ) ) != ( IDENT_2 . length ( ) ) ) { return false ; } boolean [ ] [ ] t = new boolean [ ( IDENT_0 . length ( ) ) + 1 ] [ ( IDENT_1 . length ( ) ) + 1 ] ; t [ 0 ] [ 0 ] = true ; for ( int i = 0 ; i <= ( IDENT_0 . length ( ) ) ; i ++ ) { for ( int j = 0 ; j <= ( IDENT_1 . length ( ) ) ; j ++ ) { if ( i > 0 ) { t [ i ] [ j ] = ( t [ ( i - 1 ) ] [ j ] ) && ( ( IDENT_0 . charAt ( ( i - 1 ) ) ) == ( IDENT_2 . charAt ( ( ( i + j ) - 1 ) ) ) ) ; } if ( j > 0 ) { t [ i ] [ j ] OP_0 ( t [ i ] [ ( j - 1 ) ] ) && ( ( IDENT_1 . charAt ( ( j - 1 ) ) ) == ( IDENT_2 . charAt ( ( ( i + j ) - 1 ) ) ) ) ; } } } return ( ( t [ IDENT_0 . length ( ) ] [ IDENT_1 . length ( ) ] ) | ( t [ ( ( IDENT_0 . length ( ) ) - 1 ) ] [ IDENT_1 . length ( ) ] ) ) | ( t [ IDENT_0 . length ( ) ] [ ( ( IDENT_1 . length ( ) ) - 1 ) ] ) ; }
org . junit . Assert . assertTrue ( t . METHOD_1 ( "a" , "" , "a" ) )