def Covering.hits

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

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

806def Covering.hits(
807  coverings: List<&2, Covering>,
808  +rule: String,
809  +severity: Lint.Severity,
810  +row: U32,
811  out: List<&2, U32>
812) -> List<&2, U32>:
813  match coverings:
814    case Nil{}:
815      out
816    case Con{+c, rest}:
817      Covering.hits(
818        rest,
819        rule,
820        severity,
821        row,
822        Covering.hit(Covering.covers(rule, severity, row, c), c, out)
823      )