Uses of Package
com.luchersol.core.specialized_checkers.collection
Packages that use com.luchersol.core.specialized_checkers.collection
Package
Description
Specialized checkers for Java collection types.
Core utility classes and base abstractions for the Checker framework.
-
Classes in com.luchersol.core.specialized_checkers.collection used by com.luchersol.core.specialized_checkers.collectionClassDescriptionA specialized checker for validating properties and constraints on graph data structures.A specialized checker for
Listcollections, providing fluent API methods to perform various checks and validations on lists.A specialized checker forMapinstances, providing fluent assertion methods for validating map properties and contents.A specialized checker forSetcollections, providing fluent assertion methods for validating set properties and contents.A specialized checker forTreedata structures, providing a fluent API to assert various properties and invariants about a tree. -
Classes in com.luchersol.core.specialized_checkers.collection used by com.luchersol.core.utilClassDescriptionA specialized checker for validating properties and constraints on graph data structures.A specialized checker for
Listcollections, providing fluent API methods to perform various checks and validations on lists.A specialized checker forMapinstances, providing fluent assertion methods for validating map properties and contents.A specialized checker forSetcollections, providing fluent assertion methods for validating set properties and contents.A specialized checker forTreedata structures, providing a fluent API to assert various properties and invariants about a tree.