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

Add Delegation Checker #6609

Draft
wants to merge 174 commits into
base: master
Choose a base branch
from
Draft

Add Delegation Checker #6609

wants to merge 174 commits into from

Commits on Jan 9, 2024

  1. Add start of manual for Non-Empty Checker

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

  2. Add section on Non-Empty Checker checks

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

  3. Adding type hierarchy image

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

Commits on Jan 10, 2024

  1. Add qualifiers and barebones Non-Empty Checker

    @jyoo980
    jyoo980 committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    ce3cde3 View commit details
    Browse the repository at this point in the history

  2. Add documentation for quals

    @jyoo980
    jyoo980 committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    61ce733 View commit details
    Browse the repository at this point in the history

  3. Add postcondition annotations for the Non-Empty Checker

    @jyoo980
    jyoo980 committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    e20d5af View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    1a13283 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'typetools:master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 authored Jan 10, 2024
    Configuration menu
    Copy the full SHA
    93bc49e View commit details
    Browse the repository at this point in the history

  6. Add postcondition annotations and tests

    @jyoo980
    jyoo980 committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    433a993 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'yoo/nonempty-checker' of github.com:jyoo980/checker-fra… 

    …mework into yoo/nonempty-checker
    @jyoo980
    jyoo980 committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    5fe370d View commit details
    Browse the repository at this point in the history

  8. Merge branch 'typetools:master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 authored Jan 10, 2024
    Configuration menu
    Copy the full SHA
    53ef7e7 View commit details
    Browse the repository at this point in the history

  9. Fix Javadoc build errors

    @jyoo980
    jyoo980 committed Jan 10, 2024
    Configuration menu
    Copy the full SHA
    134aef7 View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2024

  1. Add formatting updates

    @jyoo980
    jyoo980 committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    cdf043d View commit details
    Browse the repository at this point in the history

  2. Adding descriptions for @EnsuresNonEmpty and @EnsuresNonEmptyIf

    @jyoo980
    jyoo980 committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    eda22bb View commit details
    Browse the repository at this point in the history

  3. Adding tests for @EnsuresNonEmpty and @EnsuresNonEmptyIf

    @jyoo980
    jyoo980 committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    8824de7 View commit details
    Browse the repository at this point in the history

  4. Tweaks to manual

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

  5. Merge branch 'yoo/nonempty-checker' of github.com:jyoo980/checker-fra… 

    …mework into yoo/nonempty-checker
    @mernst
    mernst committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    b9699e1 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2024

  1. Update formatting and code example

    @jyoo980
    jyoo980 committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    500c249 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'typetools:master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 authored Jan 12, 2024
    Configuration menu
    Copy the full SHA
    9e58eaf View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2024

  1. Add NonEmptyBottom and PolyNonEmpty to Non-Empty type system

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

Commits on Jan 17, 2024

  1. Re-organize tests

    @jyoo980
    jyoo980 committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    1e66676 View commit details
    Browse the repository at this point in the history

  2. Adding additional tests for Set

    @jyoo980
    jyoo980 committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    fc61d3d View commit details
    Browse the repository at this point in the history

  3. Add temporary @skip-test

    @jyoo980
    jyoo980 committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    e91c373 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'typetools:master' into yoo/nonempty-checker

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

Commits on Jan 19, 2024

  1. Merge branch 'master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    e7fd519 View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2024

  1. Merge ../checker-framework-fork-jyoo980-branch-yoo-nonempty-checker i… 

    …nto issue6407
    @mernst
    mernst committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    00714bc View commit details
    Browse the repository at this point in the history

  2. Set this.sideEffectsUnrefineAliases in NonEmptyAnnotatedTypeFactory

    @mernst
    mernst committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    4467854 View commit details
    Browse the repository at this point in the history

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

    @mernst
    mernst committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    20055de View commit details
    Browse the repository at this point in the history

  4. Merge branch 'yoo/nonempty-checker' of github.com:jyoo980/checker-fra… 

    …mework into yoo/nonempty-checker
    @mernst
    mernst committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    98f218c View commit details
    Browse the repository at this point in the history

  5. Merge ../checker-framework-fork-jyoo980-branch-yoo-nonempty-checker i… 

    …nto issue6407
    @mernst
    mernst committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    2c5e9ff View commit details
    Browse the repository at this point in the history

  6. Merge pull request #1 from mernst/issue6407 

    Set `this.sideEffectsUnrefineAliases` in NonEmptyAnnotatedTypeFactory
    @jyoo980
    jyoo980 authored Jan 22, 2024
    Configuration menu
    Copy the full SHA
    99b9242 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into yoo/nonempty-checker

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

  8. Add test for Set.remove(E)

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

Commits on Jan 23, 2024

  1. Add tests for immutable map operations

    @jyoo980
    jyoo980 committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    89b4bee View commit details
    Browse the repository at this point in the history

  2. Merge branch 'typetools:master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 authored Jan 23, 2024
    Configuration menu
    Copy the full SHA
    a9964bc View commit details
    Browse the repository at this point in the history

  3. Enable JDK tests

    @jyoo980
    jyoo980 committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    19a2042 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'yoo/nonempty-checker' of github.com:jyoo980/checker-fra… 

    …mework into yoo/nonempty-checker
    @jyoo980
    jyoo980 committed Jan 23, 2024
    Configuration menu
    Copy the full SHA
    90de18e View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. Apply Spotless changes

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

Commits on Jan 25, 2024

  1. Merge branch 'typetools:master' into yoo/nonempty-checker

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

Commits on Jan 27, 2024

  1. Merge branch 'master' into yoo/nonempty-checker

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

  2. Adding tests for iterator operations

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

Commits on Jan 29, 2024

  1. Merge branch 'master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    d788fe4 View commit details
    Browse the repository at this point in the history

  2. Start implementing transfer fn. for Non-Empty Checker

    @jyoo980
    jyoo980 committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    28859fb View commit details
    Browse the repository at this point in the history

  3. Implement NonEmptyTransfer.visitNotEqual

    @jyoo980
    jyoo980 committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    266af5f View commit details
    Browse the repository at this point in the history

  4. Pass proper arg

    @jyoo980
    jyoo980 committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    16d8aa1 View commit details
    Browse the repository at this point in the history

Commits on Jan 30, 2024

  1. Complete initial impl. of transfer function for Non-Empty Checker

    @jyoo980
    jyoo980 committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    aec4317 View commit details
    Browse the repository at this point in the history

  2. Adding failing tests for LTE

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

  3. Comparison refinement working, need to add documentation

    @jyoo980
    jyoo980 committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    e44ecb8 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    de84e5e View commit details
    Browse the repository at this point in the history

  5. Document NonEmptyTransfer class

    @jyoo980
    jyoo980 committed Jan 30, 2024
    Configuration menu
    Copy the full SHA
    fefadec View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. Invert conditionals and comment-out tests

    @jyoo980
    jyoo980 committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    feb14e2 View commit details
    Browse the repository at this point in the history

  2. Update Map.java annotation tests

    @jyoo980
    jyoo980 committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    10ddf62 View commit details
    Browse the repository at this point in the history

Commits on Feb 1, 2024

  1. Add support for Map.size in NonEmptyTransfer

    @jyoo980
    jyoo980 committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    92dee7b View commit details
    Browse the repository at this point in the history

  2. Add switch test case

    @jyoo980
    jyoo980 committed Feb 1, 2024
    Configuration menu
    Copy the full SHA
    a9b7069 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2024

  1. Add transfer function for switch statments

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

  2. Merge branch 'master' into yoo/nonempty-checker

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

  3. Support refinement for equality comparisons

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

Commits on Feb 5, 2024

  1. Implement implicit Non-Empty refinement for Equals

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

  2. Merge branch 'master' into yoo/nonempty-checker

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

  3. Implement implicit refinement for NotEqualTo expressions

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

Commits on Feb 6, 2024

  1. Merge branch 'master' into yoo/nonempty-checker

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

  2. Add todo for GLB in strengthening annos

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

  3. Test that Predicate.test is pure

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

  4. Merge branch 'yoo/nonempty-checker' of github.com:jyoo980/checker-fra… 

    …mework into yoo/nonempty-checker
    @mernst
    mernst committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    2a68280 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2024

  1. Merge branch 'master' into yoo/nonempty-checker

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

Commits on Feb 12, 2024

  1. Instantiate NonEmptyTransfer via reflection

    @jyoo980
    jyoo980 committed Feb 12, 2024
    Configuration menu
    Copy the full SHA
    ed46d30 View commit details
    Browse the repository at this point in the history

Commits on Feb 13, 2024

  1. Implement refinement for java.util.List indexOf(Object)

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

  2. Implement indexOf(Object) refinement for switch statements

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

  3. Add test case

    @mernst
    mernst committed Feb 13, 2024
    Configuration menu
    Copy the full SHA
    692b0c4 View commit details
    Browse the repository at this point in the history

Commits on Feb 16, 2024

  1. Add test case for size() call in isEmpty()

    @jyoo980
    jyoo980 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    ac242c2 View commit details
    Browse the repository at this point in the history

  2. Update code example in manual

    @jyoo980
    jyoo980 committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    0c87474 View commit details
    Browse the repository at this point in the history

  3. Add manual section and test case for delegation

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

Commits on Feb 17, 2024

  1. Add type annos for Delegation checking

    @jyoo980
    jyoo980 committed Feb 17, 2024
    Configuration menu
    Copy the full SHA
    649f386 View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2024

  1. Merge branch 'master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 committed Feb 18, 2024
    Configuration menu
    Copy the full SHA
    f413c61 View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2024

  1. Simplify @Delegate logic

    @jyoo980
    jyoo980 committed Feb 20, 2024
    Configuration menu
    Copy the full SHA
    d67005d View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. Add basic DelegationChecker implementation

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

  2. Remove override for setRoot as it appears to crash with NPE

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

  3. Merge branch 'master' into yoo/nonempty-checker

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

  4. Make NonEmptyChecker extend DelegationChecker

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

  5. Add test case for invalid delegation

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

Commits on Feb 23, 2024

  1. Implement very basic delegation verification

    @jyoo980
    jyoo980 committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    ff710d5 View commit details
    Browse the repository at this point in the history

  2. Simplify logic for finding Override annotations

    @jyoo980
    jyoo980 committed Feb 23, 2024
    Configuration menu
    Copy the full SHA
    3350681 View commit details
    Browse the repository at this point in the history

  3. Update tests

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

Commits on Feb 25, 2024

  1. Document code

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

  2. Merge remote-tracking branch 'upstream/master' into yoo/nonempty-checker

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

  3. Fix boolean operator

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

  4. Support delgation to void methods

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

Commits on Feb 26, 2024

  1. Merge branch 'master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 committed Feb 26, 2024
    Configuration menu
    Copy the full SHA
    451b831 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2024

  1. Allow exceptional exits for delegate methods

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

  2. Merge remote-tracking branch 'upstream/master' into yoo/nonempty-checker

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

  3. Start obtaining methods from supertype

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

Commits on Feb 29, 2024

  1. Add UnmodifiableTest.java

    @jyoo980
    jyoo980 committed Feb 29, 2024
    Configuration menu
    Copy the full SHA
    44d0b51 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. Expand diagnostics, expand test

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

  2. Adding test case for Collections.java

    @jyoo980
    jyoo980 committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    e96fcf5 View commit details
    Browse the repository at this point in the history

  3. Fix merge

    @jyoo980
    jyoo980 committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    896b727 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    353b096 View commit details
    Browse the repository at this point in the history

  5. Comment-out erroneous override checking

    @jyoo980
    jyoo980 committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    e6fe54a View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2024

  1. Implement naive override checking

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

Commits on Mar 5, 2024

  1. Add @DelegatorMustOverride annotation

    @jyoo980
    jyoo980 committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    8cdcf6d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    91f127a View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. Add Non-Empty Checker tree annotator for NewArrayTree

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

  2. Add test case for Map.ofEntries

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

  3. Merge branch 'master' into yoo/nonempty-checker

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

Commits on Mar 7, 2024

  1. Add test cases for Stream.java

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

  2. Merge branch 'master' into yoo/nonempty-checker

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

Commits on Mar 8, 2024

  1. Comments

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

Commits on Mar 10, 2024

  1. Merge branch 'master' into yoo/nonempty-checker

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

Commits on Mar 11, 2024

  1. Merge branch 'master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    44c72dd View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    e385d0e View commit details
    Browse the repository at this point in the history

  3. Add WIP for resolving false positives with non-empty streams

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

Commits on Mar 12, 2024

  1. Refine the result, not the receiver

    @mernst
    mernst committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    1ba6043 View commit details
    Browse the repository at this point in the history

  2. Fix typo in documentation

    @jyoo980
    jyoo980 committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    c3478c2 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into yoo/nonempty-checker

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

  4. Merge remote-tracking branch 'upstream/master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    c044594 View commit details
    Browse the repository at this point in the history

  5. Add support for Stream.reduce(BinaryOperator)

    @jyoo980
    jyoo980 committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    7b70a61 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. Merge branch 'master' into yoo/nonempty-checker

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

  2. Add support for Stream.findAny and Stream.findFirst

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

Commits on Mar 14, 2024

  1. Merge remote-tracking branch 'upstream/master' into yoo/nonempty-checker

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

  2. Handle case where receiver may be null

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

  3. Merge branch 'master' into yoo/nonempty-checker

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

  4. Merge branch 'master' into yoo/nonempty-checker

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

Commits on Mar 22, 2024

  1. Merge remote-tracking branch 'upstream/master' into yoo/nonempty-checker

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

Commits on Mar 29, 2024

  1. Merge remote-tracking branch 'upstream/master' into yoo/nonempty-checker

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

  2. Apply Spotless changes

    @jyoo980
    jyoo980 committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    a945675 View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2024

  1. Merge w. master

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

  2. Merge branch 'master' into yoo/nonempty-checker

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

Commits on Apr 3, 2024

  1. Merge branch 'master' into yoo/nonempty-checker

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

Commits on Apr 4, 2024

  1. Merge branch 'master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 committed Apr 4, 2024
    Configuration menu
    Copy the full SHA
    eafc977 View commit details
    Browse the repository at this point in the history

Commits on Apr 5, 2024

  1. Merge branch 'master' into yoo/nonempty-checker

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

Commits on Apr 8, 2024

  1. Merge branch 'master' into yoo/nonempty-checker

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

  2. Merge branch 'master' into yoo/nonempty-checker

    @jyoo980
    jyoo980 committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    4264e4d View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. Refine types in OptionalTransfer without NonEmptyAnnotatedTypeFactory

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

Commits on Apr 10, 2024

  1. Add debugging information

    @jyoo980
    jyoo980 committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    6a89910 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 Apr 10, 2024
    Configuration menu
    Copy the full SHA
    4d09502 View commit details
    Browse the repository at this point in the history

  3. Apply lint

    @jyoo980
    jyoo980 committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    5b2056e View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

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

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

  2. Reading @nonempty anno in Optional Transfer

    @jyoo980
    jyoo980 committed May 1, 2024
    Configuration menu
    Copy the full SHA
    50bfa36 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. Add documentation and debug logs

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

  2. Add additional logging

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

  3. Remove unnecessary helper methods

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

Commits on May 8, 2024

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

    …formation
    @jyoo980
    jyoo980 committed May 8, 2024
    Configuration menu
    Copy the full SHA
    b1ed401 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2024

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

    …onempty-information
    @jyoo980
    jyoo980 authored May 9, 2024
    Configuration menu
    Copy the full SHA
    f8ba782 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 committed May 9, 2024
    Configuration menu
    Copy the full SHA
    f5b1614 View commit details
    Browse the repository at this point in the history

  3. Refactoring check for non-empty method invocation receiver

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

Commits on May 13, 2024

  1. Get initial receiver of method invocation

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

  2. Enable insertion of non-deterministic expressions into the store

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

  3. Clean up logging

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

  4. Start implementing method-level support for skipDefs flag

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

  5. Merge branch 'master' into yoo/skipdefs-for-methods

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

Commits on May 14, 2024

  1. Correct logic for JavaExpression.getInitialReceiverOfMethodInvocation

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

  2. Add debug logs

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

  3. Enable NonEmptyChecker to access methods to check from the `Optiona… 

    …lChecker`
    @jyoo980
    jyoo980 committed May 14, 2024
    Configuration menu
    Copy the full SHA
    8e91f0d View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. Stub implementation of SourceChecker.shouldSkipDefs and make it non… 

    …-`final`
    @jyoo980
    jyoo980 committed May 15, 2024
    Configuration menu
    Copy the full SHA
    e7906b0 View commit details
    Browse the repository at this point in the history

  2. Remove unnecessary flags

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

  3. Merge branch 'yoo/skipdefs-for-methods' into yoo/nonempty-optional-tr… 

    …ansfer-nonempty-information
    @jyoo980
    jyoo980 committed May 15, 2024
    Configuration menu
    Copy the full SHA
    0478e43 View commit details
    Browse the repository at this point in the history

  4. Simplify logic for accessing + checking methods to check in the Non-E… 

    …mpty Checker
    @jyoo980
    jyoo980 committed May 15, 2024
    Configuration menu
    Copy the full SHA
    6d65157 View commit details
    Browse the repository at this point in the history

  5. Update algorithm to obtain methods to check with Non-Empty Checker

    @jyoo980
    jyoo980 committed May 15, 2024
    Configuration menu
    Copy the full SHA
    89d3861 View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

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

    …formation
    @jyoo980
    jyoo980 committed May 16, 2024
    Configuration menu
    Copy the full SHA
    fa1539c 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 committed May 16, 2024
    Configuration menu
    Copy the full SHA
    0f53325 View commit details
    Browse the repository at this point in the history

  3. Override processMethod

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

Commits on May 17, 2024

  1. Account for case when TreeUtils.getReceiverTree returns the receive… 

    …r, not a tree
    @jyoo980
    jyoo980 committed May 17, 2024
    Configuration menu
    Copy the full SHA
    46a2725 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2024

  1. Handle receivers of stream operations that are fields, not locals or … 

    …formals
    @jyoo980
    jyoo980 committed May 18, 2024
    Configuration menu
    Copy the full SHA
    572584d View commit details
    Browse the repository at this point in the history

Commits on May 19, 2024

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

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

  2. Use %n, not \n, for platform independence

    @mernst
    mernst committed May 19, 2024
    Configuration menu
    Copy the full SHA
    64c469b View commit details
    Browse the repository at this point in the history

  3. Minor changes

    @mernst
    mernst committed May 19, 2024
    Configuration menu
    Copy the full SHA
    615205d View commit details
    Browse the repository at this point in the history

  4. Remove changes related to the Optional Checker

    @jyoo980
    jyoo980 committed May 19, 2024
    Configuration menu
    Copy the full SHA
    6654033 View commit details
    Browse the repository at this point in the history

  5. Remove Non-Empty related code

    @jyoo980
    jyoo980 committed May 19, 2024
    Configuration menu
    Copy the full SHA
    878ffeb View commit details
    Browse the repository at this point in the history

  6. Start of Standalone Delegation Checker

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

  7. Remove unrelated changes

    @jyoo980
    jyoo980 committed May 19, 2024
    Configuration menu
    Copy the full SHA
    5c65841 View commit details
    Browse the repository at this point in the history

  8. Remove additional unrelated code

    @jyoo980
    jyoo980 committed May 19, 2024
    Configuration menu
    Copy the full SHA
    afe12cc View commit details
    Browse the repository at this point in the history

  9. Remove manual entry

    @jyoo980
    jyoo980 committed May 19, 2024
    Configuration menu
    Copy the full SHA
    87f8e0e View commit details
    Browse the repository at this point in the history

  10. Add back TreeUtils.fieldsFromTree

    @jyoo980
    jyoo980 committed May 19, 2024
    Configuration menu
    Copy the full SHA
    36ebf2e View commit details
    Browse the repository at this point in the history

  11. Extracting delegation checking logic into DelegationVisitor

    @jyoo980
    jyoo980 committed May 19, 2024
    Configuration menu
    Copy the full SHA
    06d74b1 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-d… 

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