gitlab #25
Change-Id: Ic18ccbb5ccf42e0d324404e62c3e0b70e329c36f
}
private void addComparable(Resource left, Resource right) throws DatabaseException {
+ if (left.getResourceId() == 225745 || right.getResourceId() == 225745)
+ System.out.println();
if(!comparableResources.contains(left, right)) {
if (comparableResources.containsLeft(left)||comparableResources.containsRight(right)) {
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 {
addModification(r1,s1,r2,s2);
- if (!s1.isAsserted(r1) && !s2.isAsserted(r2))
- addComparable(s1, s2);
}
i1++;
i2++;