+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;
+ }
+}