Have immutable flag to allow for returning unmodifiable collections in java.util.Collections#8

Open

slyubomirsky wants to merge 10 commits intoOpenJML:developmentfrom

slyubomirsky:immutableCollections

Commits on Aug 29, 2018

Add immutable flag to various java.util collections classes to allow for returning unmodifiable collections in java.util.Collecitons
Steven Lyubomirsky
committed
Add specifications for empty*() methods in java.util.Collections
Steven Lyubomirsky
committed
Add specs for HashMap constructors for good measure
Steven Lyubomirsky
committed
Correct variable names in HashMap
Steven Lyubomirsky
committed
Check for null in HashMap constructor
Steven Lyubomirsky
committed
Avoid using quantifiers to specify HashMap constructor (catastrophic errors before)
Steven Lyubomirsky
committed
isImmutable is model field, keep it in -RAC blocks
Steven Lyubomirsky
committed
Fix merge conflict by switching tabs to spaces in HashSet.jml
Steven Lyubomirsky
committed

Commits on Sep 6, 2018

Remove invariants about isImmutable, assert in constructors & methods (inheriting classes may be immutable)
Steven Lyubomirsky
committed
Update content owner invariant to mention immutability
Steven Lyubomirsky
committed