def project

bolt@1.27.0.0 · src/rules.bend:165

import bolt@1.27.0.0/src/rules.bend as Rules
import Base
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/src.bend as Src
import bolt@1.27.0.0/src/role.bend as Role
import bolt@1.27.0.0/src/rules/digest.bend as Digest
import bolt@1.27.0.0/src/rules/laws/law.bend as Law

165# every project rule's findings on the files and the package roots but `.`
166# (each a directory as Digest.dir names one): each file is read down to its
167# digest once (rules/digest.bend); `coverage` runs on each package's files,
168# `.` first
169def project(+srcs: List<&2, Src.Src>, +rs: List<&2, String>) -> List<&2, F.Finding>:
170  +ds = Digest.all.role(Role.marks(srcs), srcs)
171  List.concat(&2, F.Finding, [Law.check(members(ds, rs, "")), covers(rs, ds, rs)])

Uses (10)

Used by (1)