UNPKG

cosmic-internal-jdk

Version:

KingScript: JDK1.8

24 lines (23 loc) 1.75 kB
export const Diagnostic = $.type("javax.tools.Diagnostic"); export const Diagnostic$Kind = $.javax.tools.Diagnostic$Kind; export const DiagnosticCollector = $.type("javax.tools.DiagnosticCollector"); export const DiagnosticListener = $.type("javax.tools.DiagnosticListener"); export const DocumentationTool = $.type("javax.tools.DocumentationTool"); export const DocumentationTool$DocumentationTask = $.type("javax.tools.DocumentationTool$DocumentationTask"); export const DocumentationTool$Location = $.javax.tools.DocumentationTool$Location; export const FileObject = $.type("javax.tools.FileObject"); export const ForwardingFileObject = $.type("javax.tools.ForwardingFileObject"); export const ForwardingJavaFileManager = $.type("javax.tools.ForwardingJavaFileManager"); export const ForwardingJavaFileObject = $.type("javax.tools.ForwardingJavaFileObject"); export const JavaCompiler = $.type("javax.tools.JavaCompiler"); export const JavaCompiler$CompilationTask = $.type("javax.tools.JavaCompiler$CompilationTask"); export const JavaFileManager = $.type("javax.tools.JavaFileManager"); export const JavaFileManager$Location = $.type("javax.tools.JavaFileManager$Location"); export const JavaFileObject = $.type("javax.tools.JavaFileObject"); export const JavaFileObject$Kind = $.javax.tools.JavaFileObject$Kind; export const OptionChecker = $.type("javax.tools.OptionChecker"); export const SimpleJavaFileObject = $.type("javax.tools.SimpleJavaFileObject"); export const StandardJavaFileManager = $.type("javax.tools.StandardJavaFileManager"); export const StandardLocation = $.javax.tools.StandardLocation; export const Tool = $.type("javax.tools.Tool"); export const ToolProvider = $.type("javax.tools.ToolProvider");