Read a module's parameters and equality from its own members, and skip modules DM0003 or DM0017 rejects

[ipjohnson]

Closes #68. Closes #71. Closes #72.

The generator now reads a module's parameters and equality members from the module itself, and it writes no code for a module that DM0003 or DM0017 rejects. All three issues gave generated code that did not compile, or DM0018 for a module that did not need it.

#68: module parameters

GetAttributeClassInfo walked DescendantNodes, so each settable property of a class nested in the module became a parameter of the module attribute. It now reads only the direct members of the module declaration.

A property now counts as a parameter only when the generated attribute can use its set accessor. A private set or protected set is left out. An internal set or protected internal set is kept. A set accessor with no modifier has the access of its property, as before.

Both repros in the issue now compile. OptionsModule no longer gets DM0018, because it has no parameter.

#71: equality

GetEqualsFlag looked at the declaration that has [DependencyModule], and it took any method named Equals. GetEqualityFeatures now reads the symbol, so a member in any partial declaration counts:

• A module that declares Equals(object) gets no generated Equals or GetHashCode, as before. DM0018 is not reported.
• A module that declares only Equals for its own type gets a generated Equals(object) that calls it: obj is AuditModule other && Equals(other). The load operation calls Equals(object), so the module's own equality now decides which instances are the same. DM0018 is not reported for such a module.
• GetHashCode is generated only when the module declares none. Before, a module with its own GetHashCode and no Equals got CS0111.

Two new ModuleEntryPointFeatures flags carry this: ShouldImplementGetHashCode and DeclaresTypedEquals.

#72: rejected modules

EntryModelUtil.RegistrationTargets now leaves out a module that is not partial or is nested in another type. The service, interceptor, decorator and convention writers all filter through it, so none of them writes a partial class for such a module. The build then reports only DM0003 or DM0017.

Public API

The DependencyModules.SourceGenerator snapshot adds the two ModuleEntryPointFeatures values.

Docs

The warnings for #68, #71 and #72 are on docs-ste-rewrite, in modules.md, getting-started.md and diagnostics.md. They will be removed in one docs pass after the fixes.

Verified

• 10 new tests in ModuleDeclarationTests. 9 fail on main and pass with this change. The other one checks that two modules with different hosts load twice. Main gets that result by reference equality, because it generates no Equals there.
• The full suite passes on net8.0 and net10.0. The Release build is clean, and dotnet csharpier check . is clean.
• git merge-tree shows that this branch merges cleanly with Put ExcludeFromCodeCoverage on generated members only, and hide Internal members with EditorBrowsable #104 and Make [CrossWireService] compile and run for keys, every registration type, and inherited interfaces #105.
• I did not run scripts/coverage.sh or scripts/verify-packages.sh locally. CI runs both.

🤖 Generated with Claude Code