for (Fragment fragment : exclusiveFragments) {
assert fragment.isExclusive();
dependencyRecorder.startDependencyGraph("sp" + fragment.getFragmentId(),
dependencyGraphNameAfterInitialSequence);
ControlFlowAnalyzer cfa = new ControlFlowAnalyzer(initialSequenceCfa);
cfa.setDependencyRecorder(dependencyRecorder);
for (Fragment otherFragment : exclusiveFragments) {
// don't trace the initial fragments as they have already been traced and their atoms are
// already in {@code initialSequenceCfa}
if (otherFragment.isInitial()) {
continue;
}
if (otherFragment == fragment) {
continue;
}
for (JRunAsync otherRunAsync : otherFragment.getRunAsyncs()) {
cfa.traverseFromRunAsync(otherRunAsync);
}
}
dependencyRecorder.endDependencyGraph();
notLiveCfaByFragment.put(fragment, cfa);
}