Tweak documentation

[mernst]

Merge after #7666 and #7667.

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: ASSERTIVE

Plan: Pro

Run ID: 00f75255-7fe1-4cbd-8338-1fd79a3398b0

📥 Commits

Reviewing files that changed from the base of the PR and between 82d6d26 and 618b195.

📒 Files selected for processing (2)

• framework/src/main/java/org/checkerframework/framework/util/element/MethodApplier.java
• framework/src/main/java/org/checkerframework/framework/util/element/TargetedElementAnnotationApplier.java

---

📝 Walkthrough

Walkthrough

This PR makes documentation and small API/refactor changes across the Checker Framework: updates CHANGELOG to document hasDoesNotUnrefineReceiver() and the visibility change of isAliasedTypeAnnotation(); changes isAliasedTypeAnnotation from public to protected in AnnotatedTypeFactory and refactors alias-handling locals; removes a temporary options variable in AnnotationFileParser; refactors/edits Javadoc in AnnotatedTypeReplacer, Default, DefaultSet, and MethodApplier; and changes TargetedElementAnnotationApplier.TargetClass from package-private to protected.

Possibly related PRs

• getBundledTypeQualifiers() doesn't include aliased type annotations #7504: Modifies alias handling in AnnotatedTypeFactory, including changes to isAliasedTypeAnnotation and alias-resolution logic.
• Add @DoesNotUnrefineReceiver annotation #7640: Adds/records the DoesNotUnrefineReceiver/hasDoesNotUnrefineReceiver feature and touches AnnotatedTypeFactory.

Suggested reviewers

• smillst
• msridhar

🚥 Pre-merge checks | ✅ 3

✅ Passed checks (3 passed)

Check name	Status	Explanation
Docstring Coverage	✅ Passed	Docstring coverage is 80.00% which is sufficient. The required threshold is 80.00%.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Review rate limit: 7/8 reviews remaining, refill in 7 minutes and 30 seconds.}

_{Comment @coderabbitai help to get the list of available commands and usage tips.}