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