feat: container type propagation

1 files changed, 6 insertions, 0 deletions

diff --git a/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java b/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java
index 72f23e85..3b2ae707 100644
--- a/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java
+++ b/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java
@@ -12,6 +12,7 @@ public final class BuiltinSymbols {
     private final ClassDeclaration node;
     private final PredicateDefinition equals;
     private final PredicateDefinition exists;
+        private final ClassDeclaration container;
     private final ClassDeclaration contained;
     private final PredicateDefinition contains;
     private final PredicateDefinition invalidContainer;
@@ -21,6 +22,7 @@ public final class BuiltinSymbols {
                 node = getDeclaration(ClassDeclaration.class, "node");
                 equals = getDeclaration(PredicateDefinition.class, "equals");
                 exists = getDeclaration(PredicateDefinition.class, "exists");
+                container = getDeclaration(ClassDeclaration.class, "container");
                 contained = getDeclaration(ClassDeclaration.class, "contained");
                 contains = getDeclaration(PredicateDefinition.class, "contains");
                 invalidContainer = getDeclaration(PredicateDefinition.class, "invalidContainer");
@@ -42,6 +44,10 @@ public final class BuiltinSymbols {
         return exists;
     }
 
+        public ClassDeclaration container() {
+                return container;
+        }
+
     public ClassDeclaration contained() {
         return contained;
     }