Return a set of all targets that contain errors.
(self)
| 1137 | return msgs |
| 1138 | |
| 1139 | def targets(self) -> set[str]: |
| 1140 | """Return a set of all targets that contain errors.""" |
| 1141 | # TODO: Make sure that either target is always defined or that not being defined |
| 1142 | # is okay for fine-grained incremental checking. |
| 1143 | return { |
| 1144 | info.target for errs in self.error_info_map.values() for info in errs if info.target |
| 1145 | } |
| 1146 | |
| 1147 | def render_messages(self, file: str, errors: list[ErrorInfo]) -> list[ErrorTuple]: |
| 1148 | """Translate the messages into a sequence of tuples. |