diff options
author | Noopur Gupta | 2017-12-11 15:32:36 +0000 |
---|---|---|
committer | Noopur Gupta | 2018-03-08 12:26:38 +0000 |
commit | f749fdd7f8c75db868e008654288d19d76752fa1 (patch) | |
tree | bef20c0f0c089a6108784c165f17f37d0465537a | |
parent | 5004d1b9cd5afb18082160c14638aecd11d7f6f3 (diff) | |
download | eclipse.jdt.core-f749fdd7f8c75db868e008654288d19d76752fa1.tar.gz eclipse.jdt.core-f749fdd7f8c75db868e008654288d19d76752fa1.tar.xz eclipse.jdt.core-f749fdd7f8c75db868e008654288d19d76752fa1.zip |
Bug 528305: [9][javadoc] Generate Javadoc wizard doesn't offer 9 as "JREY20180308-1000
source compatibility" again after deselecting
Change-Id: Ie9874398a3706220e775396fda4fa3dd478ffcb0
-rw-r--r-- | org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java b/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java index 20464df221..7dbce01f65 100644 --- a/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java +++ b/org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java @@ -111,9 +111,11 @@ package org.eclipse.jdt.core; import java.util.ArrayList; +import java.util.Arrays; import java.util.HashMap; import java.util.HashSet; import java.util.Hashtable; +import java.util.List; import java.util.Map; import org.eclipse.core.resources.IContainer; @@ -2955,6 +2957,18 @@ public final class JavaCore extends Plugin { * @category OptionValue */ public static final String VERSION_CLDC_1_1 = "cldc1.1"; //$NON-NLS-1$ + + /** + * Returns all {@link JavaCore}{@code #VERSION_*} levels. + * + * @return all available versions + * @since 3.13 + */ + public static List<String> getAllVersions() { + return Arrays.asList(VERSION_CLDC_1_1, VERSION_1_1, VERSION_1_2, VERSION_1_3, VERSION_1_4, VERSION_1_5, + VERSION_1_6, VERSION_1_7, VERSION_1_8, VERSION_9); + } + /** * Configurable option value: {@value}. * @since 2.0 |