Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Introducing improved Optional Checker #6901

Open
wants to merge 523 commits into
base: master
Choose a base branch
from
Open

Introducing improved Optional Checker #6901

wants to merge 523 commits into from
+910 −169
This pull request is big! We’re only showing the most recent 250 commits.

Commits on Jun 5, 2024

  1. Fix type

    @mernst
    mernst committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    2101dd7 View commit details
    Browse the repository at this point in the history

  2. Correct methodinvocation transfer code

    @smillst
    smillst authored Jun 5, 2024
    Configuration menu
    Copy the full SHA
    3b5d95e View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-fork-jyoo980-branch-yoo-standalone-nonempt… 

    …y-checker into yoo/nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    507d3aa View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. Fix test that did not account for varargs calls

    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    3aff94e View commit details
    Browse the repository at this point in the history

  2. Remove diagnostic

    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    afeda02 View commit details
    Browse the repository at this point in the history

  3. Javadoc

    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    bf9f812 View commit details
    Browse the repository at this point in the history

  4. Handle empty args

    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    66d2e41 View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-fork-smillst-branch-vararg-issue into yoo/… 

    …nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    334be86 View commit details
    Browse the repository at this point in the history

  6. Make Non-Empty test cases pass

    @jyoo980
    jyoo980 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    8b6ed16 View commit details
    Browse the repository at this point in the history

  7. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    2ac26c9 View commit details
    Browse the repository at this point in the history

  8. Merge ../checker-framework-branch-master into yoo/standalone-nonempty… 

    …-checker
    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    4621f38 View commit details
    Browse the repository at this point in the history

  9. Tweak documentation

    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    eaffe73 View commit details
    Browse the repository at this point in the history

  10. Tweak documentation

    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    1808286 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'yoo/standalone-nonempty-checker' of github.com:jyoo980/… 

    …checker-framework into yoo/standalone-nonempty-checker
    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    4c918a4 View commit details
    Browse the repository at this point in the history

  12. Merge ../checker-framework-fork-jyoo980-branch-yoo-standalone-nonempt… 

    …y-checker into yoo/nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    8b64298 View commit details
    Browse the repository at this point in the history

  13. Satisfy Nullness Checker in CI

    @jyoo980
    jyoo980 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    204b5d5 View commit details
    Browse the repository at this point in the history

  14. Rename fieldsFromTree() to fieldsFromClassTree()

    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    5d1cc35 View commit details
    Browse the repository at this point in the history

  15. Merge ../checker-framework-fork-jyoo980-branch-yoo-standalone-nonempt… 

    …y-checker into yoo/nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    28d969c View commit details
    Browse the repository at this point in the history

  16. Simplifications

    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    463600f View commit details
    Browse the repository at this point in the history

  17. Merge ../checker-framework-fork-jyoo980-branch-yoo-standalone-nonempt… 

    …y-checker into yoo/nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    65dac96 View commit details
    Browse the repository at this point in the history

  18. Suppress false positive in test

    @jyoo980
    jyoo980 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    a96cf3e View commit details
    Browse the repository at this point in the history

  19. Merge branch 'yoo/standalone-nonempty-checker' into yoo/nonempty-opti… 

    …onal-transfer-nonempty-information
    @jyoo980
    jyoo980 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    d9f25d7 View commit details
    Browse the repository at this point in the history

  20. Suppress false positive in test

    @jyoo980
    jyoo980 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    b9434cf View commit details
    Browse the repository at this point in the history

  21. Merge branch 'yoo/standalone-nonempty-checker' into yoo/nonempty-opti… 

    …onal-transfer-nonempty-information
    @jyoo980
    jyoo980 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    99750ad View commit details
    Browse the repository at this point in the history

  22. Merge branch 'master' into yoo/standalone-nonempty-checker

    @jyoo980
    jyoo980 authored Jun 6, 2024
    Configuration menu
    Copy the full SHA
    eb50d1f View commit details
    Browse the repository at this point in the history

  23. Update comment, kickoff CI

    @jyoo980
    jyoo980 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    6313350 View commit details
    Browse the repository at this point in the history

  24. Merge branch 'yoo/standalone-nonempty-checker' into yoo/nonempty-opti… 

    …onal-transfer-nonempty-information
    @jyoo980
    jyoo980 committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    799ddf4 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. Correction.

    @smillst
    smillst committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    bf88ade View commit details
    Browse the repository at this point in the history

  2. Add test case that was failing.

    @smillst
    smillst committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    b794b63 View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-fork-jyoo980-branch-yoo-standalone-nonempt… 

    …y-checker into yoo/nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    54fc7a2 View commit details
    Browse the repository at this point in the history

  4. Merge ../checker-framework-fork-jyoo980-branch-yoo-standalone-nonempt… 

    …y-checker into yoo-standalone-nonempty-checker
    @mernst
    mernst committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    4e0eec9 View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-fork-jyoo980-branch-yoo-standalone-nonempt… 

    …y-checker into yoo/nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    422a20c View commit details
    Browse the repository at this point in the history

  6. Avoid nested test directory structure

    @jyoo980
    jyoo980 committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    49be724 View commit details
    Browse the repository at this point in the history

  7. Correct Javadoc

    @jyoo980
    jyoo980 committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    75b1776 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2024

  1. Merge remote-tracking branch 'typetools/master' into yoo/standalone-n… 

    …onempty-checker
    @jyoo980
    jyoo980 committed Jun 9, 2024
    Configuration menu
    Copy the full SHA
    2790e5c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'yoo/standalone-nonempty-checker' into yoo/nonempty-opti… 

    …onal-transfer-nonempty-information
    @jyoo980
    jyoo980 committed Jun 9, 2024
    Configuration menu
    Copy the full SHA
    3898747 View commit details
    Browse the repository at this point in the history

  3. Improve naming

    @jyoo980
    jyoo980 committed Jun 9, 2024
    Configuration menu
    Copy the full SHA
    e972047 View commit details
    Browse the repository at this point in the history

  4. Add rely--guarantee test for Optional Checker

    @jyoo980
    jyoo980 committed Jun 9, 2024
    Configuration menu
    Copy the full SHA
    23582ec View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. Improve message

    @mernst
    mernst committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    2653a87 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    cdb5cc4 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    a7ee06f View commit details
    Browse the repository at this point in the history

  3. Change "-AdisableOptionalChecker" to "-ArunAsOptionalChecker"

    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    707c793 View commit details
    Browse the repository at this point in the history

  4. Documentation

    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    4be9002 View commit details
    Browse the repository at this point in the history

  5. Fix super call

    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    7adcbf6 View commit details
    Browse the repository at this point in the history

  6. Use methods that take a collection

    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    e31c5e2 View commit details
    Browse the repository at this point in the history

  7. Tweak

    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    f7b4875 View commit details
    Browse the repository at this point in the history

  8. Tweak

    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    3f00236 View commit details
    Browse the repository at this point in the history

  9. Documentation

    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    f1285ac View commit details
    Browse the repository at this point in the history

  10. Clarify that method trees are declarations

    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    164bf8e View commit details
    Browse the repository at this point in the history

  11. Documentation

    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    b40432e View commit details
    Browse the repository at this point in the history

  12. Fix variable use

    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    2803c1a View commit details
    Browse the repository at this point in the history

  13. Undo efficiency

    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    52da7d2 View commit details
    Browse the repository at this point in the history

  14. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-runAsOptionalChecker
    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    5586258 View commit details
    Browse the repository at this point in the history

  15. Use terminology "callers" and "callees"

    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    6558f07 View commit details
    Browse the repository at this point in the history

  16. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-callers-callees
    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    650f123 View commit details
    Browse the repository at this point in the history

  17. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-method-tree-declaration
    @mernst
    mernst committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    60a0da5 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    e936fd3 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-isMethodInvocation-list
    @mernst
    mernst committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    7923e92 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    fd6c40a View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-isMethodInvocation-list
    @mernst
    mernst committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    cfd5df6 View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-runAsOptionalChecker
    @mernst
    mernst committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    9bf2c2f View commit details
    Browse the repository at this point in the history

  4. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-callers-callees
    @mernst
    mernst committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    1f49898 View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-method-tree-declaration
    @mernst
    mernst committed Jun 29, 2024
    Configuration menu
    Copy the full SHA
    40e0dba View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    1e50657 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-isMethodInvocation-list
    @mernst
    mernst committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    18436a9 View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-runAsOptionalChecker
    @mernst
    mernst committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    e1e01c3 View commit details
    Browse the repository at this point in the history

  4. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-callers-callees
    @mernst
    mernst committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    1876cc2 View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-method-tree-declaration
    @mernst
    mernst committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    fd1d59d View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    f52c321 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    73e2762 View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-isMethodInvocation-list
    @mernst
    mernst committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    dbfc5f2 View commit details
    Browse the repository at this point in the history

  4. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-runAsOptionalChecker
    @mernst
    mernst committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    3be76a1 View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-callers-callees
    @mernst
    mernst committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    bc4312f View commit details
    Browse the repository at this point in the history

  6. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-method-tree-declaration
    @mernst
    mernst committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    da35f9c View commit details
    Browse the repository at this point in the history

  7. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    2f06c53 View commit details
    Browse the repository at this point in the history

  8. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-isMethodInvocation-list
    @mernst
    mernst committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    3e1df52 View commit details
    Browse the repository at this point in the history

  9. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-runAsOptionalChecker
    @mernst
    mernst committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    c797805 View commit details
    Browse the repository at this point in the history

  10. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-callers-callees
    @mernst
    mernst committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    ac3ec3c View commit details
    Browse the repository at this point in the history

  11. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-method-tree-declaration
    @mernst
    mernst committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    aa0c22b View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    aa02fc0 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-isMethodInvocation-list
    @mernst
    mernst committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    845c9fe View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-runAsOptionalChecker
    @mernst
    mernst committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    71b9a86 View commit details
    Browse the repository at this point in the history

  4. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-callers-callees
    @mernst
    mernst committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    e704084 View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-method-tree-declaration
    @mernst
    mernst committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    fbe8639 View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2024

  1. Address review comments in JavaExpression

    @jyoo980
    jyoo980 committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    affdb91 View commit details
    Browse the repository at this point in the history

  2. Address review comment for CFAbstractTransfer

    @jyoo980
    jyoo980 committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    049d2b9 View commit details
    Browse the repository at this point in the history

  3. Use terminology "callers" and "callees"

    @jyoo980
    jyoo980 authored Jul 6, 2024
    Configuration menu
    Copy the full SHA
    c06a912 View commit details
    Browse the repository at this point in the history

  4. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-isMethodInvocation-list
    @mernst
    mernst committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    27edf3d View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-runAsOptionalChecker
    @mernst
    mernst committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    edf1b53 View commit details
    Browse the repository at this point in the history

  6. Address review comments for OptionalVisitor

    @jyoo980
    jyoo980 committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    6b95b3b View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2024

  1. Update @skip-test comment in OptionalRelyGuaranteeTest

    @jyoo980
    jyoo980 committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    0df969f View commit details
    Browse the repository at this point in the history

  2. Change "-AdisableOptionalChecker" to "-ArunAsOptionalChecker"

    @jyoo980
    jyoo980 authored Jul 7, 2024
    Configuration menu
    Copy the full SHA
    20e60ee View commit details
    Browse the repository at this point in the history

  3. Merge branch 'yoo/nonempty-optional-transfer-nonempty-information' in… 

    …to yoo-nonempty-optional-transfer-nonempty-information-isMethodInvocation-list
    @jyoo980
    jyoo980 authored Jul 7, 2024
    Configuration menu
    Copy the full SHA
    118fefa View commit details
    Browse the repository at this point in the history

  4. Use methods that take a collection

    @jyoo980
    jyoo980 authored Jul 7, 2024
    Configuration menu
    Copy the full SHA
    78529a5 View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    9114b21 View commit details
    Browse the repository at this point in the history

  6. Merge ../checker-framework-fork-mernst-branch-yoo-nonempty-optional-t… 

    …ransfer-nonempty-information into yoo-nonempty-optional-transfer-nonempty-information-method-tree-declaration
    @mernst
    mernst committed Jul 7, 2024
    Configuration menu
    Copy the full SHA
    b9cdbdc View commit details
    Browse the repository at this point in the history

  7. Clarify that method trees are declarations

    @jyoo980
    jyoo980 authored Jul 7, 2024
    Configuration menu
    Copy the full SHA
    ab3b320 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    ecf7170 View commit details
    Browse the repository at this point in the history

  2. Introduce boolean variable

    @mernst
    mernst committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    771b267 View commit details
    Browse the repository at this point in the history

  3. Simplify variable name

    @mernst
    mernst committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    32d2fcd View commit details
    Browse the repository at this point in the history

  4. Renamings

    @mernst
    mernst committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    dddf1a8 View commit details
    Browse the repository at this point in the history

  5. Comments

    @mernst
    mernst committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    1f20bec View commit details
    Browse the repository at this point in the history

  6. Fix Javadoc

    @mernst
    mernst committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    c6ce0d1 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    aa601ec View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    12b7a22 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    6c1e80f View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2024

  1. Address review comment in NonEmptyChecker.java

    @jyoo980
    jyoo980 committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    e03d24a View commit details
    Browse the repository at this point in the history

  2. Short-circuit callee check in methods for Non-Empty Checker in `Optio… 

    …nalVisitor.java`
    @jyoo980
    jyoo980 committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    615ebb9 View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 14, 2024
    Configuration menu
    Copy the full SHA
    ec7ee6e View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. Remove import statement

    @mernst
    mernst committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    d9dbca2 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    c79a6bf View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    6655d09 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    37b8631 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    4ec8b51 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    5fa3ea1 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'yoo/nonempty-optional-transfer-nonempty-information' of… 

    … github.com:jyoo980/checker-framework into yoo/nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Jul 19, 2024
    Configuration menu
    Copy the full SHA
    4bf42ef View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 20, 2024
    Configuration menu
    Copy the full SHA
    d2045b3 View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2024

  1. Add a TODO to re-name the RevisedOptionalChecker

    @jyoo980
    jyoo980 committed Jul 21, 2024
    Configuration menu
    Copy the full SHA
    c02ad4a View commit details
    Browse the repository at this point in the history

  2. Refactor OptionalTransfer.getReceiverDeclaration

    @jyoo980
    jyoo980 committed Jul 21, 2024
    Configuration menu
    Copy the full SHA
    bf48327 View commit details
    Browse the repository at this point in the history

  3. Update documentation for where a method call receiver is being looked up

    @jyoo980
    jyoo980 committed Jul 21, 2024
    Configuration menu
    Copy the full SHA
    1392abf View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. Make compile.

    @smillst
    smillst committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    f6829f3 View commit details
    Browse the repository at this point in the history

  2. Fix Could not instantiate bug.

    @smillst
    smillst committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    ee92c77 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 26, 2024
    Configuration menu
    Copy the full SHA
    5d63542 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    d13d050 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    12e119d View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2024

  1. Renaming OptionalTransfer#getReceiverDeclaration to `getLeftmostRec… 

    …eiverDeclaration`
    @jyoo980
    jyoo980 committed Aug 4, 2024
    Configuration menu
    Copy the full SHA
    0f468a0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into yoo/nonempty-optional-transfer-nonempty-in… 

    …formation
    @jyoo980
    jyoo980 authored Aug 4, 2024
    Configuration menu
    Copy the full SHA
    8870ab9 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    0864ddc View commit details
    Browse the repository at this point in the history

  2. Code review changes

    @mernst
    mernst committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    6acef19 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'yoo/nonempty-optional-transfer-nonempty-information' of… 

    … github.com:jyoo980/checker-framework into yoo/nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Aug 5, 2024
    Configuration menu
    Copy the full SHA
    847993e View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Aug 6, 2024
    Configuration menu
    Copy the full SHA
    6403155 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    52b79b5 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Aug 10, 2024
    Configuration menu
    Copy the full SHA
    b7466db View commit details
    Browse the repository at this point in the history

Commits on Aug 11, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Aug 11, 2024
    Configuration menu
    Copy the full SHA
    6b3763f View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    8ffa05b View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Aug 15, 2024
    Configuration menu
    Copy the full SHA
    12e3a1e View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Aug 19, 2024
    Configuration menu
    Copy the full SHA
    bc8f3a4 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    61e2ba1 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    4d224b2 View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    cf07601 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2024

  1. Merge branch 'yoo/nonempty-optional-transfer-nonempty-information' of… 

    … github.com:jyoo980/checker-framework into yoo/nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    3d22c3f View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    83220f4 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    eeb7c5d View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    97b7ba0 View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    78f953a View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    c1a25f3 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    80c8b1c View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    2254dc9 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    8a2736f View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    745398b View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    34aaf06 View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    933adea View commit details
    Browse the repository at this point in the history

  4. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    28eb6f1 View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    5f4bcc3 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'yoo/nonempty-optional-transfer-nonempty-information' of… 

    … github.com:jyoo980/checker-framework into yoo/nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    b1757fe View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    28fa63d View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    b1cd688 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    0a97b27 View commit details
    Browse the repository at this point in the history

Commits on Sep 16, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 16, 2024
    Configuration menu
    Copy the full SHA
    4c5dc52 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    7a22e43 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    9d2539a View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    9e8f230 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    2834594 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 22, 2024
    Configuration menu
    Copy the full SHA
    bd930aa View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    800d7cd View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    f79489a View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    19c8a2c View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    5b028dd View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Sep 29, 2024
    Configuration menu
    Copy the full SHA
    a2597a5 View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. Merge remote-tracking branch 'typetools/master' into yoo/nonempty-opt… 

    …ional-transfer-nonempty-information
    @jyoo980
    jyoo980 committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    b35bfa2 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. Merge branch 'yoo/nonempty-optional-transfer-nonempty-information' of… 

    … github.com:jyoo980/checker-framework into yoo/nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    bfceeb9 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    0b59d45 View commit details
    Browse the repository at this point in the history

  3. Fixing compilation issue

    @jyoo980
    jyoo980 committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    3ad3815 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into yoo/nonempty-optional-transfer-nonempty-in… 

    …formation
    @jyoo980
    jyoo980 committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    5e2baa7 View commit details
    Browse the repository at this point in the history

  5. Avoiding crash when Non-Empty Checker is run 

    The Non-Empty Checker admits a compiler option `-ArunAsOptionalChecker`, which
directs it to run as an Optional Checker with increased precision wrt.
container types.

A boolean variable in `NonEmptyChecker` was set to whether this option was
passed or not. However, it was used *before* it was set (under the assumption
that `getImmediateSubcheckerClasses` was executed *after* `initChecker()`,
which was not the case.

As a result, the assertion in `NonEmptyChecker#getMethodsToVerify` failed and
crashed the checker.

This change avoids using a variable to store the value of the key, and instead
reads the value of the key directly.
    @jyoo980
    jyoo980 committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    4a4f1a9 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. Adding comment to NonEmptyChecker#RUN_AS_OPTIONAL_CHECKER_KEY

    @jyoo980
    jyoo980 committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    a20fcd7 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'typetools:master' into yoo/nonempty-optional-transfer-n… 

    …onempty-information
    @jyoo980
    jyoo980 authored Oct 3, 2024
    Configuration menu
    Copy the full SHA
    1af5e66 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'yoo/nonempty-optional-transfer-nonempty-information' of… 

    … github.com:jyoo980/checker-framework into yoo/nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    fb42285 View commit details
    Browse the repository at this point in the history

  4. Avoiding re-computation of the -ArunAsOptionalChecker value

    @jyoo980
    jyoo980 committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    0af1fa4 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    db2fc1f View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    1d839d8 View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    94d873a View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    296646d View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    bb8aaa8 View commit details
    Browse the repository at this point in the history

  3. Code review tweaks

    @mernst
    mernst committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    aca6845 View commit details
    Browse the repository at this point in the history

  4. Code review tweaks

    @mernst
    mernst committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    75edf7d View commit details
    Browse the repository at this point in the history

  5. Addressing comments in NonEmptyChecker.java

    @jyoo980
    jyoo980 committed Oct 5, 2024
    Configuration menu
    Copy the full SHA
    600d90f View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    f0b4bff View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into yoo/nonempty-optional-transfer-nonempty-in… 

    …formation
    @jyoo980
    jyoo980 authored Oct 7, 2024
    Configuration menu
    Copy the full SHA
    27ce48d View commit details
    Browse the repository at this point in the history

  3. Merge branch 'yoo/nonempty-optional-transfer-nonempty-information' of… 

    … github.com:jyoo980/checker-framework into yoo/nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    f750dfb View commit details
    Browse the repository at this point in the history

  4. Fixing compilation issue

    @jyoo980
    jyoo980 committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    650f334 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'yoo/nonempty-optional-transfer-nonempty-information' of… 

    … github.com:jyoo980/checker-framework into yoo/nonempty-optional-transfer-nonempty-information
    @mernst
    mernst committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    f6d6316 View commit details
    Browse the repository at this point in the history

  6. Addressing some comments in OptionalVisitor.java

    @jyoo980
    jyoo980 committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    5f5099b View commit details
    Browse the repository at this point in the history

  7. Renaming JavaExpression#getReceiverDeclarationInClass to `JavaExpre… 

    …ssion#getReceiverDeclarationAsField`
    @jyoo980
    jyoo980 committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    37de026 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'master' into yoo/nonempty-optional-transfer-nonempty-in… 

    …formation
    @jyoo980
    jyoo980 committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    ffe250d View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    0daa5e5 View commit details
    Browse the repository at this point in the history

  2. Add todo note for work to eliminate false positive

    @jyoo980
    jyoo980 committed Oct 8, 2024
    Configuration menu
    Copy the full SHA
    3127f48 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2024

  1. Merge ../checker-framework-branch-master into yoo/nonempty-optional-t… 

    …ransfer-nonempty-information
    @mernst
    mernst committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    83d1b6c View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'typetools/master' into yoo/nonempty-opt… 

    …ional-transfer-nonempty-information
    @jyoo980
    jyoo980 committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    5c915d4 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2024

  1. Merge remote-tracking branch 'typetools/master' into yoo/optional-che… 

    …cker-latest
    @jyoo980
    jyoo980 committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    60295ad View commit details
    Browse the repository at this point in the history

  2. Re-start refactoring

    @jyoo980
    jyoo980 committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    e164966 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2024

  1. Recover post-refactoring changes from other branch

    @mernst
    mernst committed Nov 14, 2024
    Configuration menu
    Copy the full SHA
    3d4c756 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2024

  1. Merge ../checker-framework-branch-master into yoo/optional-checker-la… 

    …test
    @mernst
    mernst committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    8290828 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2024

  1. Merge ../checker-framework-branch-master into yoo/optional-checker-la… 

    …test
    @mernst
    mernst committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    4edeeee View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/optional-checker-la… 

    …test
    @mernst
    mernst committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    21dc00e View commit details
    Browse the repository at this point in the history

  3. Merge ../checker-framework-branch-master into yoo/optional-checker-la… 

    …test
    @mernst
    mernst committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    2e32f9b View commit details
    Browse the repository at this point in the history

  4. Merge ../checker-framework-branch-master into yoo/optional-checker-la… 

    …test
    @mernst
    mernst committed Nov 20, 2024
    Configuration menu
    Copy the full SHA
    827392b View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2024

  1. Merge ../checker-framework-branch-master into yoo/optional-checker-la… 

    …test
    @mernst
    mernst committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    3fd57c8 View commit details
    Browse the repository at this point in the history

Commits on Nov 22, 2024

  1. Merge ../checker-framework-branch-master into yoo/optional-checker-la… 

    …test
    @mernst
    mernst committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    4e3b335 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/optional-checker-la… 

    …test
    @mernst
    mernst committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    4406957 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into yoo/optional-checker-latest

    @jyoo980
    jyoo980 committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    f242bc8 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'yoo/optional-checker-latest' of github.com:jyoo980/chec… 

    …ker-framework into yoo/optional-checker-latest
    @mernst
    mernst committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    eb57863 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'yoo/optional-checker-latest' of github.com:jyoo980/chec… 

    …ker-framework into yoo/optional-checker-latest
    @mernst
    mernst committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    3fd5455 View commit details
    Browse the repository at this point in the history

  6. Fixing compilation error

    @jyoo980
    jyoo980 committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    bc3d3f9 View commit details
    Browse the repository at this point in the history

  7. Ensuring OptionalImplChecker respects optional prefix

    @jyoo980
    jyoo980 committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    42c38b5 View commit details
    Browse the repository at this point in the history

  8. Enabling rely-guarantee test case for Optional Checker

    @jyoo980
    jyoo980 committed Nov 22, 2024
    Configuration menu
    Copy the full SHA
    8242e12 View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2024

  1. Merge remote-tracking branch 'typetools/master' into yoo/optional-che… 

    …cker-latest
    @jyoo980
    jyoo980 committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    7398b1b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'yoo/optional-checker-latest' of github.com:jyoo980/chec… 

    …ker-framework into yoo/optional-checker-latest
    @mernst
    mernst committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    b974dd8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'yoo/optional-checker-latest' of github.com:jyoo980/chec… 

    …ker-framework into yoo/optional-checker-latest
    @mernst
    mernst committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    27313f7 View commit details
    Browse the repository at this point in the history

  4. Merge ../checker-framework-branch-master into yoo/optional-checker-la… 

    …test
    @mernst
    mernst committed Nov 23, 2024
    Configuration menu
    Copy the full SHA
    2bb39d2 View commit details
    Browse the repository at this point in the history

Commits on Nov 24, 2024

  1. Making the Non-Empty test suite pass

    @jyoo980
    jyoo980 committed Nov 24, 2024
    Configuration menu
    Copy the full SHA
    ec084f9 View commit details
    Browse the repository at this point in the history

  2. Updating Non-Empty Checker manual entry with -AcheckAllDefs

    @jyoo980
    jyoo980 committed Nov 24, 2024
    Configuration menu
    Copy the full SHA
    b15e916 View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2024

  1. Work around crash

    @mernst
    mernst committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    275d99a View commit details
    Browse the repository at this point in the history

  2. Removing outdated documentation for the Optional Checker

    @jyoo980
    jyoo980 committed Nov 25, 2024
    Configuration menu
    Copy the full SHA
    8270335 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into yoo/optional-checker-latest

    @jyoo980
    jyoo980 authored Nov 25, 2024
    Configuration menu
    Copy the full SHA
    5248e71 View commit details
    Browse the repository at this point in the history

Commits on Nov 26, 2024

  1. Undo a change

    @mernst
    mernst committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    9b721c0 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'yoo/optional-checker-latest' of github.com:jyoo980/chec… 

    …ker-framework into yoo/optional-checker-latest
    @mernst
    mernst committed Nov 26, 2024
    Configuration menu
    Copy the full SHA
    e021997 View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2024

  1. Updating documentation, removing unnecessary override

    @jyoo980
    jyoo980 committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    7c738f1 View commit details
    Browse the repository at this point in the history

  2. Merge ../checker-framework-branch-master into yoo/optional-checker-la… 

    …test
    @mernst
    mernst committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    afa8daa View commit details
    Browse the repository at this point in the history

  3. Removing unnecessary -AcheckAllDefs flag in Non-Empty Checker

    @jyoo980
    jyoo980 committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    a0909b7 View commit details
    Browse the repository at this point in the history

  4. Adding documentation for parent checker check in `NonEmptyChecker#sho… 

    …uldSkipDefs`
    @jyoo980
    jyoo980 committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    2acbc8a View commit details
    Browse the repository at this point in the history

  5. Storing method name strings, not entire method trees

    @jyoo980
    jyoo980 committed Nov 27, 2024
    Configuration menu
    Copy the full SHA
    dee9c8c View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2024

  1. Addressing additional comments

    @jyoo980
    jyoo980 committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    d263ad1 View commit details
    Browse the repository at this point in the history

  2. Abstracting out message key for Rule 3

    @jyoo980
    jyoo980 committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    de5ed5c View commit details
    Browse the repository at this point in the history

  3. Annotate parameter with @CompilerMessageKey

    @jyoo980
    jyoo980 committed Nov 28, 2024
    Configuration menu
    Copy the full SHA
    3160d2c View commit details
    Browse the repository at this point in the history

Commits on Dec 2, 2024

  1. Merge ../checker-framework-branch-master into yoo/optional-checker-la… 

    …test
    @mernst
    mernst committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    52acc85 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into yoo/optional-checker-latest

    @jyoo980
    jyoo980 committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    5219851 View commit details
    Browse the repository at this point in the history

  3. Adding additional check for "prefer.map.and.orelse"

    @jyoo980
    jyoo980 committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    738452b View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into yoo/optional-checker-latest

    @jyoo980
    jyoo980 committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    0c130e0 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into yoo/optional-checker-latest

    @jyoo980
    jyoo980 authored Dec 2, 2024
    Configuration menu
    Copy the full SHA
    9fd4bd9 View commit details
    Browse the repository at this point in the history

  6. Fixing Javadoc

    @jyoo980
    jyoo980 committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    769d3c2 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'yoo/optional-checker-latest' of github.com:jyoo980/chec… 

    …ker-framework into yoo/optional-checker-latest
    @jyoo980
    jyoo980 committed Dec 2, 2024
    Configuration menu
    Copy the full SHA
    6b7213a View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2024

  1. Passing framework:checkOptional task

    @jyoo980
    jyoo980 committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    73ebbbe View commit details
    Browse the repository at this point in the history

  2. Addressing PR comment

    @jyoo980
    jyoo980 committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    d00de27 View commit details
    Browse the repository at this point in the history

  3. Adding comment to OptionalImplTypeValidator constructor

    @jyoo980
    jyoo980 committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    401588e View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into yoo/optional-checker-latest

    @jyoo980
    jyoo980 committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    add5c7a View commit details
    Browse the repository at this point in the history

  5. Updating Javadoc

    @jyoo980
    jyoo980 committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    f57b895 View commit details
    Browse the repository at this point in the history

  6. Whitespace fixes

    @mernst
    mernst committed Dec 3, 2024
    Configuration menu
    Copy the full SHA
    d6e84e0 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2024

  1. Typo fix

    @mernst
    mernst committed Dec 5, 2024
    Configuration menu
    Copy the full SHA
    e6ed51e View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2024

  1. Merge branch 'master' into yoo/optional-checker-latest

    @jyoo980
    jyoo980 committed Dec 6, 2024
    Configuration menu
    Copy the full SHA
    e116c37 View commit details
    Browse the repository at this point in the history