commit e09a2ec4b381b952d603d3152ad0dca0b81b568c
author Laurent Delaigue <laurent.delaigue@obeo.fr> Tue Mar 31 11:43:15 2015 +0200
committer Axel RICHARD <axel.richard@obeo.fr> Wed Apr 01 05:05:11 2015 -0400
tree 5c9d696b9e798c2b9a7a33349dd5f98b60504bfe
parent 831137533ffdbbc82a1ccd4d53ad021badf28d29

Set modcount field to volatile in Graph.

This will prevent weird multi-threading bugs.

Change-Id: I7473b04232ad24dc3c68238bbf4922a51e2adfcd
Signed-off-by: Laurent Delaigue <laurent.delaigue@obeo.fr>

plugins/org.eclipse.emf.compare/src/org/eclipse/emf/compare/internal/utils/Graph.java

diff --git a/plugins/org.eclipse.emf.compare/src/org/eclipse/emf/compare/internal/utils/Graph.java b/plugins/org.eclipse.emf.compare/src/org/eclipse/emf/compare/internal/utils/Graph.java
index 120d386..e3083c7 100644
--- a/plugins/org.eclipse.emf.compare/src/org/eclipse/emf/compare/internal/utils/Graph.java
+++ b/plugins/org.eclipse.emf.compare/src/org/eclipse/emf/compare/internal/utils/Graph.java
@@ -67,7 +67,7 @@
 	 * This will be incremented each time this graph is structurally modified by an operation, ensuring
 	 * fail-fast iterations from our returned iterators.
 	 */
-	private transient int modcount;
+	private transient volatile int modcount;
 
 	/** Constructs an empty graph. */
 	public Graph() {