X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=org.simantics.interop%2Fsrc%2Forg%2Fsimantics%2Finterop%2Ftest%2FGraphComparator.java;h=ba9bdf099397a90a8a2bc423c26d24354a29a2bf;hb=894fd479af4bd23016e38165b8ba3d6235d27125;hp=8701ebecee88376bd852e5a080844d170d8df6aa;hpb=328e8a54d282ed4a390e6eb9eda027b3ed599bdf;p=simantics%2Finterop.git

diff --git a/org.simantics.interop/src/org/simantics/interop/test/GraphComparator.java b/org.simantics.interop/src/org/simantics/interop/test/GraphComparator.java
index 8701ebe..ba9bdf0 100644
--- a/org.simantics.interop/src/org/simantics/interop/test/GraphComparator.java
+++ b/org.simantics.interop/src/org/simantics/interop/test/GraphComparator.java
@@ -152,10 +152,16 @@ public class GraphComparator {
 	}
 	
 	public void addComparableResources(Resource r1, Resource r2) {
+		if (DEBUG)
+			System.out.println("Preset " + r1 + " = " + r2);
 		comparableResources.map(r1, r2);
 	}
 	
 	public void addComparableResources(BijectionMap<Resource, Resource> matching) {
+		if (DEBUG) {
+			for (Entry<Resource, Resource> entry : matching.getEntries())
+				System.out.println("Preset " + entry.getKey() + " = " + entry.getValue());
+		}
 		comparableResources.addAll(matching);
 	}
 	
@@ -179,6 +185,7 @@ public class GraphComparator {
 		this.g = g;
 		this.b = Layer0.getInstance(g);
 		comparator.setComparator(this);
+		comparator.initialize(g, r1, r2);
 		
 		Stack<Resource> objectsLeft = new Stack<Resource>();
 		Stack<Resource> objectsRight = new Stack<Resource>();
@@ -227,6 +234,14 @@ public class GraphComparator {
 		
 		comparator.setComparator(this);
 		
+		session.syncRequest(new ReadRequest() {
+            
+            @Override
+            public void run(ReadGraph graph) throws DatabaseException {
+                comparator.initialize(graph, r1, r2);
+            }
+        });
+		
 		addComparable(r1, r2);
 		
 		final Stack<Resource> objectsLeft = new Stack<Resource>();
@@ -260,6 +275,11 @@ public class GraphComparator {
 						// These cases have longer path than one to identified objects.
 						processUnreliableDeep(unreliableLeft, unreliableRight, objectsLeft, objectsRight);
 					}
+					if (objectsLeft.isEmpty() && unreliableLeft.size() > 0 && unreliableRight.size() > 0) {
+						// comparison is ending, but we have still unprocessed unidentified resources left.
+						// These cases have longer path than one to identified objects.
+						processUnreliableDeep(unreliableLeft, unreliableRight, objectsLeft, objectsRight);
+					}
 				}
 			});
 			
@@ -268,8 +288,6 @@ public class GraphComparator {
 		}
 		for (Statement s : unreliableLeft) {
 			if (!comparableStatements.containsLeft(s))
-				if (s.getObject().getResourceId() == 303248)
-					System.out.println();
 				addDeletion(s);
 		}
 		for (Statement s : unreliableRight) {
@@ -290,7 +308,6 @@ public class GraphComparator {
 			
 			if (r1.equals(r2))
 				continue;
-			
 			if (processedResources.contains(r1))
 				continue;
 			processedResources.add(r1);
@@ -770,7 +787,7 @@ public class GraphComparator {
 				throw new DatabaseException("Comparator error: Trying to map " + left + " to " + right + " while mappings " + left + " to " + comparableResources.getRight(left) + " and " + comparableResources.getLeft(right) + " to " + right + " exist.");
 			} else {
 				if (DEBUG) System.out.println(left + " = " + right);
-				comparableResources.map(left, right);	
+				comparableResources.map(left, right);
 			}
 		}
 		
@@ -786,6 +803,31 @@ public class GraphComparator {
 		return out;
 	}
 	
+	public List<Statement> filterAssertedDuplicates(Resource r, List<Statement> in) throws DatabaseException {
+		List<Statement> out = new ArrayList<Statement>();
+		for (int i = 0; i < in.size(); i++) {
+			Statement s = in.get(i);
+			if (!s.isAsserted(r))
+				out.add(s);
+			else {
+				boolean has = false;
+				if (i > 1 && in.get(i-1).getPredicate().equals(s.getPredicate()))
+					has = true;
+				else if (i < in.size()-1 && in.get(i+1).getPredicate().equals(s.getPredicate()))
+					has = true;
+				if (!has)
+					out.add(s);
+			}
+			
+		}
+		for (Statement s : in) {
+			if (!s.isAsserted(r))
+				out.add(s);
+			
+		}
+		return out;
+	}
+	
 	
 
 	private String printStatement(ReadGraph graph, Statement s) throws DatabaseException {
@@ -1152,6 +1194,9 @@ public class GraphComparator {
 		ss1 = filterNonTested(ss1);
 		ss2 = filterNonTested(ss2);
 		sortStatement(ss1, ss2);
+		// getStatements(r1, b.HasProperty) returns both instance and asserted statements for the same property relation. 
+		ss1 = filterAssertedDuplicates(r1, ss1);
+		ss2 = filterAssertedDuplicates(r2, ss2);
 		
 		int i1 = 0; 
 		int i2 = 0;
@@ -1162,16 +1207,20 @@ public class GraphComparator {
 					break;
 				else {
 					while (i2 < ss2.size()) {
-						if (DEBUG) System.out.println("Compare Prop diff2 " + printStatement(g,ss2.get(i2)));
-						addAddition(ss2.get(i2));
+						Statement s = ss2.get(i2);
+						if (DEBUG) System.out.println("Compare Prop diff2 " + printStatement(g,s));
+						if (!s.isAsserted(r2))
+							addAddition(s);
 						i2++;
 					}
 					break;
 				}
 			} else if (i2 >= ss2.size()) {
 				while (i1 < ss1.size()) {
-					if (DEBUG) System.out.println("Compare Prop diff1 " + printStatement(g,ss1.get(i1)));
-					addDeletion(ss1.get(i1));
+					Statement s = ss1.get(i1);
+					if (DEBUG) System.out.println("Compare Prop diff1 " + printStatement(g,s));
+					if (!s.isAsserted(r1))
+						addDeletion(s);
 					i1++;
 				}
 				break;