src/finding.bend source

src/finding.bend on the hub · documented module

# src/finding: what a rule reports. Shown as `path:line:col: level: CODE:# message` (line and col 1-based, as editors count; CODE is the stable id in# src/codes.bend), so a terminal can jump to it; an editor gets it as a# diagnostic over `len` characters from the column (0: to the end of the# line), with that code and source `bolt(group:slug)`. The level is the# project's (bolt.bend), not the rule's: a rule only finds. `rule` on a# finding is still the slug.import Baseimport ./config.bend as Configimport ./codes.bend as Codes# where (and how far), which rule, whattype Finding is Data:  Finding{path: String, line: U32, col: U32, len: U32, rule: String, msg: String}# a finding at the level the project set for its ruletype Graded is Data:  Graded{level: Config.Level, finding: Finding}# one line, `path:line:col: level: CODE: message`def show_graded(gg: Graded) -> String:  Graded{level, Finding{path, line, col, len, rule, msg}} = gg  path ++ ":" ++ U32.show((line + 1 : U32)) ++ ":" ++ U32.show((col + 1 : U32)) ++ ": " ++ Config.show(level) ++ ": "    ++ Codes.code(rule) ++ ": " ++ msg