def getDependencySet(self): deps = DependencySet() if self.option_a: deps = dependParallel(self.option_a.getDependencySet(), deps) if self.option_b: deps = dependParallel(self.option_b.getDependencySet(), deps) cond_deps = DependencySet(self.cond.getDependencies()) return joinDependencies(cond_deps, deps)
def getDependencySet(self): x = self.inner.getDependencySet() postcond_deps = DependencySet(self.postcond.getDependencies()) return joinDependencies(x, postcond_deps)
def getDependencySet(self): cur = DependencySet() for instr in reversed(self.contents): cur = joinDependencies(instr.getDependencySet(), cur) return cur