]> gerrit.simantics Code Review - simantics/platform.git/blob - bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/expressions/EEnforce.java
Improvements to resolving primitive properties in document server
[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / elaboration / expressions / EEnforce.java
1 package org.simantics.scl.compiler.elaboration.expressions;
2
3 import org.simantics.scl.compiler.common.exceptions.InternalCompilerError;
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.elaboration.query.QExists;
9 import org.simantics.scl.compiler.elaboration.query.Query;
10 import org.simantics.scl.compiler.elaboration.query.compilation.EnforcingContext;
11 import org.simantics.scl.compiler.errors.Locations;
12 import org.simantics.scl.compiler.types.Types;
13 import org.simantics.scl.compiler.types.exceptions.MatchException;
14
15 public class EEnforce extends SimplifiableExpression {
16     
17     public Query query;
18     
19     public EEnforce(Query query) {
20         this.query = query;
21     }
22     
23     public Query getQuery() {
24         return query;
25     }
26
27     @Override
28     protected void updateType() throws MatchException {
29         setType(Types.tupleConstructor(0));
30     }
31     
32     @Override
33     public Expression inferType(TypingContext context) {
34         query.checkType(context);
35         //context.declareEffect(location, query.getEffect(Query.W));
36         return compile(context);
37     }
38     
39     public Expression compile(TypingContext context) {
40         return query.generateEnforce(new EnforcingContext(context));
41     }
42
43     @Override
44     public Expression simplify(SimplificationContext context) {
45         /*query = query.simplify(context);
46         return query.generateEnforce(context);*/
47         throw new InternalCompilerError();
48     }
49
50     @Override
51     public Expression resolve(TranslationContext context) {
52         context.pushExistentialFrame();
53         query = query.resolve(context);
54         Variable[] variables = context.popExistentialFrame();
55         if(variables.length > 0)
56             query = new QExists(variables, query);
57         return this;
58     }
59     
60     @Override
61     public void setLocationDeep(long loc) {
62         if(location == Locations.NO_LOCATION) {
63             location = loc;
64             query.setLocationDeep(loc);
65         }
66     }
67     
68     @Override
69     public void accept(ExpressionVisitor visitor) {
70         visitor.visit(this);
71     }
72     
73     @Override
74     public Expression replace(ReplaceContext context) {
75         return new EEnforce(query.replace(context));
76     }
77     
78     @Override
79     public Expression accept(ExpressionTransformer transformer) {
80         return transformer.transform(this);
81     }
82
83 }