| author | szarnekow | 2009-04-15 04:00:29 (EDT) |
|---|---|---|
| committer | sefftinge | 2009-04-15 04:00:29 (EDT) |
| commit | 598a399e884a4d9aebbd2c797a95f8ca0fdd3434 (patch) (side-by-side diff) | |
| tree | 75a670e1073b4c48dc0549a94fed100263f55c51 | |
| parent | 50f95238eec3abc033ff6295b4380143e7ad78cb (diff) | |
| download | org.eclipse.xtext-598a399e884a4d9aebbd2c797a95f8ca0fdd3434.zip org.eclipse.xtext-598a399e884a4d9aebbd2c797a95f8ca0fdd3434.tar.gz org.eclipse.xtext-598a399e884a4d9aebbd2c797a95f8ca0fdd3434.tar.bz2 | |
Fix: Suppress ConcurrentModificationException
| -rw-r--r-- | plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/editor/XtextResourceChecker.java | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/editor/XtextResourceChecker.java b/plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/editor/XtextResourceChecker.java index 8031415..1ebb623 100644 --- a/plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/editor/XtextResourceChecker.java +++ b/plugins/org.eclipse.xtext.ui.core/src/org/eclipse/xtext/ui/core/editor/XtextResourceChecker.java @@ -120,14 +120,16 @@ public class XtextResourceChecker { try { // Syntactical errors // Collect EMF Resource Diagnostics - for (org.eclipse.emf.ecore.resource.Resource.Diagnostic error : resource.getErrors()) - markers.add(markerFromXtextResourceDiagnostic(error, IMarker.SEVERITY_ERROR)); + for(int i = 0 ; i < resource.getErrors().size(); i++) { + markers.add(markerFromXtextResourceDiagnostic(resource.getErrors().get(i), IMarker.SEVERITY_ERROR)); + } if (monitor.isCanceled()) return null; - for (org.eclipse.emf.ecore.resource.Resource.Diagnostic warning : resource.getWarnings()) - markers.add(markerFromXtextResourceDiagnostic(warning, IMarker.SEVERITY_WARNING)); + for(int i = 0 ; i < resource.getWarnings().size(); i++) { + markers.add(markerFromXtextResourceDiagnostic(resource.getWarnings().get(i), IMarker.SEVERITY_WARNING)); + } if (monitor.isCanceled()) return null; |