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%2Fchr%2FCHRRelation.java;fp=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Felaboration%2Fchr%2FCHRRelation.java;h=5436fae95a2204e884f9828e7beef2ec7d70200f;hp=3daae67a94a348681d489f19915bf7ba36020e23;hb=3e457239db8dd214a3a10c74c2ecefa0f0f8dd1a;hpb=666ee533a3cfa9f59e79215a269f8342227cdbda

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRelation.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRelation.java
index 3daae67a9..5436fae95 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRelation.java
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/elaboration/chr/CHRRelation.java
@@ -6,6 +6,8 @@ import org.simantics.scl.compiler.types.Type;
 import org.simantics.scl.compiler.types.Types;
 import org.simantics.scl.compiler.types.kinds.Kinds;
 
+import gnu.trove.set.hash.THashSet;
+
 public interface CHRRelation {
     public static final TVar A = Types.var(Kinds.STAR);
     
@@ -15,4 +17,6 @@ public interface CHRRelation {
     default String[] getFieldNames() {
         return null;
     }
+    void collectEnforceEffects(THashSet<Type> effects);
+    void collectQueryEffects(THashSet<Type> effects);
 }