Repository navigation

Add Modifiability Annotations - #297

Merged

smillst merged 158 commits into

typetools:masterfrom

YukiYang31:modifiability

Oct 1, 2026

Merged

Add Modifiability Annotations#297
smillst merged 158 commits into
typetools:masterfrom
YukiYang31:modifiability

Commits on Nov 25, 2025
- annotated List.java
  YukiYang31
  committed
  d898f4a
Commits on Dec 1, 2025
- annotated map.java, along with initialization of HashMap, ArrayList, LinkedHashMap
  YukiYang31
  committed
  10fef49
- annotated collection.java
  YukiYang31
  committed
  aa363e9
Commits on Dec 4, 2025
- annotated set.java for modifiability
  YukiYang31
  committed
  1a38624
Commits on Dec 7, 2025
- finished annotations in Collections.java on modifiability
  YukiYang31
  committed
  575780f
- Merge branch 'typetools:master' into modifiability
  YukiYang31
  authored
  eebd7d5
Commits on Jan 4, 2026
- annotated itentityHashMap and LinkedHashSet as modifiable.
  YukiYang31
  committed
  c0c3c76
Commits on Jan 12, 2026
- Merge remote-tracking branch 'origin/master' into modifiability
  YukiYang31
  committed
  9a4abe5
Commits on Jan 19, 2026
- annotated modifiable classes
  YukiYang31
  committed
  fa7c2f3
Commits on Jan 22, 2026
- annotated @WillThrowUOE
  YukiYang31
  committed
  90ad64a
- finished annotation on sequenced collections
  YukiYang31
  committed
  d2cd4e9
- finished navigablemap and navigableset
  YukiYang31
  committed
  39c448a
- finished annotation on ConcurrentMap and ConcurrentNavigableMap
  YukiYang31
  committed
  c6c5e47
- added unmod annotations for sequenced collections
  YukiYang31
  committed
  93a16b4
- fixed some annotations
  YukiYang31
  committed
  1df9393
Commits on Jan 26, 2026
- annotated the abstract interfaces.
  YukiYang31
  committed
  266330c
- fixed unknownmodifiability
  YukiYang31
  committed
  bee6284
- finished basic annotations on queue
  YukiYang31
  committed
  0ed3390
- finished annotating queue
  YukiYang31
  committed
  03685d3
Commits on Jan 30, 2026
- annotated IdentityHashMap, WeakHashMap, and ConcurrentHashMap
  YukiYang31
  committed
  eb00a46
Commits on Feb 2, 2026
- finished annotating concurrentSkipListMap and concurrentSkipListSet
  YukiYang31
  committed
  720e98f
Commits on Feb 5, 2026
- finished annotating iterators.
  YukiYang31
  committed
  d06826e
- Merge remote-tracking branch 'origin/master' into modifiability
  YukiYang31
  committed
  861e8ce
Commits on Feb 10, 2026
- changed hashSet and TreeSet to growShrink to pass all-system test
  YukiYang31
  committed
  65dc3cb
- fixed annotation in AbstractCollection due to merge conflict.
  YukiYang31
  committed
  4bd5c4f
Commits on Feb 12, 2026
- minor changes so that the new type system can pass all-system test
  YukiYang31
  committed
  ff6662b
- finished revising list annotations
  YukiYang31
  committed
  20a219e
- changed the annotation on set
  YukiYang31
  committed
  e784703
- finished annotating queue
  YukiYang31
  committed
  64bf312
- fixed annotations in Collections
  YukiYang31
  committed
  d53041a
Commits on Feb 13, 2026
- finished fixing annotation for map besides keySet, entrySet, and values
  YukiYang31
  committed
  b407a53
Commits on Feb 17, 2026
- changed all @WillThrowUOE to @ThrowsUOE to match the checker
  YukiYang31
  committed
  73e35cb
Commits on Feb 19, 2026
- annotated Deque and ProcessBuilder for case study
  YukiYang31
  committed
  60053fa
- Merge branch 'master' into modifiability
  YukiYang31
  committed
  f2c44f7
Commits on Feb 20, 2026
- edited the annotation to fit the 3 2-level hierarchy.
  YukiYang31
  committed
  08b94e1
Commits on Feb 23, 2026
- finished annotating polyShrink
  YukiYang31
  committed
  b374a18
- fixed typo in annotation
  YukiYang31
  committed
  d0b16ee
Commits on Feb 25, 2026
- added the annotation for list iterator.
  YukiYang31
  committed
  d4fccb2
Commits on Feb 26, 2026
- change deque, queue, hashset, and treeset back to mod
  YukiYang31
  committed
  a1507ee
Commits on Mar 14, 2026
- temp commit, trying to figuer out why gradlew assemble for checker framework is too slow.
  YukiYang31
  committed
  e804103
Commits on Mar 16, 2026
- Merge branch 'master' into modifiability
  YukiYang31
  committed
  c185f4d
Commits on Mar 19, 2026
- partially done with remove class annotation and annotate the entire class.
  YukiYang31
  committed
  94b7f64
Commits on Mar 20, 2026
- removed annotation on class and fully annotated the map files.
  YukiYang31
  committed
  47a21d2
Commits on Mar 23, 2026
- finished annotating queue
  YukiYang31
  committed
  01ff086
- annotated last two files.
  YukiYang31
  committed
  0f42bb1
Commits on Apr 6, 2026
- Merge branch 'master' into modifiability
  YukiYang31
  committed
  12e5ec9
Commits on Apr 8, 2026
- for modifiable collection, annotated clone to return modifiable object; annotated EnumSet.java
  YukiYang31
  committed
  d571243
- missed the import for polymod
  YukiYang31
  committed
  346776f
Commits on Apr 11, 2026
- Add `@DoesNotUnrefineReceiver` annotations (still need to add imports)
  mernst
  committed
  55bcb25
- Update qualifiers
  mernst
  committed
  ec30b3e
- Restore `@SideEffectsOnly`
  mernst
  committed
  6905f4e
Commits on Apr 12, 2026
- Add imports
  mernst
  committed
  e07fa41
- Add imports
  mernst
  committed
  e6d91b7
- Add imports
  mernst
  committed
  c0b805c
- Fixes
  mernst
  committed
  5bb1743
- Undo change to Java type
  mernst
  committed
  cd6c88d
- Fix YAML formatting
  mernst
  committed
  168d92f
- Add canary job
  mernst
  committed
  8fd7a26
- Add missing dependency
  mernst
  committed
  6ee41a6
- Merge ../jdk-fork-mernst-branch-ci-depends-on into modifiability-plus-does-not-unrefine-receiver
  mernst
  committed
  7bb9e32
- Add import
  mernst
  committed
  441b6c7
Commits on Apr 13, 2026
- annotated stack.java which extends vector
  YukiYang31
  committed
  e656785
Commits on Apr 14, 2026
- Fix line continuation character
  mernst
  committed
  d559eb5
- Merge ../jdk-branch-master into modifiability-plus-does-not-unrefine-receiver
  mernst
  committed
  59a1b33
Commits on Apr 18, 2026
- annotated keyset, values, and entryset to return @Ungrowable set.
  YukiYang31
  committed
  1179082
Commits on Apr 19, 2026
- Merge ../jdk-fork-typetools into modifiability
  mernst
  committed
  5e5ca8b
- Merge ../jdk-fork-yukiyang31-branch-modifiability into modifiability-plus-does-not-unrefine-receiver
  mernst
  committed
  2048ea5
Commits on Apr 20, 2026
- Merge pull request #1 from mernst/modifiability-plus-does-not-unrefine-receiver
  YukiYang31
  authored
  0ff7be2
Commits on Apr 22, 2026
- add ci.yml in .github
  YukiYang31
  committed
  10a022c
- update ci.yml: make run steps execute in bash without -e
  YukiYang31
  committed
  f533200
- synced checker-qual.jar
  YukiYang31
  committed
  56399df
Commits on Apr 23, 2026
- spot that list.java's iterator is not annotated as unknown.
  YukiYang31
  committed
  7bf97d8
- annotate iteratorPreserveRemove for the test. TODO: need to annotate rest of the files.
  YukiYang31
  committed
  b176554
Commits on Apr 26, 2026
- annotate modifiable collections as @IteratorPreserveRemove
  YukiYang31
  committed
  d65f3f3
Commits on Apr 27, 2026
- annotated @IteratorPreserveRemove on maps.
  YukiYang31
  committed
  046a3c5
Commits on Apr 29, 2026
- changed annoations to IteratorPreservesRemove
  YukiYang31
  committed
  dea0a37
- Merge ../jdk-fork-typetools into modifiability
  mernst
  committed
  1eb0ec7
- revise javadoc for @Modifiable and @Unmodifiable.
  
  YukiYang31
  and
  Copilot
  committed
  071ffcd
Commits on May 2, 2026
- Rename `IteratorPreservesRemove` to `IteratorPolyShrink`
  mernst
  committed
  0e18efe
Commits on May 3, 2026
- fixed listIterator annotation
  YukiYang31
  committed
  53ba3e4
Commits on May 4, 2026
- rename IteratorPolyShrink to IteratorPolyMod
  YukiYang31
  committed
  4f7ffdd
- rename IteratorPolyShrink with IteratorPolyMod
  YukiYang31
  committed
  475bc85
Commits on May 7, 2026
- Merge branch 'master' into modifiability
  YukiYang31
  committed
  bdac34f
- fixed the location of @iteratorPolyMod in map.java
  YukiYang31
  committed
  b11a5ee
- add the missing @PolyShrink annotations in nested classes.
  
  YukiYang31
  and
  Copilot
  committed
  1cdc8a5
- fully annotated properties.java and reverseOrderSortedMapView.java
  YukiYang31
  committed
  702b67b
Commits on May 13, 2026
- Merge branch 'master' into modifiability
  YukiYang31
  committed
  b19ea84
Commits on May 15, 2026
Commits on May 16, 2026
- Reinstate return type
  mernst
  committed
  bf051f9
Commits on May 17, 2026
- merge master
  YukiYang31
  committed
  6545779
- update checker jar
  YukiYang31
  committed
  107996b
Commits on May 18, 2026
- rename unknownMod to maybeMod.
  YukiYang31
  committed
  8ad1831
- remove annotation in iterable.
  YukiYang31
  committed
  75abeb4
Commits on May 19, 2026
- Fix package of import
  mernst
  committed
  dd5291a
- Merge ../jdk-branch-master into modifiability
  mernst
  committed
  ed1de7f
- Formatting
  mernst
  committed
  1a1e902
- Merge branch 'modifiability' of github.com:yukiyang31/jdk into modifiability
  mernst
  committed
  1438be9
Commits on May 21, 2026
- Merge ../jdk-fork-typetools into modifiability
  mernst
  committed
  9642ddb
- fixed collection.java to array
  YukiYang31
  committed
  c361f12
Commits on May 22, 2026
- Fix bad merge
  mernst
  committed
  c84d0df
Commits on May 23, 2026
- Fix formatting
  mernst
  committed
  7396edf
Commits on May 24, 2026
- Rename modifiability qualifiers
  mernst
  committed
  dcae35f
- Formatting fixes
  mernst
  committed
  7ff3417
Commits on May 25, 2026
- Use `ci-org-and-branch` instead of `ci-info`
  mernst
  committed
  b62a2ab
- Remove nearly-empty file
  mernst
  committed
  147db19
- Merge branch 'modifiability' of github.com:yukiyang31/jdk into modifiability
  mernst
  committed
  90e97f3
Commits on May 26, 2026
- Merge ../jdk-branch-master into modifiability-typequal-no-abbrev
  mernst
  committed
  73fa0a3
- Merge ../jdk-branch-master into modifiability
  mernst
  committed
  d2d4468
- Merge ../jdk-fork-yukiyang31-branch-modifiability into modifiability-typequal-no-abbrev
  mernst
  committed
  4125085
- Update qualifiers
  mernst
  committed
  723083f
- Fix broken merge
  mernst
  committed
  2e20f49
- Merge ../jdk-fork-yukiyang31-branch-modifiability into modifiability-typequal-no-abbrev
  mernst
  committed
  fbe2f56
- Merge pull request #2 from mernst/modifiability-typequal-no-abbrev
  YukiYang31
  authored
  1aecf3f
- add iteratorPolyMod to Collections.
  YukiYang31
  committed
  f00d52b
Commits on May 27, 2026
- Merge ../jdk-fork-typetools into modifiability
  mernst
  committed
  afd9903
- Better diagnostics
  mernst
  committed
  a741392
- Merge ../jdk-fork-typetools into modifiability
  mernst
  committed
  b7de18c
- Fix bad merge
  mernst
  committed
  6fcedc6
- Put `@GuardSatisfied` first
  mernst
  committed
  fe7708a
- Add safe directory
  mernst
  committed
  5cea093
- removed @PolyModifiable on list.iterators.
  YukiYang31
  committed
  93a7c63
Commits on May 28, 2026
- fixed toArray annotation in AbstractCollection.java
  YukiYang31
  committed
  a4c6fc6
Commits on May 29, 2026
- Rename qualifiers
  mernst
  committed
  338c6a3
- Push @IteratorPolyMod upward
  YukiYang31
  committed
  31b62bd
- rename iteratorPolyShrinkable back to IteratorPolyMod
  YukiYang31
  committed
  25213e0
Commits on May 31, 2026
- update checker qual.
  YukiYang31
  committed
  f210aa5
Commits on Jun 1, 2026
- annotated @SeqGrowable on addFirst and addLast.
  YukiYang31
  committed
  28addfa
- annotated addFirst addLast in TreeSet and ConcurrentSkipListSet.
  YukiYang31
  committed
  6c78df0
- update checker qual
  YukiYang31
  committed
  5015093
- fixed typo in treeSet annotation
  YukiYang31
  committed
  4c2825b
Commits on Jun 2, 2026
- annotated @SeqGrow in jdk.
  YukiYang31
  committed
  6fb270e
Commits on Jun 3, 2026
- annotate NagivableSet as @SeqUngrowable
  YukiYang31
  committed
  6de9e0b
- remove throwsUOE and rebuild checker jar.
  YukiYang31
  committed
  403aa9c
Commits on Jun 4, 2026
- pushed @IteratorPolyMod receiver all the way upward to the parent methods.
  YukiYang31
  committed
  f106bd6
Commits on Jun 5, 2026
- Merge ../jdk-branch-master into modifiability
  mernst
  committed
  3b68907
Commits on Jun 6, 2026
- annotating @PolyIteratorPolyMod
  
  YukiYang31
  and
  Copilot
  committed
  39c4232
Commits on Jun 7, 2026
- annotate ProcessBuilder.
  YukiYang31
  committed
  aa4a478
Commits on Jun 8, 2026
- annotate @IteratorPolyMod on arrays.asList.
  
  YukiYang31
  and
  Copilot
  committed
  43123f7
Commits on Jun 9, 2026
- annotated getOrDefault.
  
  YukiYang31
  and
  Copilot
  committed
  b2876cb
Commits on Jun 12, 2026
- Modifiability of `newLinkedHashMap()`
  mernst
  committed
  600a1eb
- Remove `@PolyModifiable` from `Map#getOrDefault`
  smillst
  authored
  77afd0a
Commits on Jun 15, 2026
- Revert "Remove `@PolyModifiable` from `Map#getOrDefault`"
  YukiYang31
  committed
  b5187e8
- update checker jar.
  YukiYang31
  committed
  f63526e
Commits on Jul 16, 2026
- Merge ../jdk-branch-master into modifiability
  mernst
  committed
  e6a2d1b
Commits on Jul 23, 2026
- Merge ../jdk-branch-master into modifiability
  mernst
  committed
  5bc8d95
Commits on Jul 27, 2026
- Merge ../jdk-fork-typetools into modifiability
  mernst
  committed
  8d3880f
Commits on Jul 28, 2026
- Merge ../jdk-fork-typetools into modifiability
  mernst
  committed
  9422505
Commits on Aug 31, 2026
- Merge ../jdk-branch-master into modifiability
  mernst
  committed
  31100f0
Commits on Sep 1, 2026
- Merge branch 'typetools:master' into modifiability
  smillst
  authored
  772da82
Commits on Sep 16, 2026
- Merge branch 'master' of ../jdk-branch-master into modifiability
  mernst
  committed
  bf3e07f
- Merge branch 'master' of ../jdk-branch-master into modifiability
  mernst
  committed
  b005db6
- Fix incorrect purity and qualifier annotations
  
  mernst
  and
  claude
  committed
  89a9748
Commits on Sep 21, 2026
- Merge branch 'master' into modifiability
  mernst
  committed
  5ebb93c
- Fix merge problems
  mernst
  committed
  a20b6fa
- Address code review findings
  mernst
  committed
  e8c2526
Commits on Sep 23, 2026
- Merge branch 'master' into modifiability
  mernst
  committed
  d152248

Commits

Commits on Nov 25, 2025

Commits on Dec 1, 2025

Commits on Dec 4, 2025

Commits on Dec 7, 2025

Commits on Jan 4, 2026

Commits on Jan 12, 2026

Commits on Jan 19, 2026

Commits on Jan 22, 2026

Commits on Jan 26, 2026

Commits on Jan 30, 2026

Commits on Feb 2, 2026

Commits on Feb 5, 2026

Commits on Feb 10, 2026

Commits on Feb 12, 2026

Commits on Feb 13, 2026

Commits on Feb 17, 2026

Commits on Feb 19, 2026

Commits on Feb 20, 2026

Commits on Feb 23, 2026

Commits on Feb 25, 2026

Commits on Feb 26, 2026

Commits on Mar 14, 2026

Commits on Mar 16, 2026

Commits on Mar 19, 2026

Commits on Mar 20, 2026

Commits on Mar 23, 2026

Commits on Apr 6, 2026

Commits on Apr 8, 2026

Commits on Apr 11, 2026

Commits on Apr 12, 2026

Commits on Apr 13, 2026

Commits on Apr 14, 2026

Commits on Apr 18, 2026

Commits on Apr 19, 2026

Commits on Apr 20, 2026

Commits on Apr 22, 2026

Commits on Apr 23, 2026

Commits on Apr 26, 2026

Commits on Apr 27, 2026

Commits on Apr 29, 2026

Commits on May 2, 2026

Commits on May 3, 2026

Commits on May 4, 2026

Commits on May 7, 2026

Commits on May 13, 2026

Commits on May 15, 2026

Commits on May 16, 2026

Commits on May 17, 2026

Commits on May 18, 2026

Commits on May 19, 2026