package org.simantics.document.server.request;
-import java.util.ArrayList;
import java.util.Map;
import org.simantics.databoard.Bindings;
import org.simantics.scl.compiler.environment.specification.EnvironmentSpecification;
import org.simantics.scl.compiler.runtime.RuntimeEnvironment;
import org.simantics.scl.compiler.top.SCLExpressionCompilationException;
-import org.simantics.scl.compiler.types.TMetaVar;
-import org.simantics.scl.compiler.types.TVar;
import org.simantics.scl.compiler.types.Type;
import org.simantics.scl.compiler.types.Types;
import org.simantics.scl.compiler.types.kinds.Kinds;
public class ServerSCLValueRequest extends AbstractExpressionCompilationRequest<CompilationContext, Variable> {
- private static final Logger LOGGER = LoggerFactory.getLogger(ServerSCLValueRequest.class);
-
private final Pair<Resource,Resource> componentTypeAndRoot;
private final Resource literal;
protected String possibleExpectedValueType;
@Override
protected Type getExpectedType(ReadGraph graph, CompilationContext context) throws DatabaseException {
- if(possibleExpectedValueType != null) {
- try {
- Type type = Environments.getType(context.runtimeEnvironment.getEnvironment(), possibleExpectedValueType);
- type = Types.instantiate(Types.forAll(Types.freeVars(type).toArray(new TVar[0]), type), new ArrayList<TMetaVar>());
- return type;
- } catch (SCLExpressionCompilationException e) {
- LOGGER.error("Could not get type for " + String.valueOf(possibleExpectedValueType), e);
- }
- }
return super.getExpectedType(graph, context);
}
ServerSCLValueRequest other = (ServerSCLValueRequest)obj;
return literal.equals(other.literal) && componentTypeAndRoot.equals(other.componentTypeAndRoot);
}
+
+ public static Function1<Variable, Object> validate(ReadGraph graph, Variable context) throws DatabaseException {
+ return graph.syncRequest(new ServerSCLValueValidationRequest(graph, context), TransientCacheListener.<Function1<Variable,Object>>instance());
+ }
+
+ public static class ServerSCLValueValidationRequest extends ServerSCLValueRequest {
+
+ private static final Logger LOGGER = LoggerFactory.getLogger(ServerSCLHandlerValueRequest.class);
+
+ public ServerSCLValueValidationRequest(ReadGraph graph, Variable context) throws DatabaseException {
+ super(graph, context);
+ }
+
+ @Override
+ protected Type getExpectedType(ReadGraph graph, CompilationContext context) throws DatabaseException {
+ if(possibleExpectedValueType != null) {
+ try {
+ return Environments.getType(context.runtimeEnvironment.getEnvironment(), possibleExpectedValueType);
+ } catch (SCLExpressionCompilationException e) {
+ LOGGER.error("Could not get type for " + String.valueOf(possibleExpectedValueType), e);
+ }
+ }
+ return super.getExpectedType(graph, context);
+ }
+ }
}