+package org.simantics.document.server.request;\r
+\r
+import java.util.List;\r
+import java.util.Map;\r
+\r
+import org.simantics.databoard.Bindings;\r
+import org.simantics.db.ReadGraph;\r
+import org.simantics.db.Resource;\r
+import org.simantics.db.common.procedure.adapter.TransientCacheListener;\r
+import org.simantics.db.common.request.IndexRoot;\r
+import org.simantics.db.common.request.UnaryRead;\r
+import org.simantics.db.exception.DatabaseException;\r
+import org.simantics.db.layer0.scl.AbstractExpressionCompilationContext;\r
+import org.simantics.db.layer0.scl.AbstractExpressionCompilationRequest;\r
+import org.simantics.db.layer0.util.RuntimeEnvironmentRequest;\r
+import org.simantics.db.layer0.variable.Variable;\r
+import org.simantics.document.server.request.ServerSCLHandlerValueRequest.CompilationContext;\r
+import org.simantics.layer0.Layer0;\r
+import org.simantics.scl.compiler.elaboration.expressions.EApply;\r
+import org.simantics.scl.compiler.elaboration.expressions.EConstant;\r
+import org.simantics.scl.compiler.elaboration.expressions.EVariable;\r
+import org.simantics.scl.compiler.elaboration.expressions.Expression;\r
+import org.simantics.scl.compiler.elaboration.modules.SCLValue;\r
+import org.simantics.scl.compiler.environment.Environment;\r
+import org.simantics.scl.compiler.environment.specification.EnvironmentSpecification;\r
+import org.simantics.scl.compiler.runtime.RuntimeEnvironment;\r
+import org.simantics.scl.compiler.types.TCon;\r
+import org.simantics.scl.compiler.types.Type;\r
+import org.simantics.scl.compiler.types.Types;\r
+import org.simantics.scl.compiler.types.kinds.Kinds;\r
+import org.simantics.scl.runtime.SCLContext;\r
+import org.simantics.scl.runtime.function.Function1;\r
+import org.simantics.structural2.scl.ComponentTypeProperty;\r
+import org.simantics.structural2.scl.FindPossibleComponentTypeRequest;\r
+import org.simantics.structural2.scl.ReadComponentTypeInterfaceRequest;\r
+import org.simantics.utils.datastructures.Pair;\r
+\r
+public class ServerSCLHandlerValueRequest extends AbstractExpressionCompilationRequest<CompilationContext, Variable> {\r
+\r
+ private final Pair<Resource,Resource> componentTypeAndRoot;\r
+ private final Resource literal;\r
+\r
+ public static class CompilationContext extends AbstractExpressionCompilationContext {\r
+ public final Map<String, ComponentTypeProperty> propertyMap;\r
+\r
+ public CompilationContext(RuntimeEnvironment runtimeEnvironment,\r
+ Map<String, ComponentTypeProperty> propertyMap) {\r
+ super(runtimeEnvironment);\r
+ this.propertyMap = propertyMap;\r
+ }\r
+ }\r
+\r
+ private ServerSCLHandlerValueRequest(Pair<Resource,Resource> componentTypeAndRoot, Resource literal) {\r
+ assert(literal != null);\r
+ this.literal = literal;\r
+ this.componentTypeAndRoot = componentTypeAndRoot;\r
+ }\r
+\r
+ public ServerSCLHandlerValueRequest(ReadGraph graph, Variable context) throws DatabaseException {\r
+ this(getComponentTypeAndRoot(graph, context), context.getRepresents(graph));\r
+ }\r
+\r
+ private static Pair<Resource,Resource> getComponentTypeAndRoot(ReadGraph graph, Variable property) throws DatabaseException {\r
+ Variable parent = property.getParent(graph);\r
+ Resource represents = parent.getRepresents(graph);\r
+ if(represents != null) {\r
+ Resource type = graph.syncRequest(new FindPossibleComponentTypeRequest(represents));\r
+ if(type != null) {\r
+ Resource root = graph.syncRequest(new IndexRoot(type));\r
+ return Pair.make(type, root);\r
+ }\r
+ }\r
+ parent = parent.getParent(graph);\r
+ Resource root = graph.syncRequest(new IndexRoot(property.getRepresents(graph)));\r
+ return Pair.make(parent.getType(graph), root);\r
+ }\r
+\r
+\r
+ public static List<TCon> getEffects(ReadGraph graph, Variable context) throws DatabaseException {\r
+ try {\r
+ ServerSCLHandlerValueRequest req = new ServerSCLHandlerValueRequest(graph, context);\r
+ return req.getExpressionEffects(graph);\r
+ } catch (DatabaseException e) {\r
+ throw (DatabaseException)e;\r
+ } catch (Throwable t) {\r
+ throw new DatabaseException(t);\r
+ }\r
+ }\r
+\r
+ public static Object compileAndEvaluate(ReadGraph graph, Variable context) throws DatabaseException {\r
+ SCLContext sclContext = SCLContext.getCurrent();\r
+ Object oldGraph = sclContext.get("graph");\r
+ try {\r
+ Function1<Variable,Object> exp = graph.syncRequest(new ServerSCLHandlerValueRequest(graph, context),\r
+ TransientCacheListener.<Function1<Variable,Object>>instance());\r
+ sclContext.put("graph", graph);\r
+ return exp.apply(context);\r
+ } catch (DatabaseException e) {\r
+ throw (DatabaseException)e;\r
+ } catch (Throwable t) {\r
+ throw new DatabaseException(t);\r
+ } finally {\r
+ sclContext.put("graph", oldGraph);\r
+ }\r
+ }\r
+\r
+ @Override\r
+ protected String getExpressionText(ReadGraph graph)\r
+ throws DatabaseException {\r
+ Layer0 L0 = Layer0.getInstance(graph);\r
+ String exp = graph.getRelatedValue(literal, L0.SCLValue_expression, Bindings.STRING);\r
+ return "\\context -> " + exp;\r
+ }\r
+\r
+ protected RuntimeEnvironmentRequest getRuntimeEnvironmentRequest(Resource indexRoot) {\r
+ return new RuntimeEnvironmentRequest(indexRoot) {\r
+ @Override\r
+ protected void fillEnvironmentSpecification(\r
+ EnvironmentSpecification environmentSpecification) {\r
+ }\r
+ };\r
+ }\r
+\r
+ @Override\r
+ protected CompilationContext getCompilationContext(ReadGraph graph)\r
+ throws DatabaseException {\r
+ return graph.syncRequest(new UnaryRead<Pair<Resource,Resource>,CompilationContext>(componentTypeAndRoot) {\r
+ @Override\r
+ public CompilationContext perform(ReadGraph graph)\r
+ throws DatabaseException {\r
+ RuntimeEnvironment runtimeEnvironment = graph.syncRequest(getRuntimeEnvironmentRequest(parameter.second));\r
+ Map<String, ComponentTypeProperty> propertyMap =\r
+ graph.syncRequest(new ReadComponentTypeInterfaceRequest(parameter.first, runtimeEnvironment.getEnvironment()),\r
+ TransientCacheListener.<Map<String, ComponentTypeProperty>>instance());\r
+ return new CompilationContext(runtimeEnvironment, propertyMap);\r
+ }\r
+ });\r
+ }\r
+\r
+ @Override\r
+ protected Type getContextVariableType() {\r
+ return VARIABLE; \r
+ }\r
+\r
+ private static Expression accessInputVariable(Environment environment,\r
+ org.simantics.scl.compiler.elaboration.expressions.Variable contextVariable) {\r
+ SCLValue variableParentFunction = environment.getValue(VARIABLE_PARENT);\r
+ return new EApply(new EConstant(variableParentFunction),\r
+ new EApply(new EConstant(variableParentFunction),\r
+ new EVariable(contextVariable)));\r
+ }\r
+\r
+ protected static Expression standardGetProperty(\r
+ Environment environment,\r
+ org.simantics.scl.compiler.elaboration.expressions.Variable contextVariable,\r
+ String name,\r
+ Type type) {\r
+ return getPropertyFlexible(environment, accessInputVariable(environment, contextVariable), name, type);\r
+ }\r
+\r
+\r
+ @Override\r
+ protected Expression getVariableAccessExpression(\r
+ ReadGraph graph,\r
+ CompilationContext context,\r
+ org.simantics.scl.compiler.elaboration.expressions.Variable contextVariable,\r
+ String name) throws DatabaseException {\r
+ ComponentTypeProperty property = context.propertyMap.get(name);\r
+ if(property != null)\r
+ return standardGetProperty(\r
+ context.runtimeEnvironment.getEnvironment(),\r
+ contextVariable,\r
+ name,\r
+ property.type == null ? Types.metaVar(Kinds.STAR) : property.type);\r
+ else\r
+ return getSpecialVariableAccessExpression(graph, context, contextVariable, name);\r
+ }\r
+\r
+ protected Expression getSpecialVariableAccessExpression(ReadGraph graph,\r
+ CompilationContext context,\r
+ org.simantics.scl.compiler.elaboration.expressions.Variable contextVariable,\r
+ String name) throws DatabaseException {\r
+ if(name.equals("input")) {\r
+ Environment environment = context.runtimeEnvironment.getEnvironment();\r
+ return accessInputVariable(environment, contextVariable);\r
+ } else if(name.equals("self"))\r
+ return new EVariable(contextVariable);\r
+ else\r
+ return null;\r
+ }\r
+\r
+ @Override\r
+ public int hashCode() {\r
+ return 31*(31*getClass().hashCode() + literal.hashCode()) + componentTypeAndRoot.hashCode();\r
+ }\r
+\r
+ @Override\r
+ public boolean equals(Object obj) {\r
+ if(this == obj)\r
+ return true;\r
+ if(obj == null || obj.getClass() != getClass())\r
+ return false;\r
+ ServerSCLHandlerValueRequest other = (ServerSCLHandlerValueRequest)obj;\r
+ return literal.equals(other.literal) && componentTypeAndRoot.equals(other.componentTypeAndRoot);\r
+ }\r
+}\r