[prev in list] [next in list] [prev in thread] [next in thread]
List: openjdk-serviceability-dev
Subject: Re: RFR: [15,docs] JDK-8248061,bad reference in @throws in HotSpotDiagnosticMXBean
From: Mandy Chung <mandy.chung () oracle ! com>
Date: 2020-06-23 3:43:37
Message-ID: 17aeecd8-eb11-88f6-25a8-ded0d6341c53 () oracle ! com
[Download RAW message or body]
+1
Mandy
On 6/22/20 4:55 PM, Jonathan Gibbons wrote:
>
> Please review a small change to fix an unresolved reference in
> `@throws IOException`.
>
> The problem is that the method signature uses a fully-qualified name
> for `java.io.IOException` instead of importing it. meaning that the
> `@throws` cannot resolve the name. Although this could be fixed by
> using a fully-qualified name in `@throws` as well, a better, more
> conventional solution is to import that name and use the simple name
> in both places.
>
> -- Jon
>
> JBS: https://bugs.openjdk.java.net/browse/JDK-8248061
>
> Patch:
>
>
> $ hg diff -R open open/src/jdk.management
> diff -r 9cfa0137612f
> src/jdk.management/share/classes/com/sun/management/HotSpotDiagnosticMXBean.java
> ---
> a/src/jdk.management/share/classes/com/sun/management/HotSpotDiagnosticMXBean.java
> Mon Jun 22 13:37:41 2020 -0700
> +++
> b/src/jdk.management/share/classes/com/sun/management/HotSpotDiagnosticMXBean.java
> Mon Jun 22 16:07:38 2020 -0700
> @@ -25,6 +25,7 @@
>
> package com.sun.management;
>
> +import java.io.IOException;
> import java.lang.management.PlatformManagedObject;
>
> /**
> @@ -72,7 +73,7 @@
> * method denies write access to the named file
> * or the caller does not have ManagmentPermission("control").
> */
> - public void dumpHeap(String outputFile, boolean live) throws
> java.io.IOException;
> + public void dumpHeap(String outputFile, boolean live) throws
> IOException;
>
> /**
> * Returns a list of {@code VMOption} objects for all diagnostic
> options.
>
>
[Attachment #3 (text/html)]
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<tt>+1<br>
<br>
Mandy<br>
</tt><br>
<div class="moz-cite-prefix">On 6/22/20 4:55 PM, Jonathan Gibbons
wrote:<br>
</div>
<blockquote type="cite"
cite="mid:a586c1c3-f79c-850a-99ad-c6275a515dc3@oracle.com">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<p>Please review a small change to fix an unresolved reference in
`@throws IOException`.</p>
<p><span style="caret-color: rgb(23, 43, 77); font-size: 14px;
font-style: normal; font-variant-caps: normal; font-weight:
normal; letter-spacing: normal; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255,
255, 255); text-decoration: none; display: inline !important;
float: none;">The problem is that the method signature uses a
fully-qualified name for `java.io.IOException` instead of
importing it. meaning that the `@throws` cannot resolve the
name. Although this could be fixed by using a fully-qualified
name in `@throws` as well, a better, more conventional
solution is to import that name and use the simple name in
both places.</span></p>
<p><span style="caret-color: rgb(23, 43, 77); font-size: 14px;
font-style: normal; font-variant-caps: normal; font-weight:
normal; letter-spacing: normal; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255,
255, 255); text-decoration: none; display: inline !important;
float: none;">-- Jon</span></p>
<p><span style="caret-color: rgb(23, 43, 77); font-size: 14px;
font-style: normal; font-variant-caps: normal; font-weight:
normal; letter-spacing: normal; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255,
255, 255); text-decoration: none; display: inline !important;
float: none;">JBS: <a class="moz-txt-link-freetext"
href="https://bugs.openjdk.java.net/browse/JDK-8248061"
moz-do-not-send="true">https://bugs.openjdk.java.net/browse/JDK-8248061</a><br>
</span></p>
<p><span style="caret-color: rgb(23, 43, 77); font-size: 14px;
font-style: normal; font-variant-caps: normal; font-weight:
normal; letter-spacing: normal; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255,
255, 255); text-decoration: none; display: inline !important;
float: none;">Patch:</span></p>
<p><br>
<tt><span style="caret-color: rgb(23, 43, 77); font-size: 14px;
font-style: normal; font-variant-caps: normal; font-weight:
normal; letter-spacing: normal; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255,
255, 255); text-decoration: none; display: inline
!important; float: none;"><span style="caret-color: rgb(23,
43, 77); color: rgb(23, 43, 77); font-size: 14px;
font-style: normal; font-variant-caps: normal;
font-weight: normal; letter-spacing: normal; text-align:
start; text-indent: 0px; text-transform: none;
white-space: normal; word-spacing: 0px;
-moz-text-size-adjust: auto; -webkit-text-stroke-width:
0px; background-color: rgb(244, 245, 247);
text-decoration: none; display: inline !important; float:
none;">$ hg diff -R open open/src/jdk.management<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;">diff -r 9cfa0137612f
src/jdk.management/share/classes/com/sun/management/HotSpotDiagnosticMXBean.java<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;">---
a/src/jdk.management/share/classes/com/sun/management/HotSpotDiagnosticMXBean.java
Mon Jun 22 13:37:41 2020 -0700<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;">+++
b/src/jdk.management/share/classes/com/sun/management/HotSpotDiagnosticMXBean.java
Mon Jun 22 16:07:38 2020 -0700<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;">@@ -25,6 +25,7 @@<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;"> <span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;"> package com.sun.management;<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;"> <span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;">+import java.io.IOException;<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;"> import
java.lang.management.PlatformManagedObject;<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;"> <span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;"> /**<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;">@@ -72,7 +73,7 @@<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;"> * method denies write
access to the named file<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;"> * or the caller does not
have ManagmentPermission("control").<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;"> */<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;">- public void dumpHeap(String
outputFile, boolean live) throws java.io.IOException;<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;">+ public void dumpHeap(String
outputFile, boolean live) throws IOException;<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;"> <span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;"> /**<span
class="Apple-converted-space"> </span></span><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43,
77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;">
<span style="caret-color: rgb(23, 43, 77); color: rgb(23,
43, 77); font-size: 14px; font-style: normal;
font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; text-align: start; text-indent:
0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(244,
245, 247); text-decoration: none; display: inline
!important; float: none;"> * Returns a list of {@code
VMOption} objects for all diagnostic options.</span></span></tt></p>
<p><tt><span style="caret-color: rgb(23, 43, 77); font-size: 14px;
font-style: normal; font-variant-caps: normal; font-weight:
normal; letter-spacing: normal; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; background-color: rgb(255,
255, 255); text-decoration: none; display: inline
!important; float: none;"></span></tt><br
style="caret-color: rgb(23, 43, 77); color: rgb(23, 43, 77);
font-family: "DejaVu Sans", sans-serif; font-size:
14px; font-style: normal; font-variant-caps: normal;
font-weight: normal; letter-spacing: normal; orphans: auto;
text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; widows: auto; word-spacing: 0px;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width:
0px; text-decoration: none;">
</p>
</blockquote>
<br>
</body>
</html>
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic