Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.layer0.utils / src / org / simantics / layer0 / utils / binaryPredicates / TransitiveClosure.java

diff --git a/bundles/org.simantics.layer0.utils/src/org/simantics/layer0/utils/binaryPredicates/TransitiveClosure.java b/bundles/org.simantics.layer0.utils/src/org/simantics/layer0/utils/binaryPredicates/TransitiveClosure.java
new file mode 100644 (file)
index 0000000..d273e65
--- /dev/null
+++ b/bundles/org.simantics.layer0.utils/src/org/simantics/layer0/utils/binaryPredicates/TransitiveClosure.java
@@ -0,0 +1,140 @@
+/*******************************************************************************\r
+ * Copyright (c) 2007, 2010 Association for Decentralized Information Management\r
+ * in Industry THTH ry.\r
+ * All rights reserved. This program and the accompanying materials\r
+ * are made available under the terms of the Eclipse Public License v1.0\r
+ * which accompanies this distribution, and is available at\r
+ * http://www.eclipse.org/legal/epl-v10.html\r
+ *\r
+ * Contributors:\r
+ *     VTT Technical Research Centre of Finland - initial API and implementation\r
+ *******************************************************************************/\r
+package org.simantics.layer0.utils.binaryPredicates;\r
+\r
+import java.util.ArrayDeque;\r
+import java.util.Collection;\r
+import java.util.Deque;\r
+import java.util.HashSet;\r
+import java.util.Set;\r
+\r
+import org.simantics.db.Resource;\r
+import org.simantics.db.ReadGraph;\r
+import org.simantics.db.WriteGraph;\r
+import org.simantics.db.exception.DatabaseException;\r
+import org.simantics.utils.datastructures.Pair;\r
+\r
+public class TransitiveClosure extends BinaryPredicate {\r
+       IBinaryPredicate predicate;\r
+       \r
+\r
+       public TransitiveClosure(IBinaryPredicate predicate) {\r
+               this.predicate = predicate;\r
+       }\r
+\r
+       @Override\r
+       public void add(WriteGraph g, Resource subject, Resource object) throws DatabaseException {\r
+               if(!has(g, subject, object))\r
+                       predicate.add(g, subject, object);\r
+       }\r
+\r
+       @Override\r
+       public Collection<Resource> getObjects(ReadGraph g, Resource subject) throws DatabaseException {\r
+               Deque<Resource> unprocessed = new ArrayDeque<Resource>();\r
+               unprocessed.add(subject);\r
+               Set<Resource> result = new HashSet<Resource>();\r
+               while(!unprocessed.isEmpty())\r
+                       for(Resource r : predicate.getObjects(g, unprocessed.pop()))\r
+                               if(result.add(r))\r
+                                       unprocessed.push(r);\r
+               return result;\r
+       }\r
+\r
+       @Override\r
+       public Collection<Pair<Resource, Resource>> getStatements(ReadGraph g) {\r
+               // TODO Auto-generated method stub\r
+               return null;\r
+       }\r
+\r
+       @Override\r
+       public Collection<Resource> getSubjects(ReadGraph g, Resource object) throws DatabaseException {\r
+               Deque<Resource> unprocessed = new ArrayDeque<Resource>();\r
+               unprocessed.add(object);\r
+               Set<Resource> result = new HashSet<Resource>();\r
+               while(!unprocessed.isEmpty())\r
+                       for(Resource r : predicate.getSubjects(g, unprocessed.pop()))\r
+                               if(result.add(r))\r
+                                       unprocessed.push(r);\r
+               return result;\r
+       }\r
+\r
+       @Override\r
+       public boolean has(ReadGraph g, Resource subject, Resource object) throws DatabaseException {\r
+               Deque<Resource> unprocessed = new ArrayDeque<Resource>();\r
+               unprocessed.add(subject);\r
+               Set<Resource> objects = new HashSet<Resource>();\r
+               while(!unprocessed.isEmpty())\r
+                       for(Resource r : predicate.getObjects(g, unprocessed.pop()))\r
+                               if(r.equals(object))\r
+                                       return true;\r
+                               else if(objects.add(r))\r
+                                       unprocessed.push(r);\r
+               return false;\r
+       }\r
+\r
+       @Override\r
+       public void remove(WriteGraph g, Resource subject, Resource object) {\r
+               throw new UnsupportedOperationException();\r
+       }\r
+\r
+       @Override\r
+       public boolean supportsAdditions() {\r
+               return predicate.supportsAdditions();\r
+       }\r
+\r
+       @Override\r
+       public boolean supportsGetObjects() {\r
+               return predicate.supportsGetObjects();\r
+       }\r
+\r
+       @Override\r
+       public boolean supportsGetStatements() {\r
+               return false; // FIXME: just unimplemented\r
+       }\r
+\r
+       @Override\r
+       public boolean supportsGetSubjects() {\r
+               return predicate.supportsGetSubjects();\r
+       }\r
+\r
+       @Override\r
+       public boolean supportsRemovals() {\r
+               return false;\r
+       }\r
+\r
+       @Override\r
+       public int hashCode() {\r
+               final int prime = 31;\r
+               int result = 1;\r
+               result = prime * result\r
+                               + ((predicate == null) ? 0 : predicate.hashCode());\r
+               return result;\r
+       }\r
+\r
+       @Override\r
+       public boolean equals(Object obj) {\r
+               if (this == obj)\r
+                       return true;\r
+               if (obj == null)\r
+                       return false;\r
+               if (getClass() != obj.getClass())\r
+                       return false;\r
+               TransitiveClosure other = (TransitiveClosure) obj;\r
+               if (predicate == null) {\r
+                       if (other.predicate != null)\r
+                               return false;\r
+               } else if (!predicate.equals(other.predicate))\r
+                       return false;\r
+               return true;\r
+       }\r
+       \r
+}\r