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=96ace3b6433f0b3be367b81dbe194cd39ff0a171;hb=3e457239db8dd214a3a10c74c2ecefa0f0f8dd1a;hpb=666ee533a3cfa9f59e79215a269f8342227cdbda 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 96ace3b64..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 @@ -160,4 +160,14 @@ public class ConcreteRelation extends Symbol implements SCLRelation { 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; + } }