typetools / typetools/checker-framework
Use FlowExpression.BinaryOperation in the Index Checker
Open
Nobody has claimed this yet.
- Dominant language
- Java
- Stars
- 1.1k
- Forks
- 440
- Avg merge
- 1d 12h
- Merged PRs (30d)
- 134
Description
org.checkerframework.checker.index.OffsetDependentTypesHelper can be replaced by using FlowExpression.BinaryOperation. (Issue #3474 should be fixed first.)
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start with issue #3474, then inspect org.checkerframework.checker.index.OffsetDependentTypesHelper and FlowExpression.BinaryOperation to understand the intended replacement in the Index Checker. Confirm the helper can be removed or bypassed without changing the Index Checker’s existing behavior, and run the relevant checker tests to verify the refactor.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- java
- Domain
- devtools
- Issue type
- Refactor
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100