Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorStephan Herrmann2010-09-11 11:30:46 +0000
committerStephan Herrmann2010-09-11 11:30:46 +0000
commit3260d5130bbf16d37c8aae923fc1646ae0a0f0d1 (patch)
treee27e2b22aa443df4b6715f4839019d0f88d48fe1 /org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java
parent10cd8bd118d0ab3825787e07d9cd87cdb5b70361 (diff)
downloadorg.eclipse.objectteams-3260d5130bbf16d37c8aae923fc1646ae0a0f0d1.tar.gz
org.eclipse.objectteams-3260d5130bbf16d37c8aae923fc1646ae0a0f0d1.tar.xz
org.eclipse.objectteams-3260d5130bbf16d37c8aae923fc1646ae0a0f0d1.zip
Documentation update: make all {ObjectTeams tags in this module browsable from Search.
Diffstat (limited to 'org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java')
-rw-r--r--org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java4
1 files changed, 2 insertions, 2 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 1ea993855..57730b12d 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
@@ -173,7 +173,7 @@ public final class JavaCore extends Plugin {
* (value <code>"org.eclipse.jdt.core"</code>).
*/
public static final String PLUGIN_ID = "org.eclipse.jdt.core" ; //$NON-NLS-1$
-//{ObjectTeams:
+//{ObjectTeams: OT-specific IDs
public static final String OTDT_PLUGIN_ID = "org.eclipse.objectteams.otdt"; //$NON-NLS-1$
public static final String OTJ_BUILDER_ID = OTDT_PLUGIN_ID + ".builder.OTJBuilder"; //$NON-NLS-1$
@@ -1258,7 +1258,7 @@ public final class JavaCore extends Plugin {
*/
public static final String COMPILER_PB_MISSING_JAVADOC_COMMENTS_OVERRIDING = PLUGIN_ID + ".compiler.problem.missingJavadocCommentsOverriding"; //$NON-NLS-1$
-//{ObjectTeams:
+//{ObjectTeams: new option: scoped keywords (use stateful scanner?)
public static final String COMPILER_OPT_SCOPED_KEYWORDS = OTDT_PLUGIN_ID + ".compiler.option.scoped_keywords"; //$NON-NLS-1$
// SH}

Back to the top