1 package org.simantics.scl.compiler.elaboration.expressions;
3 import java.util.ArrayList;
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;
22 public class EExternalConstant extends Expression {
25 public EExternalConstant(Object value, Type type) {
30 public Object getValue() {
34 public void toString(StringBuilder b, TypeUnparsingContext tuc) {
39 protected void updateType() throws MatchException {
40 throw new InternalCompilerError("EExternalConstants must have explicitly defined type.");
44 public IVal toVal(CompilationContext context, CodeWriter w) {
45 ModuleWriter mw = w.getModuleWriter();
46 return mw.getExternalConstant(value, getType());
50 public Expression simplify(SimplificationContext context) {
55 public Expression resolve(TranslationContext context) {
60 public Expression resolveAsPattern(TranslationContext context) {
65 public void getParameters(TranslationContext translationContext,
66 ArrayList<Expression> parameters) {
70 public Expression replace(ReplaceContext context) {
71 return new EExternalConstant(value, getType().replace(context.tvarMap));
75 public Expression inferType(TypingContext context) {
80 public void setLocationDeep(long loc) {
81 if(location == Locations.NO_LOCATION)
86 public void accept(ExpressionVisitor visitor) {
91 public IExpression toIExpression(ExpressionInterpretationContext context) {
92 return new IConstant(value);
96 public Expression accept(ExpressionTransformer transformer) {
97 return transformer.transform(this);