X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.db.impl%2Fsrc%2Forg%2Fsimantics%2Fdb%2Fimpl%2Fgraph%2FReadGraphImpl.java;h=5d4852c0d7822efe1f88ef70a1a7eb6a941cb272;hp=cc15c1eac9111e063369cadd9c7167b3c843b4a9;hb=638ce7e010a6292fedc677de18173676db305881;hpb=ff5dddc885c9b3e6e973cfa3eebe9c3d1013c304

diff --git a/bundles/org.simantics.db.impl/src/org/simantics/db/impl/graph/ReadGraphImpl.java b/bundles/org.simantics.db.impl/src/org/simantics/db/impl/graph/ReadGraphImpl.java
index cc15c1eac..5d4852c0d 100644
--- a/bundles/org.simantics.db.impl/src/org/simantics/db/impl/graph/ReadGraphImpl.java
+++ b/bundles/org.simantics.db.impl/src/org/simantics/db/impl/graph/ReadGraphImpl.java
@@ -50,6 +50,7 @@ import org.simantics.db.DevelopmentKeys;
 import org.simantics.db.ExternalValueSupport;
 import org.simantics.db.ReadGraph;
 import org.simantics.db.RelationContext;
+import org.simantics.db.RelationInfo;
 import org.simantics.db.Resource;
 import org.simantics.db.Session;
 import org.simantics.db.Statement;
@@ -1849,8 +1850,35 @@ public class ReadGraphImpl implements AsyncReadGraph {
 
 		try {
 
-			Collection<Resource> objects = getObjects(subject, relation);
-			return !objects.isEmpty();
+			SyncReadProcedure<RelationInfo> procedure = new SyncReadProcedure<RelationInfo>();
+			processor.forRelationInfo(this, relation, procedure);
+			Collection<Resource> predicates = getPredicates(subject);
+			
+			if(procedure.result.isFinal) {
+				
+				return predicates.contains(relation);
+				
+			} else if (procedure.result.isFunctional) {
+
+				try {
+					int result = processor.getSingleObject(this, subject, relation);
+					return result != 0;
+				} catch (ManyObjectsForFunctionalRelationException e) {
+					return true;
+				} catch (DatabaseException e) {
+					throw new ServiceException(e);
+				}
+				
+			} else {
+
+				for(Resource predicate : getPredicates(subject)) {
+					if(isSubrelationOf(predicate, relation))
+						return true;
+				}
+				
+			}
+			
+			return false;
 
 		} catch (ServiceException e) {