def show_graded

bolt@1.26.0.0 · src/finding.bend:20

import Base
import bolt@1.26.0.0/src/config.bend as Config
import bolt@1.26.0.0/src/codes.bend as Codes

20# one line, `path:line:col: level: CODE: message`
21def show_graded(gg: Graded) -> String:
22  Graded{level, Finding{path, line, col, len, rule, msg}} = gg
23  path ++ ":" ++ U32.show((line + 1 : U32)) ++ ":" ++ U32.show((col + 1 : U32)) ++ ": " ++ Config.show(level) ++ ": "
24    ++ Codes.code(rule) ++ ": " ++ msg