Skip to content

More examples for -AresourceLeakIgnoredExceptions#7774

Open
mernst wants to merge 2 commits into
typetools:masterfrom
mernst:resourceleak-ignored
Open

More examples for -AresourceLeakIgnoredExceptions#7774
mernst wants to merge 2 commits into
typetools:masterfrom
mernst:resourceleak-ignored

Conversation

@mernst

@mernst mernst commented Jun 18, 2026

Copy link
Copy Markdown
Member

No description provided.

@coderabbitai

coderabbitai Bot commented Jun 18, 2026

Copy link
Copy Markdown
Contributor

Review Change Stack

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: b5f0842f-8e40-4c09-b668-2f6a207ba2b8

📥 Commits

Reviewing files that changed from the base of the PR and between 4ba90c2 and 72c6c78.

📒 Files selected for processing (1)
  • docs/manual/resource-leak-checker.tex

📝 Walkthrough

Walkthrough

The documentation for the -AresourceLeakIgnoredExceptions command-line option in the Resource Leak Checker manual has been revised. The example block now demonstrates both possible orderings of java.lang.Error (matching subclasses) and =java.lang.NullPointerException (exact match, no subclasses), clarifying that either order produces identical results. The adjacent text illustrating how to add exceptions using default was updated to match these new examples.

🚥 Pre-merge checks | ✅ 3
✅ Passed checks (3 passed)
Check name Status Explanation
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.
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

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

@mernst

mernst commented Jun 18, 2026

Copy link
Copy Markdown
Member Author

@CodeRabbit review

@coderabbitai

coderabbitai Bot commented Jun 18, 2026

Copy link
Copy Markdown
Contributor
✅ Action performed

Review finished.

Note: CodeRabbit is an incremental review system and does not re-review already reviewed commits. This command is applicable only when automatic reviews are paused.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants