src/finding.bend checks

raw source on the hub · import 0x582b4b0fdf3dafdeecc8c3bfddc5e4db/src/finding.bend as Finding

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.

3 imports

import Base
import ./config.bend as Config
import ./codes.bend as Codes

Types

type Finding source · line 13 · raw

Data

where (and how far), which rule, what

Finding

@path:String -> @line:U32 -> @col:U32 -> @len:U32 -> @rule:String -> @msg:String -> Finding

type Graded source · line 17 · raw

Data

a finding at the level the project set for its rule

Graded

@level:0x582b4b0fdf3dafdeecc8c3bfddc5e4db/src/config.Level -> @finding:Finding -> Graded

Definitions

def show_graded source · line 21 · raw

@gg:Graded -> String

one line, path:line:col: level: CODE: message