X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;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=0000000000000000000000000000000000000000;hp=867628f48c4c5a92d2070796580f281e3b33c36a;hb=a2df536f7fc878982c6c960a79ed49f350cddc6f;hpb=5f0ad7a26810df602600c5eddad317588fce0ac4 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 deleted file mode 100644 index 867628f48..000000000 --- a/bundles/org.simantics.scl.runtime/src/org/simantics/scl/runtime/chr/PriorityContainer.java +++ /dev/null @@ -1,42 +0,0 @@ -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= facts.length*3/4) - facts = Arrays.copyOf(facts, size*2); - } - - public Fact pop() { - return facts[--size]; - } -}