X-Git-Url: https://gerrit.simantics.org/r/gitweb?p=simantics%2Fplatform.git;a=blobdiff_plain;f=bundles%2Forg.simantics.graph.compiler%2Fsrc%2Forg%2Fsimantics%2Fgraph%2Fcompiler%2Finternal%2Fprocedures%2FPropagateNewMarks.java;fp=bundles%2Forg.simantics.graph.compiler%2Fsrc%2Forg%2Fsimantics%2Fgraph%2Fcompiler%2Finternal%2Fprocedures%2FPropagateNewMarks.java;h=58eae257f3dfc094fe41dd27b291d0589177890f;hp=3fc6fe1c0d8a06390cf302423ef36de1269fcff1;hb=0ae2b770234dfc3cbb18bd38f324125cf0faca07;hpb=24e2b34260f219f0d1644ca7a138894980e25b14 diff --git a/bundles/org.simantics.graph.compiler/src/org/simantics/graph/compiler/internal/procedures/PropagateNewMarks.java b/bundles/org.simantics.graph.compiler/src/org/simantics/graph/compiler/internal/procedures/PropagateNewMarks.java index 3fc6fe1c0..58eae257f 100644 --- a/bundles/org.simantics.graph.compiler/src/org/simantics/graph/compiler/internal/procedures/PropagateNewMarks.java +++ b/bundles/org.simantics.graph.compiler/src/org/simantics/graph/compiler/internal/procedures/PropagateNewMarks.java @@ -1,24 +1,24 @@ -package org.simantics.graph.compiler.internal.procedures; - -import org.simantics.graph.store.GraphStore; -import org.simantics.graph.store.IdentityStore; - -public class PropagateNewMarks implements Runnable { - IdentityStore identities; - - public PropagateNewMarks(GraphStore store) { - this.identities = store.identities; - } - - private void propagateNewMarks(int resource) { - for(int child : identities.getChildren(resource)) - if(identities.markNew(child)) - propagateNewMarks(child); - } - - @Override - public void run() { - for(int resource : identities.getNewResources()) - propagateNewMarks(resource); - } -} +package org.simantics.graph.compiler.internal.procedures; + +import org.simantics.graph.store.GraphStore; +import org.simantics.graph.store.IdentityStore; + +public class PropagateNewMarks implements Runnable { + IdentityStore identities; + + public PropagateNewMarks(GraphStore store) { + this.identities = store.identities; + } + + private void propagateNewMarks(int resource) { + for(int child : identities.getChildren(resource)) + if(identities.markNew(child)) + propagateNewMarks(child); + } + + @Override + public void run() { + for(int resource : identities.getNewResources()) + propagateNewMarks(resource); + } +}