Buggy code:
public class CoverageTestCase extends AjdocTestCase { protected File file0 ; protected File file1 ; protected File aspect1 ; protected File file2 ; protected File file3 ; protected File file4 ; protected File file5 ; protected File file6 ; protected File file7 ; protected File file8 ; protected File file9 ; protected File file10 ; protected void setUp ( ) throws Exception { } public void testOptions ( ) { } public void testCoveragePublicMode ( ) throws Exception { } public void testAJdocHasAspectTitle ( ) throws Exception { } public void testAJdocHasClassTitle ( ) throws Exception { } public void testInnerAspect ( ) throws Exception { } public void testAdviceNamingCoverage ( ) throws Exception { } public void testAdvisesRelationshipCoverage ( ) throws Exception { File [ ] files = new File [ ] { file4 } ; runAjdoc ( "private" , "1.4" , files ) ; File htmlFile = new File ( ( ( getAbsolutePathOutdir ( ) ) + "//foo//AdvisesRelationshipCoverage.html" ) ) ; if ( ( htmlFile == null ) || ( ! ( htmlFile . exists ( ) ) ) ) { fail ( ( ( "couldn't<seq2seq4repair_space>find<seq2seq4repair_space>" + ( htmlFile . getAbsolutePath ( ) ) ) + "<seq2seq4repair_space>-<seq2seq4repair_space>were<seq2seq4repair_space>there<seq2seq4repair_space>compilation<seq2seq4repair_space>errors?" ) ) ; } <START_BUG> String [ ] strings = new String [ ] { "before():<seq2seq4repair_space>methodExecutionP.." , "HREF=\"..//foo//Point.html#setX(int)\"" , "before():<seq2seq4repair_space>constructorExecutionP.." , "HREF=\"..//foo//Point.html#Point()\"" , "before():<seq2seq4repair_space>callMethodP.." , "HREF=\"..//foo//Point.html#changeX(int)\"" , "before():<seq2seq4repair_space>callConstructorP.." , "HREF=\"..//foo//Point.html#doIt()\"" , "before():<seq2seq4repair_space>getP.." , "HREF=\"..//foo//Point.html#getX()\"" , "before():<seq2seq4repair_space>setP.." , "HREF=\"..//foo//Point.html\"><tt>foo.Point<//tt><//A>,<seq2seq4repair_space><A<seq2seq4repair_space>HREF=\"..//foo//Point.html#Point()\"><tt>foo.Point.Point()<//tt><//A>,<seq2seq4repair_space><A<seq2seq4repair_space>HREF=\"..//foo//Point.html#setX(int)\"" , "before():<seq2seq4repair_space>initializationP.." , "HREF=\"..//foo//Point.html#Point()\"" , "before():<seq2seq4repair_space>staticinitializationP.." , "HREF=\"..//foo//Point.html\"" , "before():<seq2seq4repair_space>handlerP.." , "HREF=\"..//foo//Point.html#doIt()\"" } ; <END_BUG> for ( int i = 0 ; i < ( ( strings . length ) - 1 ) ; i = i + 2 ) { boolean b = AjdocOutputChecker . detailSectionContainsRel ( htmlFile , "ADVICE<seq2seq4repair_space>DETAIL<seq2seq4repair_space>SUMMARY" , strings [ i ] , ADVISES , strings [ ( i + 1 ) ] ) ; assertTrue ( ( ( ( ( strings [ i ] ) + "<seq2seq4repair_space>should<seq2seq4repair_space>advise<seq2seq4repair_space>" ) + ( strings [ ( i + 1 ) ] ) ) + "<seq2seq4repair_space>in<seq2seq4repair_space>the<seq2seq4repair_space>Advice<seq2seq4repair_space>Detail<seq2seq4repair_space>section" ) , b ) ; } for ( int i = 0 ; i < ( ( strings . length ) - 1 ) ; i = i + 2 ) { boolean b = AjdocOutputChecker . summarySectionContainsRel ( htmlFile , "ADVICE<seq2seq4repair_space>SUMMARY" , strings [ i ] , ADVISES , strings [ ( i + 1 ) ] ) ; assertTrue ( ( ( ( ( strings [ i ] ) + "<seq2seq4repair_space>should<seq2seq4repair_space>advise<seq2seq4repair_space>" ) + ( strings [ ( i + 1 ) ] ) ) + "<seq2seq4repair_space>in<seq2seq4repair_space>the<seq2seq4repair_space>Advice<seq2seq4repair_space>Summary<seq2seq4repair_space>section" ) , b ) ; } } public void testAdvisedByMethodExecution ( ) throws Exception { } public void testAdvisedByConstructorExecution ( ) throws Exception { } public void testAdvisedByMethodCall ( ) throws Exception { } public void testAdvisedByConstructorCall ( ) throws Exception { } public void testAdvisedByGet ( ) throws Exception { } public void testAdvisedBySet ( ) throws Exception { } public void testAdvisedByInitialization ( ) throws Exception { } public void testAdvisedByStaticInitialization ( ) throws Exception { } public void testAdvisedByHandler ( ) throws Exception { } public void testTwoBeforeAdvice ( ) throws Exception { } public void testNoSpuriousAdvisedByRels ( ) throws Exception { } public void testCoverage ( ) { } public void testNestedAspect ( ) throws Exception { } public void testNestedAspectWithSimilarName ( ) throws Exception { } public void testAdviceInNestedAspect ( ) throws Exception { } public void testAdvisedByInNestedAspect ( ) throws Exception { } private void createFiles ( ) { } }

Fix:
String [ ] strings = new String [ ] { "before():<seq2seq4repair_space>methodExecutionP.." , "HREF=\"..//foo//Point.html#setX(int)\"" , "before():<seq2seq4repair_space>constructorExecutionP.." , "HREF=\"..//foo//Point.html#Point()\"" , "before():<seq2seq4repair_space>callMethodP.." , "HREF=\"..//foo//Point.html#changeX(int)\"" , "before():<seq2seq4repair_space>callConstructorP.." , "HREF=\"..//foo//Point.html#doIt()\"" , "before():<seq2seq4repair_space>getP.." , "HREF=\"..//foo//Point.html#getX()\"" , "before():<seq2seq4repair_space>setP.." , "HREF=\"..//foo//Point.html\"><tt>foo.Point<//tt><//A>,<seq2seq4repair_space><A<seq2seq4repair_space>HREF=\"..//foo//Point.html#Point()\"><tt>foo.Point.Point<//tt><//A>,<seq2seq4repair_space><A<seq2seq4repair_space>HREF=\"..//foo//Point.html#setX(int)\"" , "before():<seq2seq4repair_space>initializationP.." , "HREF=\"..//foo//Point.html#Point()\"" , "before():<seq2seq4repair_space>staticinitializationP.." , "HREF=\"..//foo//Point.html\"" , "before():<seq2seq4repair_space>handlerP.." , "HREF=\"..//foo//Point.html#doIt()\"" } ;