X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Frelations%2FConcreteRelation.java;h=bcdcb4e351a237e7efbd0dcca11deccad63db0ea;hp=a38df0bcdeff22132f03868585d292319b9d9ef3;hb=3e457239db8dd214a3a10c74c2ecefa0f0f8dd1a;hpb=3448b94a8e90047c88eb62a0542c1596acb701b8

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/relations/ConcreteRelation.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/relations/ConcreteRelation.java
index a38df0bcd..bcdcb4e35 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/relations/ConcreteRelation.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/relations/ConcreteRelation.java
@@ -150,13 +150,24 @@ public class ConcreteRelation extends Symbol implements SCLRelation {
     }
 
     @Override
-    public void generateEnforce(PlanContext context, CodeWriter w, long location, Expression[] parameters) {
+    public void generateEnforce(PlanContext context, CodeWriter w, long location, Expression[] parameters,
+            Expression[] typeConstraintEvidenceParameters) {
         throw new UnsupportedOperationException(getClass().getSimpleName() + " does not support enforce.");
     }
     
     @Override
     public void generateIterate(PlanContext context, CodeWriter w, long location, int boundMask, Variable[] variables,
-            Expression[] expressions) {
+            Expression[] expressions, Expression[] typeConstraintEvidenceParameters) {
         throw new UnsupportedOperationException(getClass().getSimpleName() + " does not support iterate.");
     }
+
+    @Override
+    public Type getEnforceEffect() {
+        return writingEffect;
+    }
+
+    @Override
+    public Type getQueryEffect() {
+        return sections.get(0).effect; 
+    }
 }