aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorszarnekow2009-04-15 04:00:29 (EDT)
committersefftinge2009-04-15 04:00:29 (EDT)
commit598a399e884a4d9aebbd2c797a95f8ca0fdd3434 (patch)
tree75a670e1073b4c48dc0549a94fed100263f55c51
parent50f95238eec3abc033ff6295b4380143e7ad78cb (diff)
downloadorg.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.java10
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;