diff options
author | Carsten Hammer | 2019-11-16 14:47:21 +0000 |
---|---|---|
committer | Karsten Thoms | 2019-12-10 14:18:09 +0000 |
commit | bcecfe1867f24bb06167836bf3084210fb359bbf (patch) | |
tree | 353187dcf816f4f50d054f0a7459c0d1c44d6be7 | |
parent | 978917d888d822d2d69cb2be4296cca4d641b0d7 (diff) | |
download | eclipse.platform.text-bcecfe1867f24bb06167836bf3084210fb359bbf.tar.gz eclipse.platform.text-bcecfe1867f24bb06167836bf3084210fb359bbf.tar.xz eclipse.platform.text-bcecfe1867f24bb06167836bf3084210fb359bbf.zip |
Use jdk 5 for-each loop
Replace simple uses of Iterator with a corresponding for-loop. Also add
missing braces on loops as necessary.
Change-Id: Icfa2c7631b61a10bfe228ca39644fe7973915c20
Signed-off-by: Carsten Hammer <carsten.hammer@t-online.de>
-rw-r--r-- | org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/util/DocumentFetcher.java | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/util/DocumentFetcher.java b/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/util/DocumentFetcher.java index 57621721445..d875b692dd2 100644 --- a/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/util/DocumentFetcher.java +++ b/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/util/DocumentFetcher.java @@ -134,13 +134,10 @@ public class DocumentFetcher { private Map<IFile, IDocument> evalNonFileBufferDocuments() { Map<IFile, IDocument> result= new HashMap<>(); IWorkbench workbench= PlatformUI.getWorkbench(); - IWorkbenchWindow[] windows= workbench.getWorkbenchWindows(); - for (int i= 0; i < windows.length; i++) { - IWorkbenchPage[] pages= windows[i].getPages(); - for (int x= 0; x < pages.length; x++) { - IEditorReference[] editorRefs= pages[x].getEditorReferences(); - for (int z= 0; z < editorRefs.length; z++) { - IEditorPart ep= editorRefs[z].getEditor(false); + for (IWorkbenchWindow window : workbench.getWorkbenchWindows()) { + for (IWorkbenchPage page : window.getPages()) { + for (IEditorReference editorRef : page.getEditorReferences()) { + IEditorPart ep= editorRef.getEditor(false); if (ep instanceof ITextEditor && ep.isDirty()) { // only dirty editors evaluateTextEditor(result, ep); } |