diff options
author | Stephan Herrmann | 2010-09-11 11:30:46 +0000 |
---|---|---|
committer | Stephan Herrmann | 2010-09-11 11:30:46 +0000 |
commit | 3260d5130bbf16d37c8aae923fc1646ae0a0f0d1 (patch) | |
tree | e27e2b22aa443df4b6715f4839019d0f88d48fe1 /org.eclipse.jdt.core/model/org/eclipse/jdt/core/JavaCore.java | |
parent | 10cd8bd118d0ab3825787e07d9cd87cdb5b70361 (diff) | |
download | org.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.java | 4 |
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} |