1 package org.simantics.scl.compiler.elaboration.expressions;
3 import org.simantics.scl.compiler.compilation.CompilationContext;
4 import org.simantics.scl.compiler.elaboration.contexts.ReplaceContext;
5 import org.simantics.scl.compiler.elaboration.contexts.SimplificationContext;
6 import org.simantics.scl.compiler.elaboration.contexts.TranslationContext;
7 import org.simantics.scl.compiler.elaboration.contexts.TypingContext;
8 import org.simantics.scl.compiler.errors.Locations;
9 import org.simantics.scl.compiler.internal.codegen.references.IVal;
10 import org.simantics.scl.compiler.internal.codegen.writer.CodeWriter;
11 import org.simantics.scl.compiler.types.Type;
12 import org.simantics.scl.compiler.types.Types;
13 import org.simantics.scl.compiler.types.exceptions.MatchException;
14 import org.simantics.scl.compiler.types.kinds.Kinds;
16 public class EError extends Expression {
18 public EError(long loc, Type type) {
26 public EError(long loc) {
27 this(loc, Types.metaVar(Kinds.STAR));
31 protected void updateType() throws MatchException {
32 setType(Types.metaVar(Kinds.STAR));
36 public IVal toVal(CompilationContext context, CodeWriter w) {
37 throw new UnsupportedOperationException();
41 public Expression simplify(SimplificationContext context) {
46 public Expression resolve(TranslationContext context) {
51 public Expression inferType(TypingContext context) {
56 public void setLocationDeep(long loc) {
57 if(location == Locations.NO_LOCATION)
62 public void accept(ExpressionVisitor visitor) {
67 public Expression replace(ReplaceContext context) {
72 public Expression accept(ExpressionTransformer transformer) {
73 return transformer.transform(this);