(refs #7250) Refactoring CHR implementation

[simantics/platform.git] / bundles / org.simantics.scl.compiler / src / org / simantics / scl / compiler / internal / codegen / chr / CHRCodeGenerationConstants.java

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/chr/CHRCodeGenerationConstants.java b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/chr/CHRCodeGenerationConstants.java
new file mode 100644 (file)
index 0000000..3f95fa5
--- /dev/null
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/codegen/chr/CHRCodeGenerationConstants.java
@@ -0,0 +1,37 @@
+package org.simantics.scl.compiler.internal.codegen.chr;
+
+import org.cojen.classfile.TypeDesc;
+
+public interface CHRCodeGenerationConstants {
+
+    public static final TypeDesc FACT_ID_TYPE = TypeDesc.INT;
+    
+    public static final String CHRHashIndex_name = "org/simantics/scl/runtime/chr/CHRHashIndex";
+    public static final TypeDesc CHRHashIndex = TypeDesc.forClass(CHRHashIndex_name);
+    
+    public static final String CHRFact_name = "org/simantics/scl/runtime/chr/CHRFact";
+    public static final TypeDesc CHRFact = TypeDesc.forClass(CHRFact_name);
+    
+    public static final String CHRPriority_name = "org/simantics/scl/runtime/chr/CHRPriority";
+    
+    public static final String CHRPriorityFactContainer_name = "org/simantics/scl/runtime/chr/CHRPriorityFactContainer";
+    public static final TypeDesc CHRPriorityFactContainer = TypeDesc.forClass(CHRPriorityFactContainer_name);
+    
+    public static final String CHRContext_name = "org/simantics/scl/runtime/chr/CHRContext";
+    public static final TypeDesc CHRContext = TypeDesc.forClass(CHRContext_name);
+    
+    public static final String CHRRuntimeRuleset_name = "org/simantics/scl/runtime/chr/CHRRuntimeRuleset";
+    public static final TypeDesc CHRRuntimeRuleset = TypeDesc.forClass(CHRRuntimeRuleset_name);
+
+    public static String priorityName(int priority) {
+        return "l" + priority;
+    }
+
+    public static String fieldName(int id) {
+        return "c" + id;
+    }
+
+    public static String parameterName(int i) {
+        return "p" + i;
+    }
+}