Pass analyzers as required parameter to source-analyze

[Copilot]

The source-analyze function hardcoded three expansion analyzers. This change makes the analyzer list a required parameter to enable future work where analyzers are determined by the refactoring suite.

Changes:

• Added #:analyzers required parameter to source-analyze
• Updated contract to reflect the required parameter
• Updated all callers in main.rkt to explicitly pass the analyzer list (identifier-usage-analyzer, ignored-result-values-analyzer, variable-mutability-analyzer)
• Added required imports for analyzer modules in main.rkt
• Refactored analyzer application from sequence-append of individual calls to transduce with append-mapping over the parameter
• Added tests verifying empty, single, and default analyzer lists work correctly

Usage:

;; All callers must now explicitly pass analyzers
(source-analyze source
                #:lines lines
                #:analyzers (list identifier-usage-analyzer
                                  ignored-result-values-analyzer
                                  variable-mutability-analyzer))

;; Future: custom analyzer list from refactoring suite
(source-analyze source
                #:analyzers (refactoring-suite-analyzers suite))

All existing callers have been updated to explicitly pass the analyzer list.

• Fixes Analyzers should be passed into source-analyze #682

Original prompt

---

This section details on the original issue you should resolve

<issue_title>Analyzers should be passed into source-analyze</issue_title>
<issue_description>The source-analyze function currently uses a hardcoded list of expansion analyzers. That list should be an argument to the function, instead. For now, callers can just pass in the same hardcoded list; future work will make the list of analyzers part of the refactoring suite being used.</issue_description>

Comments on the Issue (you are @copilot in this section)

• Fixes Analyzers should be passed into source-analyze #682

---

💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

[jackfirth]

@copilot

[jackfirth]

Make it a required parameter and update the callers to pass in the list instead.

[Copilot]

Done in feb8469. The #:analyzers parameter is now required, and all callers in main.rkt explicitly pass the list of analyzers.