author | fyuan |
Thu, 11 Aug 2016 10:20:44 +0800 | |
changeset 40292 | bcb68f9b7b34 |
parent 30730 | d3ce7619db2c |
permissions | -rw-r--r-- |
20254
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
1 |
/* @test /nodynamiccopyright/ |
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
2 |
* @bug 8025246 |
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
3 |
* @summary doclint is showing error on anchor already defined when it's not |
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
4 |
* @library ../.. |
30730
d3ce7619db2c
8076543: Add @modules as needed to the langtools tests
akulyakh
parents:
20254
diff
changeset
|
5 |
* @modules jdk.compiler/com.sun.tools.doclint |
20254
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
6 |
* @build DocLintTester |
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
7 |
* @run main DocLintTester -ref package-info.out package-info.java |
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
8 |
* @compile/fail/ref=package-info.javac.out -XDrawDiagnostics -Werror -Xdoclint:all package-info.java |
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
9 |
*/ |
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
10 |
|
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
11 |
/** |
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
12 |
* <a name=here>here</a> |
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
13 |
* <a name=here>here again</a> |
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
14 |
*/ |
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
15 |
package p; |
8246fe4d6638
8025246: [doclint] doclint is showing error on anchor already defined when it's not
jjg
parents:
diff
changeset
|
16 |