mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-09 09:15:38 +02:00
Code Issues Wiki Activity

Fix for 132201, prefer content types with a case-sensitive match.

Browse source
This commit is contained in:
Markus Schorn 2006-07-12 06:42:33 +00:00
parent 40430a40f7
commit 21443abb26
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
core/org.eclipse.cdt.core/model/org/eclipse/cdt/core/model/LanguageManager.java
View file

@ -47,6 +47,7 @@ public class LanguageManager {
ILanguage language = (ILanguage)cache.get(id); ILanguage language = (ILanguage)cache.get(id);
if (language != null) if (language != null)
return language; return language;
IExtensionPoint point = Platform.getExtensionRegistry().getExtensionPoint(CCorePlugin.PLUGIN_ID, ILanguage.KEY); IExtensionPoint point = Platform.getExtensionRegistry().getExtensionPoint(CCorePlugin.PLUGIN_ID, ILanguage.KEY);
IExtension[] extensions = point.getExtensions(); IExtension[] extensions = point.getExtensions();
for (int i = 0; i < extensions.length; ++i) { for (int i = 0; i < extensions.length; ++i) {
@ -67,15 +68,16 @@ public class LanguageManager {
} }
public ILanguage getLanguage(IContentType contentType) throws CoreException { public ILanguage getLanguage(IContentType contentType) throws CoreException {
String contentTypeId= contentType.getId();
IExtensionPoint point = Platform.getExtensionRegistry().getExtensionPoint(CCorePlugin.PLUGIN_ID, ILanguage.KEY); IExtensionPoint point = Platform.getExtensionRegistry().getExtensionPoint(CCorePlugin.PLUGIN_ID, ILanguage.KEY);
IExtension[] extensions = point.getExtensions(); IExtension[] extensions = point.getExtensions();
for (int i = 0; i < extensions.length; ++i) { for (int i = 0; i < extensions.length; ++i) {
IConfigurationElement[] languages = extensions[i].getConfigurationElements(); IConfigurationElement[] languages = extensions[i].getConfigurationElements();
for (int j = 0; j < languages.length; ++j) { for (int j = 0; j < languages.length; ++j) {
IConfigurationElement language = languages[j]; IConfigurationElement language = languages[j];
IConfigurationElement[] contentTypes = language.getChildren("contentType"); //$NON-NLS-1$ IConfigurationElement[] assocContentTypes = language.getChildren("contentType"); //$NON-NLS-1$
for (int k = 0; k < contentTypes.length; ++k) { for (int k = 0; k < assocContentTypes.length; ++k) {
if (contentType.equals(contentType.getId())) { if (contentTypeId.equals(assocContentTypes[i].getAttribute("id"))) { //$NON-NLS-1$
return (ILanguage)language.createExecutableExtension("class"); //$NON-NLS-1$ return (ILanguage)language.createExecutableExtension("class"); //$NON-NLS-1$
} }
} }