search

opprop / immutability

The Practical Immutability for Classes and Objects (PICO) type system enforces transitive class and object immutability
Other
3 stars 5 forks source link

[Test] Record class in Java17 #49

Open Ao-senXiong opened 2 months ago

Ao-senXiong commented 2 months ago

PICO should handle record class as default immutable and check the consistency. See https://docs.oracle.com/en/java/javase/17/language/records.html