Step 3 of 8: method inventory and reliable bytecode access #4

2026-10-01T14:23:24+02:00

mi commented

2026-10-01 14:23:24 +02:00

Step 3 of 8 from section 8.3 of the specification.

Classes are read only from PIT's code roots (PIT's own code-path rule, never dependency JARs); differing copies are ambiguous, a missing class makes the scope incomplete.
JaCoCo's analysis is matched against the methods the class file declares (ASM): methods JaCoCo filtered are EXCLUDED with proof (jacoco-filtered:bridge|synthetic|generated-annotation|other), abstract/native methods get no complexity.
PIT's excludedMethods → EXCLUDED with pit-excluded-method:<glob>.
Every method of the selected classes appears in the provisional report (schemaVersion 0) with a score or a reason.
ADR 0002, feature 03, MC-008 to MC-012 mapped; MC-013 open.

CI on werkator.javagil.de: green (52 s), 66 unit and 8 functional tests.

PR-doc: docs/prs/2026-10-01-PR#4-method-inventory.md

🤖 Generated with Claude Code

Step 3 of 8 from section 8.3 of the specification. - Classes are read only from PIT's code roots (PIT's own code-path rule, never dependency JARs); differing copies are ambiguous, a missing class makes the scope incomplete. - JaCoCo's analysis is matched against the methods the class file declares (ASM): methods JaCoCo filtered are EXCLUDED with proof (`jacoco-filtered:bridge|synthetic|generated-annotation|other`), abstract/native methods get no complexity. - PIT's `excludedMethods` → EXCLUDED with `pit-excluded-method:<glob>`. - Every method of the selected classes appears in the provisional report (schemaVersion 0) with a score or a reason. - ADR 0002, feature 03, MC-008 to MC-012 mapped; MC-013 open. CI on werkator.javagil.de: green (52 s), 66 unit and 8 functional tests. PR-doc: `docs/prs/2026-10-01-PR#4-method-inventory.md` 🤖 Generated with [Claude Code](https://claude.com/claude-code)

mi added 1 commit 2026-10-01 14:23:24 +02:00

Step 3 of 8: method inventory and reliable bytecode access

werkator build succeeded after 00:52

Details

e2c5b7c41d

Classes are read only from PIT's code roots; differing copies make a
class ambiguous, a missing one makes the scope incomplete. JaCoCo's
analysis is matched against the methods the class file declares, so a
method JaCoCo filtered is excluded with proof, and abstract and native
methods get no complexity. Every method of the selected classes now
appears in the provisional report with a score or a reason.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

mi merged commit aea74c2c6f into main

2026-10-01 15:53:28 +02:00

mi deleted branch step-3-inventory

2026-10-01 15:53:28 +02:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: mi/werkcrappit#4