Searched refs:formatted_header (Results 1 – 2 of 2) sorted by relevance
533 def formatted_header(self) -> str: member in Diagnostic
82 cursor_id_file_local.append((diagnostic.formatted_header(), have_patch, patch_id))