bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EExternalConstant.java

   1 package org.simantics.scl.compiler.elaboration.expressions;
   2
   3 import java.util.ArrayList;
   4
   5 import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
   6 import org.simantics.scl.compiler.compilation.CompilationContext;
   7 import org.simantics.scl.compiler.elaboration.contexts.ReplaceContext;
   8 import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;
   9 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
  10 import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
  11 import org.simantics.scl.compiler.errors.Locations;
  12 import org.simantics.scl.compiler.internal.codegen.references.IVal;
  13 import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;
  14 import org.simantics.scl.compiler.internal.codegen.writer.ModuleWriter;
  15 import org.simantics.scl.compiler.internal.interpreted.IConstant;
  16 import org.simantics.scl.compiler.internal.interpreted.IExpression;
  17 import org.simantics.scl.compiler.top.ExpressionInterpretationContext;
  18 import org.simantics.scl.compiler.types.Type;
  19 import org.simantics.scl.compiler.types.exceptions.MatchException;
  20 import org.simantics.scl.compiler.types.util.TypeUnparsingContext;
  21
  22 public class EExternalConstant extends Expression {
  23     Object value;
  24
  25     public EExternalConstant(Object value, Type type) {
  26         this.value = value;
  27         setType(type);
  28     }
  29
  30     public Object getValue() {
  31         return value;
  32     }
  33
  34     public void toString(StringBuilder b, TypeUnparsingContext tuc) {
  35         b.append(value);
  36     }
  37
  38     @Override
  39     protected void updateType() throws MatchException {
  40         throw new InternalCompilerError("EExternalConstants must have explicitly defined type.");
  41     }
  42
  43     @Override
  44     public IVal toVal(CompilationContext context, CodeWriter w) {
  45         ModuleWriter mw = w.getModuleWriter();
  46         return mw.getExternalConstant(value, getType());
  47     }
  48
  49     @Override
  50     public Expression simplify(SimplificationContext context) {
  51         return this;
  52     }
  53
  54     @Override
  55     public Expression resolve(TranslationContext context) {
  56         return this;
  57     }
  58
  59     @Override
  60     public Expression resolveAsPattern(TranslationContext context) {
  61         return this;
  62     }
  63
  64     @Override
  65     public void getParameters(TranslationContext translationContext,
  66             ArrayList<Expression> parameters) {
  67     }
  68
  69     @Override
  70     public Expression replace(ReplaceContext context) {
  71         return new EExternalConstant(value, getType().replace(context.tvarMap));
  72     }
  73
  74     @Override
  75     public Expression inferType(TypingContext context) {
  76         return this;
  77     }
  78
  79     @Override
  80     public void setLocationDeep(long loc) {
  81         if(location == Locations.NO_LOCATION)
  82             location = loc;
  83     }
  84
  85     @Override
  86     public void accept(ExpressionVisitor visitor) {
  87         visitor.visit(this);
  88     }
  89
  90     @Override
  91     public IExpression toIExpression(ExpressionInterpretationContext context) {
  92         return new IConstant(value);
  93     }
  94
  95     @Override
  96     public Expression accept(ExpressionTransformer transformer) {
  97         return transformer.transform(this);
  98     }
  99
 100 }