Extend the dependency list by (name, args).
(
self,
g: Any,
name0: str,
args0: list[gm.Point],
name: str,
args: list[gm.Point],
)
| 609 | return other |
| 610 | |
| 611 | def extend( |
| 612 | self, |
| 613 | g: Any, |
| 614 | name0: str, |
| 615 | args0: list[gm.Point], |
| 616 | name: str, |
| 617 | args: list[gm.Point], |
| 618 | ) -> EmptyDependency: |
| 619 | """Extend the dependency list by (name, args).""" |
| 620 | dep0 = self.populate(name0, args0) |
| 621 | deps = EmptyDependency(level=self.level, rule_name=None) |
| 622 | dep = Dependency(name, args, None, deps.level) |
| 623 | deps.why = [dep0, dep.why_me_or_cache(g, None)] |
| 624 | return deps |
| 625 | |
| 626 | def extend_many( |
| 627 | self, |
no test coverage detected