(history: History | None, *builders: BuilderType)
| 5846 | |
| 5847 | |
| 5848 | def _update_images(history: History | None, *builders: BuilderType) -> None: |
| 5849 | |
| 5850 | if history is not None: |
| 5851 | op = history.ops[-1] |
| 5852 | |
| 5853 | builder: Any |
| 5854 | for builder in builders: |
| 5855 | images = builder.Images() |
| 5856 | |
| 5857 | # store all subshape relations, assume subshapes not present in Images are mapped onto themselves |
| 5858 | for s in op._tracked: |
| 5859 | try: |
| 5860 | op._images[s] = _compound_or_shape(list(images.Find(s.wrapped))) |
| 5861 | except Standard_NoSuchObject: |
| 5862 | op._images[s] = s |
| 5863 | |
| 5864 | |
| 5865 | def _update_removed(history: History | None, shapes: Sequence[Shape]) -> None: |
no test coverage detected