From 96b593fd753445b1ecb9cb2c66ec12dc9f6ea060 Mon Sep 17 00:00:00 2001 From: Vladimir Krivosheev Date: Mon, 22 Jun 2015 15:02:51 +0200 Subject: [PATCH] cleanup --- .../openapi/keymap/impl/DefaultKeymap.java | 30 +++++++++---------- .../keymap/impl/GenericKeymapManager.java | 3 +- 2 files changed, 16 insertions(+), 17 deletions(-) diff --git a/platform/platform-impl/src/com/intellij/openapi/keymap/impl/DefaultKeymap.java b/platform/platform-impl/src/com/intellij/openapi/keymap/impl/DefaultKeymap.java index f1ecd44b3fa1..fa85df1199de 100644 --- a/platform/platform-impl/src/com/intellij/openapi/keymap/impl/DefaultKeymap.java +++ b/platform/platform-impl/src/com/intellij/openapi/keymap/impl/DefaultKeymap.java @@ -23,9 +23,9 @@ import com.intellij.openapi.keymap.KeymapManager; import com.intellij.openapi.util.InvalidDataException; import com.intellij.openapi.util.JDOMUtil; import com.intellij.openapi.util.SystemInfo; -import org.jdom.Document; import org.jdom.Element; import org.jetbrains.annotations.NonNls; +import org.jetbrains.annotations.NotNull; import java.net.URL; import java.util.ArrayList; @@ -42,19 +42,18 @@ public class DefaultKeymap { @NonNls private static final String NAME_ATTRIBUTE = "name"; - private final ArrayList myKeymaps = new ArrayList(); + private final List myKeymaps = new ArrayList(); public static DefaultKeymap getInstance() { return ServiceManager.getService(DefaultKeymap.class); } public DefaultKeymap() { - for(BundledKeymapProvider provider: getProviders()) { + for (BundledKeymapProvider provider : getProviders()) { final List fileNames = provider.getKeymapFileNames(); for (String fileName : fileNames) { try { - final Document document = JDOMUtil.loadResourceDocument(new URL("file:///idea/" + fileName)); - loadKeymapsFromElement(document.getRootElement()); + loadKeymapsFromElement(JDOMUtil.loadResourceDocument(new URL("file:///idea/" + fileName)).getRootElement()); } catch (Exception e) { LOG.error(e); @@ -63,23 +62,22 @@ public class DefaultKeymap { } } + @NotNull protected BundledKeymapProvider[] getProviders() { return Extensions.getExtensions(BundledKeymapProvider.EP_NAME); } - private void loadKeymapsFromElement(final Element element) throws InvalidDataException { - @SuppressWarnings("unchecked") final List children = (List)element.getChildren(); - for (Element child : children) { - if (KEY_MAP.equals(child.getName())) { - String keymapName = child.getAttributeValue(NAME_ATTRIBUTE); - DefaultKeymapImpl keymap = keymapName.startsWith(KeymapManager.MAC_OS_X_KEYMAP) ? new MacOSDefaultKeymap() : new DefaultKeymapImpl(); - keymap.readExternal(child, myKeymaps.toArray(new Keymap[myKeymaps.size()])); - keymap.setName(keymapName); - myKeymaps.add(keymap); - } + private void loadKeymapsFromElement(@NotNull Element element) throws InvalidDataException { + for (Element child : element.getChildren(KEY_MAP)) { + String keymapName = child.getAttributeValue(NAME_ATTRIBUTE); + DefaultKeymapImpl keymap = keymapName.startsWith(KeymapManager.MAC_OS_X_KEYMAP) ? new MacOSDefaultKeymap() : new DefaultKeymapImpl(); + keymap.readExternal(child, myKeymaps.toArray(new Keymap[myKeymaps.size()])); + keymap.setName(keymapName); + myKeymaps.add(keymap); } } + @NotNull public Keymap[] getKeymaps() { return myKeymaps.toArray(new Keymap[myKeymaps.size()]); } @@ -96,7 +94,7 @@ public class DefaultKeymap { } } - public String getKeymapPresentableName(KeymapImpl keymap) { + public String getKeymapPresentableName(@NotNull KeymapImpl keymap) { String name = keymap.getName(); return KeymapManager.DEFAULT_IDEA_KEYMAP.equals(name) ? "Default" : name; } diff --git a/platform/platform-impl/src/com/intellij/openapi/keymap/impl/GenericKeymapManager.java b/platform/platform-impl/src/com/intellij/openapi/keymap/impl/GenericKeymapManager.java index a2cb7a238914..0c6915bdbbaf 100644 --- a/platform/platform-impl/src/com/intellij/openapi/keymap/impl/GenericKeymapManager.java +++ b/platform/platform-impl/src/com/intellij/openapi/keymap/impl/GenericKeymapManager.java @@ -2,6 +2,7 @@ package com.intellij.openapi.keymap.impl; import com.intellij.openapi.keymap.KeymapManager; import com.intellij.openapi.util.SystemInfo; +import org.jetbrains.annotations.NotNull; public class GenericKeymapManager extends DefaultKeymap { @Override @@ -18,7 +19,7 @@ public class GenericKeymapManager extends DefaultKeymap { } @Override - public String getKeymapPresentableName(KeymapImpl keymap) { + public String getKeymapPresentableName(@NotNull KeymapImpl keymap) { final String name = keymap.getName(); if (getDefaultKeymapName().equals(name)) {