82c6d5d527faf20232eb2a0f46290c91b73c5513
[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / elaboration / expressions / EError.java
1 package org.simantics.scl.compiler.elaboration.expressions;
2
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;
15
16 import gnu.trove.map.hash.TObjectIntHashMap;
17 import gnu.trove.set.hash.THashSet;
18 import gnu.trove.set.hash.TIntHashSet;
19
20 public class EError extends Expression {
21
22     public EError(long loc, Type type) {
23         super(loc);
24         setType(type);
25     }
26     
27     public EError() {
28     }
29     
30     public EError(long loc) {
31         this(loc, Types.metaVar(Kinds.STAR));
32     }
33
34     @Override
35     public void collectVars(TObjectIntHashMap<Variable> allVars,
36             TIntHashSet vars) {
37     }
38
39     @Override
40     protected void updateType() throws MatchException {
41         setType(Types.metaVar(Kinds.STAR));
42     }
43
44     @Override
45     public IVal toVal(CompilationContext context, CodeWriter w) {
46         throw new UnsupportedOperationException();
47     }
48
49     @Override
50     public void collectFreeVariables(THashSet<Variable> vars) {
51     }
52
53     @Override
54     public Expression simplify(SimplificationContext context) {
55         return this;
56     }
57
58     @Override
59     public Expression resolve(TranslationContext context) {
60         return this;
61     }
62     
63     @Override
64     public Expression inferType(TypingContext context) {
65         return this;
66     }
67     
68     @Override
69     public void setLocationDeep(long loc) {
70         if(location == Locations.NO_LOCATION)
71             location = loc;
72     }
73     
74     @Override
75     public void accept(ExpressionVisitor visitor) {
76         visitor.visit(this);
77     }
78     
79     @Override
80     public Expression replace(ReplaceContext context) {
81         return this;
82     }
83     
84     @Override
85     public Expression accept(ExpressionTransformer transformer) {
86         return transformer.transform(this);
87     }
88
89 }