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):
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
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
