diff options
| author | Lars Vogel | 2020-01-13 15:51:13 +0000 |
|---|---|---|
| committer | Lars Vogel | 2020-01-13 19:59:02 +0000 |
| commit | f507de2caa5fc0f7af734badf4b42cec6f246f2f (patch) | |
| tree | b5fd89da911ff60ea477ab34b13e879e3764277f /org.eclipse.tips.ide | |
| parent | a9b7b3d872dc1c87e5054cb04cbae8781256134a (diff) | |
| download | eclipse.platform.ua-f507de2caa5fc0f7af734badf4b42cec6f246f2f.tar.gz eclipse.platform.ua-f507de2caa5fc0f7af734badf4b42cec6f246f2f.tar.xz eclipse.platform.ua-f507de2caa5fc0f7af734badf4b42cec6f246f2f.zip | |
Iterate over Map.entrySet instead of Map.keySet and value searchI20200114-1805
Faster than first getting the keys and afterwards reading the value.
Done with Autorefactor https://github.com/JnRouvignac/AutoRefactor/
batch conversion using the iterate over
Map.entrySet instead of Map.keySet and value search
Change-Id: Iba43f18044c0a292989db477cf5f3df38871baa0
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Diffstat (limited to 'org.eclipse.tips.ide')
| -rw-r--r-- | org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipsPreferences.java | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipsPreferences.java b/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipsPreferences.java index 8f5508d38..f97a5a701 100644 --- a/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipsPreferences.java +++ b/org.eclipse.tips.ide/src/org/eclipse/tips/ide/internal/TipsPreferences.java @@ -132,10 +132,11 @@ public class TipsPreferences extends AbstractPreferenceInitializer { public static IStatus saveReadState(Map<String, List<Integer>> pReadTips) { try { File stateLocation = getStateLocation(); - for (String child : pReadTips.keySet()) { + for (Map.Entry<String, List<Integer>> entry : pReadTips.entrySet()) { + String child = entry.getKey(); PreferenceStore store = new PreferenceStore( new File(stateLocation, child.trim() + ".state").getAbsolutePath()); //$NON-NLS-1$ - pReadTips.get(child).forEach(value -> store.setValue(value.toString(), value.intValue())); + entry.getValue().forEach(value -> store.setValue(value.toString(), value.intValue())); store.setValue("provider", child); //$NON-NLS-1$ store.save(); } |