archive/jdk
1
0
Fork 0
mirror of https://github.com/openjdk/jdk.git synced 2025-09-20 19:14:38 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

6493690: javadoc should have a javax.tools.Tool service provider installed in tools.jar

Browse source 
Reviewed-by: darcy
This commit is contained in:
Jonathan Gibbons 2012-11-15 23:07:24 -08:00
parent 6ef527a3e7
commit b3a3f7cdf3
40 changed files with 2449 additions and 117 deletions
Download patch file Download diff file Expand all files Collapse all files

15
langtools/src/share/classes/javax/tools/ToolProvider.java
View file

@ -1,5 +1,5 @@
/*
* Copyright (c) 2005, 2011, Oracle and/or its affiliates. All rights reserved.
* Copyright (c) 2005, 2012, Oracle and/or its affiliates. All rights reserved.
* DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
*
* This code is free software; you can redistribute it and/or modify it
@ -102,6 +102,19 @@ public class ToolProvider {
return instance().getSystemTool(JavaCompiler.class, defaultJavaCompilerName);
}
private static final String defaultDocumentationToolName
= "com.sun.tools.javadoc.api.JavadocTool";
/**
* Gets the Java™ programming language documentation tool provided
* with this platform.
* @return the documentation tool provided with this platform or
* {@code null} if no documentation tool is provided
*/
public static DocumentationTool getSystemDocumentationTool() {
return instance().getSystemTool(DocumentationTool.class, defaultDocumentationToolName);
}
/**
* Returns the class loader for tools provided with this platform.
* This does not include user-installed tools. Use the