This repository was archived by the owner on Dec 25, 2024. It is now read-only.

Java, adds checker framework#342

Merged

spacether merged 75 commits intomasterfrom

feat_java_adds_checker_framework_covariant

Dec 24, 2023

Commits on Dec 18, 2023

Commits on Dec 19, 2023

Commits on Dec 20, 2023

Commits on Dec 21, 2023

Commits on Dec 23, 2023

Commits on Dec 24, 2023

Adds FrozenListOfAnything.java + FrozenMapOfAnything.java
spacether
committed
Fixes FrozenList/Map of anythint type, fixes getting of required/optional property where the type is the same as the map value
spacether
committed
Fixes additional property fetching when the val type is the same as what's in the map
spacether
committed
Removes raw types from Array/Map output type of input type
spacether
committed
Adds null checking in property getter for optional + req props
spacether
committed
Removes FrozenList/Map of anything classes
spacether
committed
Adds null detection when getting additional property
spacether
committed
Samples regen
spacether
committed