RLC extension for resource collection#7602

Open

iamsanjaymalakar wants to merge 464 commits intotypetools:masterfrom

iamsanjaymalakar:rlc-for-collections

This pull request is big! We're only showing the most recent 250 commits

Commits on Jun 24, 2025

default resource collection constructor returns no OCwO
Sascha Kehrli
committed
fix return rule for resource collections
Sascha Kehrli
committed
fix tests to account for enhanced precision of new defaults
Sascha Kehrli
committed

Commits on Jun 25, 2025

add CollectionOwnershipStore and Analysis
Sascha Kehrli
committed
add collectionfielddestructor postcon anno
Sascha Kehrli
committed
doc
Sascha Kehrli
committed
Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored
add support for @OC fields
Sascha Kehrli
committed
demand @CreatesCollectionObligation method invocs on fields to have @CreatesMustCallFor anno on enclosing method
Sascha Kehrli
committed
add test for @OC fields
Sascha Kehrli
committed
make missing.creates.mustcall.for slightly more generic
Sascha Kehrli
committed

Commits on Jun 26, 2025

add method deciding whether rc field is owning or not
Sascha Kehrli
committed
introduce owning rc field as @OCwO in constructor
Sascha Kehrli
committed
prevent ownership transfer out of owning rc field
Sascha Kehrli
committed
fix how owning rc fields are decided in COVisitor
Sascha Kehrli
committed
check owning rc field assignments in consistency analyzer
Sascha Kehrli
committed
more field tests
Sascha Kehrli
committed
Javadoc
mernst
committed
Merge branch 'rlc-collections-redesign' of github.com:skehrli/checker-framework into rlc-collections-redesign
mernst
committed
move logic for parsing JavaExp from string from visitor to atf
Sascha Kehrli
committed
fix how @OC and owning rc field are decided
Sascha Kehrli
committed
check field accesses to prevent accessing foreign owning rc fields
Sascha Kehrli
committed
new field tests
Sascha Kehrli
committed
comment field null test, not implemented yet
Sascha Kehrli
committed
Merge branch 'rlc-collections-redesign' of github.com:skehrli/checker-framework into rlc-collections-redesign
Sascha Kehrli
committed
Merge branch 'master' of https://github.com/typetools/checker-framework into rlc-collections-redesign
Sascha Kehrli
committed
add missing doc
Sascha Kehrli
committed

Commits on Jun 27, 2025

please new preferences of formatter
Sascha Kehrli
committed
use new isOwningCollectionField in costore as well
Sascha Kehrli
committed
isocfield now expects element instead of tree
Sascha Kehrli
committed
add missing @param
Sascha Kehrli
committed
fix crash due to receiver not in store
Sascha Kehrli
committed
Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored
manual update
Sascha Kehrli
committed
Merge branch 'rlc-collections-redesign' of github.com:skehrli/checker-framework into rlc-collections-redesign
Sascha Kehrli
committed
Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored

Commits on Jun 28, 2025

fix rlc-collections manual
Sascha Kehrli
committed
Merge branch 'rlc-collections-redesign' of github.com:skehrli/checker-framework into rlc-collections-redesign
Sascha Kehrli
committed
fix quotes
Sascha Kehrli
committed
suppress this-escape warning for calling postInit()
Sascha Kehrli
committed
fix nullness crash
Sascha Kehrli
committed
make @OCBottom and @OCwO illegal manual annotations
Sascha Kehrli
committed

Commits on Jul 5, 2025

Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored
disallow owning rc field assignments with @OC rhs
Sascha Kehrli
committed
keep @NotOwningCollection rc fields in store as well
Sascha Kehrli
committed
fix how return statements are checked for @OC return vals
Sascha Kehrli
committed
allow assignments to final field
Sascha Kehrli
committed

Commits on Jul 6, 2025

disallow static rc fields
Sascha Kehrli
committed
remove obligation of rhs in assignment to owning rc final field lhs
Sascha Kehrli
committed
improve error message for foreign rc field access
Sascha Kehrli
committed
add field test cases
Sascha Kehrli
committed
remove array support
Sascha Kehrli
committed
fix test outcomse after making List#get not owning
Sascha Kehrli
committed
remove array tests
Sascha Kehrli
committed

Commits on Jul 7, 2025

fix collections rlc manual section with manu feedback
Sascha Kehrli
committed
also require createsmcfor(this) for field asgnment with noc rhs
Sascha Kehrli
committed

Commits on Jul 9, 2025

Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored
maps are now also resource collections
Sascha Kehrli
committed
remove expected warning for type.arg because map can now hold non-empty MC values
Sascha Kehrli
committed
@OwningCollection and @NotOwningCollection are inheritable!!!!
Sascha Kehrli
committed
polyowning inherited
Sascha Kehrli
committed
only collections with one typearg are rc
Sascha Kehrli
committed

Commits on Jul 14, 2025

fix crash when annotated type not available
Sascha Kehrli
committed

Commits on Jul 21, 2025

Format
mernst
committed
fix loopbodyanalysis (fix by Suzanne)
Sascha Kehrli
committed
no errors for map.get
Sascha Kehrli
committed
uncomment now working loop body analysis tests
Sascha Kehrli
committed
Merge branch 'rlc-collections-redesign' of github.com:skehrli/checker-framework into rlc-collections-redesign
Sascha Kehrli
committed
formatting
Sascha Kehrli
committed

Commits on Jul 22, 2025

suppress interning warning
Sascha Kehrli
committed
fix crash in for-loop pattern match
Sascha Kehrli
committed
make collectionownership annotations inheritable
Sascha Kehrli
committed
formating
Sascha Kehrli
committed
Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored
suzanne's fix for the afu build file
Sascha Kehrli
committed

Commits on Jul 23, 2025

annotate afu for collection ownership checker
Sascha Kehrli
committed
warning suppressions in afu for collection ownership checker
Sascha Kehrli
committed
add poly annotation as field
Sascha Kehrli
committed
don't inherit polyoc annotation
Sascha Kehrli
committed
propagate annotations from parameter decl to use site
Sascha Kehrli
committed
adapt annos&suppressions for afu subproject after not inheriting polyOC anymore
Sascha Kehrli
committed
Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored
Add Javadoc
mernst
committed
Merge branch 'rlc-collections-redesign' of github.com:skehrli/checker-framework into rlc-collections-redesign
mernst
committed
Add Javadoc
mernst
committed

Commits on Jul 24, 2025

Commits on Jul 30, 2025

Commits on Jul 31, 2025

Add `@NotOwning` annotation
mernst
committed

Commits on Aug 3, 2025

Merge ../checker-framework-branch-master into rlc-collections-redesign
mernst
committed

Commits on Aug 5, 2025

Commits on Aug 6, 2025

more annotations for rlc4c
Sascha Kehrli
committed
add receiver annotation
Sascha Kehrli
committed
add comment
Sascha Kehrli
committed
add rlc4c annos
Sascha Kehrli
committed
fix javadoc
Sascha Kehrli
committed

Commits on Aug 8, 2025

Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored
address code review
Sascha Kehrli
committed
address code review: remove createSourceVisitor override in coc
Sascha Kehrli
committed
remove unnecessary nullness checks
Sascha Kehrli
committed
make mcatf a field in coatf
Sascha Kehrli
committed
remove catch bugincf to make error explicit
Sascha Kehrli
committed
remove mcoeobligationaltering loop wrapper class
Sascha Kehrli
committed
replace catch (Exception) with catch (BugInCF)
Sascha Kehrli
committed
minor changes code review
Sascha Kehrli
committed
minor changes code review
Sascha Kehrli
committed
fix expected test outcome after renaming an error code
Sascha Kehrli
committed
minor fixes code review
Sascha Kehrli
committed
formatting
Sascha Kehrli
committed
minor changes code review
Sascha Kehrli
committed
fix faulty link
Sascha Kehrli
committed

Commits on Aug 9, 2025

use old collectors method to prevent runtime error
Sascha Kehrli
committed
prevent crash in loop body analysis
Sascha Kehrli
committed
catch BugInCF if tree has unexpected shape when deciding rc
Sascha Kehrli
committed

Commits on Aug 10, 2025

prevent crash when rhs of oc field assignment not in store
Sascha Kehrli
committed

Commits on Aug 12, 2025

Merge ../checker-framework-branch-master into rlc-collections-redesign
mernst
committed

Commits on Aug 13, 2025

Commits on Aug 17, 2025

Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored
clarify comment
Sascha Kehrli
committed
remove commented out code
Sascha Kehrli
committed
add explanation why loop matching is in mc-visitor
Sascha Kehrli
committed
update explanation for expected test behavior
Sascha Kehrli
committed
add a test case
Sascha Kehrli
committed
remove commented out defaults for OCBottom
Sascha Kehrli
committed
move field example code before explanation in manual
Sascha Kehrli
committed
Merge branch 'rlc-collections-redesign' of github.com:skehrli/checker-framework into rlc-collections-redesign
Sascha Kehrli
committed
comment out mentions of iterator support in rl manual
Sascha Kehrli
committed

Commits on Aug 20, 2025

Commits on Aug 24, 2025

Merge ../checker-framework-branch-master into rlc-collections-redesign
mernst
committed

Commits on Aug 26, 2025

Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored
parser moved
Sascha Kehrli
committed
add obligation upon CreatsCollectionObligation even for @OC
Sascha Kehrli
committed

Commits on Aug 28, 2025

Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored

Commits on Sep 1, 2025

Merge branch 'master' into rlc-collections-redesign
mernst
authored

Commits on Sep 2, 2025

Merge ../checker-framework-branch-master into rlc-collections-redesign
mernst
committed

Commits on Sep 8, 2025

Merge ../checker-framework-branch-master into rlc-collections-redesign
mernst
committed

Commits on Sep 10, 2025

Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored

Commits on Oct 3, 2025

Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored

Commits on Oct 7, 2025

fix spelling mistake in manual
Sascha Kehrli
committed
add explanation when catching InvalidLoopBodyAnalysis Exception
Sascha Kehrli
committed
mark method as @override
Sascha Kehrli
committed
prefer this.equals over other.equals
Sascha Kehrli
committed
remove array example from rlc4c manual
Sascha Kehrli
committed
fix typo in comment
Sascha Kehrli
committed
add override decorators to test file
Sascha Kehrli
committed
explicitly use MustCall({}) instead of MustCall
Sascha Kehrli
committed
remove exceptional stores noop
Sascha Kehrli
committed
annotated @CreatesCollectionObligation as documented
Sascha Kehrli
committed
fix doc for createscollectionobligation
Sascha Kehrli
committed

Commits on Oct 8, 2025

improve javadoc
Sascha Kehrli
committed
address trivial coderabbit PR comments
Sascha Kehrli
committed
revert error message to previous
Sascha Kehrli
committed

Commits on Oct 9, 2025

Commits on Oct 22, 2025

Merge ../checker-framework-branch-master into rlc-collections-redesign
mernst
committed

Commits on Oct 23, 2025

Merge ../checker-framework-branch-master into rlc-collections-redesign
mernst
committed

Commits on Oct 28, 2025

Merge ../checker-framework-branch-master into rlc-collections-redesign
mernst
committed

Commits on Nov 17, 2025

Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored

Commits on Nov 19, 2025

Commits on Dec 7, 2025

Merge branch 'typetools:master' into rlc-collections-redesign
skehrli
authored

Commits on Dec 15, 2025

Merge ../checker-framework-branch-master into rlc-collections-redesign
mernst
committed

Commits on Dec 16, 2025

Merge ../checker-framework-branch-master into rlc-collections-redesign
mernst
committed

Commits on Feb 1, 2026

Merge ../checker-framework-branch-master into rlc-collections-redesign
mernst
committed

Commits on Mar 4, 2026

Merge ../checker-framework-branch-master into rlc-collections-redesign
mernst
committed

Commits on Mar 19, 2026

Merge branch 'master' into rlc-collections-redesign
msridhar
authored

Commits on Mar 23, 2026

Commits on Apr 1, 2026

Commits on Apr 3, 2026

Commits on Apr 5, 2026

Commits on Apr 8, 2026

Merge remote-tracking branch 'upstream/master' into rlc-for-collections
iamsanjaymalakar
committed

Commits on Apr 9, 2026