Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.databoard / src / org / simantics / databoard / binding / util / IsReferableQuery.java

diff --git a/bundles/org.simantics.databoard/src/org/simantics/databoard/binding/util/IsReferableQuery.java b/bundles/org.simantics.databoard/src/org/simantics/databoard/binding/util/IsReferableQuery.java
new file mode 100644 (file)
index 0000000..6812a59
--- /dev/null
+++ b/bundles/org.simantics.databoard/src/org/simantics/databoard/binding/util/IsReferableQuery.java
@@ -0,0 +1,182 @@
+/*******************************************************************************\r
+ * Copyright (c) 2010- Association for Decentralized Information Management in\r
+ * 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.databoard.binding.util;\r
+\r
+import java.util.IdentityHashMap;\r
+\r
+import org.simantics.databoard.type.ArrayType;\r
+import org.simantics.databoard.type.BooleanType;\r
+import org.simantics.databoard.type.ByteType;\r
+import org.simantics.databoard.type.Component;\r
+import org.simantics.databoard.type.Datatype;\r
+import org.simantics.databoard.type.Datatype.Visitor;\r
+import org.simantics.databoard.type.DoubleType;\r
+import org.simantics.databoard.type.FloatType;\r
+import org.simantics.databoard.type.IntegerType;\r
+import org.simantics.databoard.type.LongType;\r
+import org.simantics.databoard.type.MapType;\r
+import org.simantics.databoard.type.OptionalType;\r
+import org.simantics.databoard.type.RecordType;\r
+import org.simantics.databoard.type.StringType;\r
+import org.simantics.databoard.type.UnionType;\r
+import org.simantics.databoard.type.VariantType;\r
+\r
+public class IsReferableQuery implements Visitor<Result> {\r
+       \r
+       public static Result isReferable(Datatype type) {\r
+               IsReferableQuery query = new IsReferableQuery();\r
+               Result result = type.accept(query);\r
+               return result;\r
+       }\r
+       \r
+       IdentityHashMap<Datatype, Result> visited = new IdentityHashMap<Datatype, Result>();    \r
+       \r
+       @Override\r
+       public Result visit(ArrayType b) {\r
+               visited.put(b, Result.No);\r
+               Datatype ct = b.componentType();\r
+               Result cr = visited.get(ct);\r
+               if (cr!=null) return cr;                \r
+               cr = ct.accept(this);\r
+               if (cr!=Result.No) visited.put(b, cr);          \r
+               return cr; \r
+       }\r
+\r
+       @Override\r
+       public Result visit(BooleanType b) {\r
+               return null;\r
+       }\r
+\r
+       @Override\r
+       public Result visit(DoubleType b) {\r
+               return null;\r
+       }\r
+\r
+       @Override\r
+       public Result visit(FloatType b) {\r
+               return null;\r
+       }\r
+\r
+       @Override\r
+       public Result visit(IntegerType b) {\r
+               return null;\r
+       }\r
+\r
+       @Override\r
+       public Result visit(ByteType b) {\r
+               return null;\r
+       }\r
+\r
+       @Override\r
+       public Result visit(LongType b) {\r
+               return null;\r
+       }\r
+\r
+       @Override\r
+       public Result visit(OptionalType b) {\r
+               visited.put(b, Result.No);\r
+               Datatype ct = b.getComponentType();\r
+               Result cr = visited.get(ct);\r
+               if (cr!=null) return cr;                \r
+               cr = ct.accept(this);\r
+               if (cr!=Result.No) visited.put(b, cr);          \r
+               return cr; \r
+       }\r
+\r
+       @Override\r
+       public Result visit(RecordType b) {             \r
+               if (b.isReferable()) {\r
+                       visited.put(b, Result.Yes);\r
+                       return Result.Yes;\r
+               }\r
+                               \r
+               Result result = Result.No;\r
+               visited.put(b, result);\r
+               \r
+               for (Component c : b.getComponents()) {\r
+                       Datatype ct = c.type;\r
+                       \r
+                       Result cr = visited.get(ct);\r
+                       if (cr==null) cr = ct.accept(this);\r
+                       if (cr!=null) {\r
+                               if (cr == Result.Yes) {\r
+                                       result = cr;\r
+                                       break;\r
+                               }\r
+                               if (cr == Result.Possible) {\r
+                                       result = cr;                                    \r
+                               }\r
+                       }                       \r
+               }\r
+               \r
+               if (result!=Result.No) visited.put(b, result);          \r
+               return result;\r
+       }\r
+\r
+       @Override\r
+       public Result visit(StringType b) {\r
+               return Result.No;\r
+       }\r
+\r
+       @Override\r
+       public Result visit(UnionType b) {\r
+               Result result = Result.No;\r
+               visited.put(b, result);\r
+               \r
+               for (Component c : b.getComponents()) {\r
+                       Datatype ct = c.type;\r
+                       \r
+                       Result cr = visited.get(ct);\r
+                       if (cr==null) cr = ct.accept(this);\r
+                       if (cr!=null) {\r
+                               if (cr == Result.Yes) {\r
+                                       result = cr;\r
+                                       break;\r
+                               }\r
+                               if (cr == Result.Possible) {\r
+                                       result = cr;                                    \r
+                               }\r
+                       }                       \r
+               }\r
+               \r
+               if (result!=Result.No) visited.put(b, result);          \r
+               return result;\r
+       }\r
+\r
+       @Override\r
+       public Result visit(VariantType b) {\r
+               return Result.Possible;\r
+       }\r
+\r
+       @Override\r
+       public Result visit(MapType b) {\r
+               visited.put(b, Result.No);\r
+               Datatype kt = b.keyType;\r
+               Result kr = visited.get(kt);\r
+               if (kr == null) kr = kt.accept(this);\r
+               \r
+               Datatype vt = b.valueType;\r
+               Result vr = visited.get(vt);\r
+               if (vr == null) vr = vt.accept(this);\r
+               \r
+               Result result = Result.No;\r
+               if (kr==Result.Yes || vr==Result.Yes) result = Result.Yes;\r
+               else if (kr==Result.Possible || vr==Result.Possible) result = Result.Possible;\r
+\r
+               if (result!=Result.No) \r
+                       visited.put(b, Result.No);\r
+               \r
+               return result; \r
+       }\r
+       \r
+}\r
+\r