1 package org.simantics.scl.compiler.elaboration.expressions;
3 import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
4 import org.simantics.scl.compiler.compilation.CompilationContext;
5 import org.simantics.scl.compiler.elaboration.contexts.ReplaceContext;
6 import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;
7 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
8 import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
9 import org.simantics.scl.compiler.errors.Locations;
10 import org.simantics.scl.compiler.internal.codegen.references.IVal;
11 import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;
12 import org.simantics.scl.compiler.internal.interpreted.IExpression;
13 import org.simantics.scl.compiler.top.ExpressionInterpretationContext;
14 import org.simantics.scl.compiler.types.Type;
15 import org.simantics.scl.compiler.types.Types;
16 import org.simantics.scl.compiler.types.exceptions.MatchException;
18 public class EApplyType extends Expression {
19 public Expression expression;
22 public EApplyType(Expression expression, Type parameter) {
23 this.expression = expression;
24 this.parameter = parameter;
27 public static Expression create(Expression expression, Type ... parameters) {
28 for(Type parameter : parameters)
29 expression = new EApplyType(expression, parameter);
33 public EApplyType(long loc, Expression expression, Type parameter) {
36 throw new NullPointerException();
37 this.expression = expression;
38 this.parameter = parameter;
41 public Expression getExpression() {
45 public Type getParameter() {
50 protected void updateType() throws MatchException {
51 setType(Types.instantiate(expression.getType(), parameter));
55 public IVal toVal(CompilationContext context, CodeWriter w) {
56 IVal val = expression.toVal(context, w);
57 return val.createSpecialization(parameter);
61 public Expression simplify(SimplificationContext context) {
62 expression = expression.simplify(context);
63 if(expression instanceof EConstant) {
64 ((EConstant)expression).addTypeParameters(parameter);
71 public Expression resolve(TranslationContext context) {
72 expression = expression.resolve(context);
77 public Expression replace(ReplaceContext context) {
78 return new EApplyType(expression.replace(context),
79 parameter.replace(context.tvarMap));
83 public IExpression toIExpression(ExpressionInterpretationContext target) {
84 return expression.toIExpression(target);
88 public Expression inferType(TypingContext context) {
89 throw new InternalCompilerError("Should not type check " + getClass().getSimpleName() + ".");
93 public boolean isEffectful() {
94 return expression.isEffectful();
98 public void setLocationDeep(long loc) {
99 if(location == Locations.NO_LOCATION) {
101 expression.setLocationDeep(loc);
106 public void accept(ExpressionVisitor visitor) {
111 public Expression accept(ExpressionTransformer transformer) {
112 return transformer.transform(this);