MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

notnull

Browse Source
This commit is contained in:
Alexey Kudravtsev
2016-07-06 14:15:26 +03:00
parent 73bc62ec4e
commit 8d0f6fc830
2 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-api/src/com/intellij/codeInsight/daemon/LineMarkerSettings.java
+3 -2
View File
@@ -16,6 +16,7 @@
package com.intellij.codeInsight.daemon;
import com.intellij.openapi.components.ServiceManager;
import org.jetbrains.annotations.NotNull;
/**
* @author Dmitry Avdeev
@@ -25,7 +26,7 @@ public abstract class LineMarkerSettings {
return ServiceManager.getService(LineMarkerSettings.class);
}
public abstract boolean isEnabled(GutterIconDescriptor descriptor);
public abstract boolean isEnabled(@NotNull GutterIconDescriptor descriptor);
public abstract void setEnabled(GutterIconDescriptor descriptor, boolean selected);
public abstract void setEnabled(@NotNull GutterIconDescriptor descriptor, boolean selected);
}
platform/lang-impl/src/com/intellij/codeInsight/daemon/impl/LineMarkerSettingsImpl.java
+3 -2
View File
@@ -21,6 +21,7 @@ import com.intellij.openapi.components.PersistentStateComponent;
import com.intellij.openapi.components.State;
import com.intellij.openapi.components.Storage;
import com.intellij.util.xmlb.annotations.MapAnnotation;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
import java.util.HashMap;
@@ -36,13 +37,13 @@ import java.util.Map;
public class LineMarkerSettingsImpl extends LineMarkerSettings implements PersistentStateComponent<LineMarkerSettingsImpl> {
@Override
public boolean isEnabled(GutterIconDescriptor descriptor) {
public boolean isEnabled(@NotNull GutterIconDescriptor descriptor) {
Boolean aBoolean = providers.get(descriptor.getId());
return aBoolean == null || aBoolean;
}
@Override
public void setEnabled(GutterIconDescriptor descriptor, boolean selected) {
public void setEnabled(@NotNull GutterIconDescriptor descriptor, boolean selected) {
providers.put(descriptor.getId(), selected);
}