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