mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
notnull
This commit is contained in:
@@ -81,7 +81,7 @@ public abstract class DefaultProjectProfileManager extends ProjectProfileManager
|
||||
}
|
||||
|
||||
@Override
|
||||
public synchronized void updateProfile(Profile profile) {
|
||||
public synchronized void updateProfile(@NotNull Profile profile) {
|
||||
myProfiles.put(profile.getName(), profile);
|
||||
for (ProfileChangeAdapter profileChangeAdapter : myProfilesListener) {
|
||||
profileChangeAdapter.profileChanged(profile);
|
||||
|
||||
@@ -34,7 +34,7 @@ public interface ProfileManager {
|
||||
|
||||
Profile getProfile(@NotNull String name);
|
||||
|
||||
void updateProfile(Profile profile);
|
||||
void updateProfile(@NotNull Profile profile);
|
||||
|
||||
@NotNull
|
||||
String[] getAvailableProfileNames();
|
||||
|
||||
+2
-2
@@ -244,12 +244,12 @@ public class InspectionProfileManager extends ApplicationProfileManager implemen
|
||||
}
|
||||
|
||||
@Override
|
||||
public void updateProfile(Profile profile) {
|
||||
public void updateProfile(@NotNull Profile profile) {
|
||||
mySchemesManager.addNewScheme(profile, true);
|
||||
updateProfileImpl(profile);
|
||||
}
|
||||
|
||||
private static void updateProfileImpl(final Profile profile) {
|
||||
private static void updateProfileImpl(@NotNull Profile profile) {
|
||||
final Project[] projects = ProjectManager.getInstance().getOpenProjects();
|
||||
for (Project project : projects) {
|
||||
InspectionProjectProfileManager.getInstance(project).initProfileWrapper(profile);
|
||||
|
||||
+2
-2
@@ -139,7 +139,7 @@ public class InspectionProjectProfileManager extends DefaultProjectProfileManage
|
||||
}
|
||||
|
||||
@Override
|
||||
public void updateProfile(Profile profile) {
|
||||
public void updateProfile(@NotNull Profile profile) {
|
||||
super.updateProfile(profile);
|
||||
initProfileWrapper(profile);
|
||||
}
|
||||
@@ -216,7 +216,7 @@ public class InspectionProjectProfileManager extends DefaultProjectProfileManage
|
||||
});
|
||||
}
|
||||
|
||||
public void initProfileWrapper(final Profile profile) {
|
||||
public void initProfileWrapper(@NotNull Profile profile) {
|
||||
final InspectionProfileWrapper wrapper = new InspectionProfileWrapper((InspectionProfile)profile);
|
||||
wrapper.init(myProject);
|
||||
myName2Profile.put(profile.getName(), wrapper);
|
||||
|
||||
Reference in New Issue
Block a user