X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.runtime%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fruntime%2Fchr%2FPriorityContainer.java;fp=bundles%2Forg.simantics.scl.runtime%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fruntime%2Fchr%2FPriorityContainer.java;h=a19658e21d18e5488c0bc9ed3e5549df6ea58a06;hb=a8758de5bc19e5adb3f618d3038743a164f09912;hp=0000000000000000000000000000000000000000;hpb=12d9af17384d960b75d58c3935d2b7b46d93e87b;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/chr/PriorityContainer.java b/bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/chr/PriorityContainer.java
new file mode 100644
index 000000000..a19658e21
--- /dev/null
+++ b/bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/chr/PriorityContainer.java
@@ -0,0 +1,42 @@
+package org.simantics.scl.runtime.chr;
+
+import java.util.Arrays;
+
+class PriorityContainer {
+    private static final boolean CLEANUP_ENABLED = true;
+    
+    final int priority;
+    Fact[] facts = new Fact[4];
+    int size;
+
+    public PriorityContainer(int priority) {
+        this.priority = priority;
+    }
+    
+    public void push(Fact item) {
+        if(size == facts.length)
+            increaseCapacity();
+        facts[size++] = item;
+    }
+
+    private void increaseCapacity() {
+        if(CLEANUP_ENABLED) {
+            // Cleanup dead facts
+            int j=0;
+            for(int i=0;i<size;++i) {
+                Fact fact = facts[i];
+                if(fact.isAlive())
+                    facts[j++] = fact;
+            }
+            size = j;
+        }
+        
+        // Resize if necessary
+        if(size >= facts.length*3/4)
+            facts = Arrays.copyOf(facts, size*2);
+    }
+
+    public Fact pop() {
+        return facts[--size];
+    }
+}