Lines Matching defs:Severity

141         severity: Severity,  in render_header()
233         severity: Severity,  in render_snippet_source()
604         severity: Severity,  in render_snippet_empty()
623         severity: Severity,  in render_snippet_break()
744         severity: Severity,  in caret_pointers()
782         severity: Severity,  in label_multi_left()
808         severity: Severity,  in label_multi_top_left()
825         severity: Severity,  in label_multi_bottom_left()
842         severity: Severity,  in label_multi_top_caret()
875         severity: Severity,  in label_multi_bottom_caret()
908         severity: Severity,  in inner_gutter_column()
935         severity: Severity,  in inner_gutter()