1 /*******************************************************************************
\r
2 * Copyright (c) 2010- Association for Decentralized Information Management in
\r
4 * All rights reserved. This program and the accompanying materials
\r
5 * are made available under the terms of the Eclipse Public License v1.0
\r
6 * which accompanies this distribution, and is available at
\r
7 * http://www.eclipse.org/legal/epl-v10.html
\r
10 * VTT Technical Research Centre of Finland - initial API and implementation
\r
11 *******************************************************************************/
\r
12 package org.simantics.databoard.binding.util;
\r
14 import java.util.IdentityHashMap;
\r
16 import org.simantics.databoard.type.ArrayType;
\r
17 import org.simantics.databoard.type.BooleanType;
\r
18 import org.simantics.databoard.type.ByteType;
\r
19 import org.simantics.databoard.type.Component;
\r
20 import org.simantics.databoard.type.Datatype;
\r
21 import org.simantics.databoard.type.Datatype.Visitor;
\r
22 import org.simantics.databoard.type.DoubleType;
\r
23 import org.simantics.databoard.type.FloatType;
\r
24 import org.simantics.databoard.type.IntegerType;
\r
25 import org.simantics.databoard.type.LongType;
\r
26 import org.simantics.databoard.type.MapType;
\r
27 import org.simantics.databoard.type.OptionalType;
\r
28 import org.simantics.databoard.type.RecordType;
\r
29 import org.simantics.databoard.type.StringType;
\r
30 import org.simantics.databoard.type.UnionType;
\r
31 import org.simantics.databoard.type.VariantType;
\r
33 public class IsReferableQuery implements Visitor<Result> {
\r
35 public static Result isReferable(Datatype type) {
\r
36 IsReferableQuery query = new IsReferableQuery();
\r
37 Result result = type.accept(query);
\r
41 IdentityHashMap<Datatype, Result> visited = new IdentityHashMap<Datatype, Result>();
\r
44 public Result visit(ArrayType b) {
\r
45 visited.put(b, Result.No);
\r
46 Datatype ct = b.componentType();
\r
47 Result cr = visited.get(ct);
\r
48 if (cr!=null) return cr;
\r
49 cr = ct.accept(this);
\r
50 if (cr!=Result.No) visited.put(b, cr);
\r
55 public Result visit(BooleanType b) {
\r
60 public Result visit(DoubleType b) {
\r
65 public Result visit(FloatType b) {
\r
70 public Result visit(IntegerType b) {
\r
75 public Result visit(ByteType b) {
\r
80 public Result visit(LongType b) {
\r
85 public Result visit(OptionalType b) {
\r
86 visited.put(b, Result.No);
\r
87 Datatype ct = b.getComponentType();
\r
88 Result cr = visited.get(ct);
\r
89 if (cr!=null) return cr;
\r
90 cr = ct.accept(this);
\r
91 if (cr!=Result.No) visited.put(b, cr);
\r
96 public Result visit(RecordType b) {
\r
97 if (b.isReferable()) {
\r
98 visited.put(b, Result.Yes);
\r
102 Result result = Result.No;
\r
103 visited.put(b, result);
\r
105 for (Component c : b.getComponents()) {
\r
106 Datatype ct = c.type;
\r
108 Result cr = visited.get(ct);
\r
109 if (cr==null) cr = ct.accept(this);
\r
111 if (cr == Result.Yes) {
\r
115 if (cr == Result.Possible) {
\r
121 if (result!=Result.No) visited.put(b, result);
\r
126 public Result visit(StringType b) {
\r
131 public Result visit(UnionType b) {
\r
132 Result result = Result.No;
\r
133 visited.put(b, result);
\r
135 for (Component c : b.getComponents()) {
\r
136 Datatype ct = c.type;
\r
138 Result cr = visited.get(ct);
\r
139 if (cr==null) cr = ct.accept(this);
\r
141 if (cr == Result.Yes) {
\r
145 if (cr == Result.Possible) {
\r
151 if (result!=Result.No) visited.put(b, result);
\r
156 public Result visit(VariantType b) {
\r
157 return Result.Possible;
\r
161 public Result visit(MapType b) {
\r
162 visited.put(b, Result.No);
\r
163 Datatype kt = b.keyType;
\r
164 Result kr = visited.get(kt);
\r
165 if (kr == null) kr = kt.accept(this);
\r
167 Datatype vt = b.valueType;
\r
168 Result vr = visited.get(vt);
\r
169 if (vr == null) vr = vt.accept(this);
\r
171 Result result = Result.No;
\r
172 if (kr==Result.Yes || vr==Result.Yes) result = Result.Yes;
\r
173 else if (kr==Result.Possible || vr==Result.Possible) result = Result.Possible;
\r
175 if (result!=Result.No)
\r
176 visited.put(b, Result.No);
\r