equal
deleted
inserted
replaced
31 * @run main T5093723 |
31 * @run main T5093723 |
32 */ |
32 */ |
33 |
33 |
34 public class T5093723 extends JavadocTester { |
34 public class T5093723 extends JavadocTester { |
35 |
35 |
36 private static final String BUG_ID = "5093723"; |
|
37 |
|
38 private static final String[] ARGS = new String[] { |
36 private static final String[] ARGS = new String[] { |
39 "-d", BUG_ID + ".out", "-Xdoclint:none", |
37 "-d", OUTPUT_DIR + ".out", "-Xdoclint:none", |
40 SRC_DIR + "/DocumentedClass.java", |
38 SRC_DIR + "/DocumentedClass.java", |
41 SRC_DIR + "/UndocumentedClass.java" |
39 SRC_DIR + "/UndocumentedClass.java" |
42 }; |
40 }; |
43 |
41 |
44 public static void main(String... args) { |
42 public static void main(String... args) { |
45 T5093723 tester = new T5093723(); |
43 T5093723 tester = new T5093723(); |
46 if (tester.runJavadoc(ARGS) != 0) |
44 if (tester.runJavadoc(ARGS) != 0) |
47 throw new AssertionError("non-zero return code from javadoc"); |
45 throw new AssertionError("non-zero return code from javadoc"); |
48 } |
46 } |
49 |
|
50 public String getBugId() { |
|
51 return BUG_ID; |
|
52 } |
|
53 |
|
54 public String getBugName() { |
|
55 return getClass().getName(); |
|
56 } |
|
57 } |
47 } |