def Covering.covers

bend-lint-rules@0.2.0.0 · lib/linter/directives.bend:787

import Base
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint

787# Whether a covering covers a finding of `rule` and `severity` on line `row`.
788def Covering.covers(rule: String, severity: Lint.Severity, +row: U32, covering: Covering) -> Bool:
789  match covering:
790    case Covering{Directive{action, scope, r, sev, c, i}, from, to}:
791      String.eq(
792        r,
793        rule
794      )
795        && U32.is_le(from, row)
796        && U32.is_le(row, to)
797        && Covering.pins(action, sev, severity)