Javadoc renders the string ".*\\.pdf" as ".\*\.pdf"

Name: rmT116609 Date: 08/21/2003


FULL PRODUCT VERSION :
java version "1.4.1_02"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.4.1_02-b06)
Java HotSpot(TM) Client VM (build 1.4.1_02-b06, mixed mode)

java version "1.4.2"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.4.2-b28)
Java HotSpot(TM) Client VM (build 1.4.2-b28, mixed mode)

FULL OS VERSION :
Microsoft Windows XP [Version 5.1.2600]

A DESCRIPTION OF THE PROBLEM :
When generating javadoc for the following class:

    package foo;

    /**
     * bar(".*\\.pdf")
     **/
    public class Foo {
    }

The class documentation comes out as:

    public class Foo
    extends java.lang.Object

    bar(".\*\.pdf");

For some reason, the first backslash is moved one position to the left. This is
clearly not what one would have expected. Javadoc should leave the pattern as it
is.

STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
Run javadoc on the example class and look at the generated HTML.

EXPECTED VERSUS ACTUAL BEHAVIOR :
EXPECTED -
I would expect the generated HTML to contain the following text:

    public class Foo
    extends java.lang.Object

    bar(".*\\.pdf");
ACTUAL -
    public class Foo
    extends java.lang.Object

    bar(".\*\.pdf");

REPRODUCIBILITY :
This bug can be reproduced always.

---------- BEGIN SOURCE ----------
package foo;

/**
 * bar(".*\\.pdf")
 **/
public class Foo {
}
---------- END SOURCE ----------

CUSTOMER SUBMITTED WORKAROUND :
Replace the backslashes with the entity \.
(Incident Review ID: 199984)
======================================================================
###@###.### 10/25/04 21:50 GMT