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 }