AbstractCompileStructuralValueRequest uses wrong RuntimeEnvironment
[simantics/platform.git] / bundles / org.simantics.structural2 / src / org / simantics / structural2 / scl / AbstractCompileStructuralValueRequest.java
1 package org.simantics.structural2.scl;
2
3 import java.util.Collections;
4 import java.util.Map;
5
6 import org.simantics.databoard.Bindings;
7 import org.simantics.db.ReadGraph;
8 import org.simantics.db.Resource;
9 import org.simantics.db.common.procedure.adapter.TransientCacheListener;
10 import org.simantics.db.common.request.PossibleIndexRoot;
11 import org.simantics.db.common.request.ResourceRead2;
12 import org.simantics.db.exception.DatabaseException;
13 import org.simantics.db.layer0.scl.AbstractExpressionCompilationContext;
14 import org.simantics.db.layer0.scl.AbstractExpressionCompilationRequest;
15 import org.simantics.db.layer0.util.RuntimeEnvironmentRequest;
16 import org.simantics.db.layer0.util.RuntimeEnvironmentRequest2;
17 import org.simantics.db.layer0.variable.Variable;
18 import org.simantics.layer0.Layer0;
19 import org.simantics.scl.compiler.elaboration.expressions.EApply;
20 import org.simantics.scl.compiler.elaboration.expressions.EConstant;
21 import org.simantics.scl.compiler.elaboration.expressions.EVariable;
22 import org.simantics.scl.compiler.elaboration.expressions.Expression;
23 import org.simantics.scl.compiler.elaboration.modules.SCLValue;
24 import org.simantics.scl.compiler.environment.Environment;
25 import org.simantics.scl.compiler.environment.Environments;
26 import org.simantics.scl.compiler.runtime.RuntimeEnvironment;
27 import org.simantics.scl.compiler.top.SCLExpressionCompilationException;
28 import org.simantics.scl.compiler.types.Type;
29 import org.simantics.structural2.scl.AbstractCompileStructuralValueRequest.CompilationContext;
30
31 /**
32  * Compiles an SCL expression that is attached to a literal
33  * whose parent is a component that is a part of a component type.
34  * 
35  * @author Antti Villberg
36  */
37 abstract public class AbstractCompileStructuralValueRequest extends AbstractExpressionCompilationRequest<CompilationContext, Variable> {
38     
39     protected final Resource relation;
40     
41     public static class CompilationContext extends AbstractExpressionCompilationContext {
42         public final Map<String, ComponentTypeProperty> propertyMap;
43         
44         public CompilationContext(RuntimeEnvironment runtimeEnvironment,
45                 Map<String, ComponentTypeProperty> propertyMap) {
46             super(runtimeEnvironment);
47             this.propertyMap = propertyMap;
48         }
49     }
50     
51     public AbstractCompileStructuralValueRequest(Resource relation) {
52         this.relation = relation;
53     }
54
55     @Override
56     abstract protected String getExpressionText(ReadGraph graph) throws DatabaseException;
57     abstract protected Resource getIndexRoot(ReadGraph graph) throws DatabaseException;
58     abstract protected Resource getComponentType(ReadGraph graph) throws DatabaseException;
59     
60     @Override
61     protected Type getExpectedType(ReadGraph graph, CompilationContext context)
62             throws DatabaseException {
63         Layer0 L0 = Layer0.getInstance(graph);
64         String valueType = graph.getPossibleRelatedValue(relation, L0.RequiresValueType, Bindings.STRING);
65         if(valueType != null) {
66             Resource relationIndexRoot = graph.syncRequest(new PossibleIndexRoot(relation));
67             RuntimeEnvironment relationRuntimeEnvironment = relationIndexRoot != null ? graph.syncRequest(new RuntimeEnvironmentRequest(relationIndexRoot)) : context.runtimeEnvironment;
68             try {
69                 return Environments.getType(relationRuntimeEnvironment.getEnvironment(), valueType);
70             } catch (SCLExpressionCompilationException e) {
71                 e.printStackTrace();
72             }
73         }
74         return super.getExpectedType(graph, context);
75     }
76     
77     
78
79     @Override
80     protected CompilationContext getCompilationContext(ReadGraph graph)
81             throws DatabaseException {
82         Resource indexRoot = getIndexRoot(graph);
83         Resource componentType = getComponentType(graph);
84         if(componentType == null) {
85             RuntimeEnvironment runtimeEnvironment = graph.syncRequest(new RuntimeEnvironmentRequest(indexRoot));
86             return new CompilationContext(runtimeEnvironment, Collections.<String,ComponentTypeProperty>emptyMap());
87         } else {
88                 return graph.syncRequest(new ResourceRead2<CompilationContext>(componentType, indexRoot) {
89                     @Override
90                     public CompilationContext perform(ReadGraph graph)
91                             throws DatabaseException {
92                         RuntimeEnvironment runtimeEnvironment = graph.syncRequest(new RuntimeEnvironmentRequest2(resource, resource2));
93                         Map<String, ComponentTypeProperty> propertyMap =
94                                 graph.syncRequest(new ReadComponentTypeInterfaceRequest(resource, runtimeEnvironment.getEnvironment()),
95                                         TransientCacheListener.<Map<String, ComponentTypeProperty>>instance());
96                         return new CompilationContext(runtimeEnvironment, propertyMap);
97                     }
98                 });
99         }
100     }
101
102     @Override
103     protected Type getContextVariableType() {
104         return VARIABLE; 
105     }
106
107     protected static Expression accessInputVariable(Environment environment,
108             org.simantics.scl.compiler.elaboration.expressions.Variable contextVariable) {
109         SCLValue variableParentFunction = environment.getValue(VARIABLE_PARENT);
110         return new EApply(new EConstant(variableParentFunction),
111                 new EApply(new EConstant(variableParentFunction),
112                         new EVariable(contextVariable)));
113     }
114     
115     @Override
116     protected Expression getVariableAccessExpression(
117             ReadGraph graph,
118             CompilationContext context,
119             org.simantics.scl.compiler.elaboration.expressions.Variable contextVariable,
120             String name) throws DatabaseException {
121         ComponentTypeProperty property = context.propertyMap.get(name);
122         if(property != null) {
123             Environment environment = context.runtimeEnvironment.getEnvironment();
124             return getPropertyFlexible(environment,
125                     accessInputVariable(environment, contextVariable),
126                     name,
127                     property.type);
128         }
129         else if(name.equals("input")) {
130             Environment environment = context.runtimeEnvironment.getEnvironment();
131             return accessInputVariable(environment, contextVariable);
132         }
133         else if(name.equals("self"))
134             return new EVariable(contextVariable);
135         else
136             return null;
137     }
138     
139 }