( self, bufnr, user_options )
| 25 | |
| 26 | class DiagnosticInterface: |
| 27 | def __init__( self, bufnr, user_options ): |
| 28 | self._bufnr = bufnr |
| 29 | self._user_options = user_options |
| 30 | self._diagnostics = [] |
| 31 | self._diag_filter = DiagnosticFilter.CreateFromOptions( user_options ) |
| 32 | # Line and column numbers are 1-based |
| 33 | self._line_to_diags = defaultdict( list ) |
| 34 | self._previous_diag_line_number = -1 |
| 35 | self._diag_message_needs_clearing = False |
| 36 | |
| 37 | |
| 38 | def ShouldUpdateDiagnosticsUINow( self ): |
nothing calls this directly
no test coverage detected