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
