Uses of Class
com.luchersol.core.specialized_checkers.collection.CheckerSet
Packages that use CheckerSet
Package
Description
Specialized checkers for Java collection types.
Core utility classes and base abstractions for the Checker framework.
-
Uses of CheckerSet in com.luchersol.core.specialized_checkers.collection
Subclasses with type arguments of type CheckerSet in com.luchersol.core.specialized_checkers.collectionModifier and TypeClassDescriptionclassCheckerSet<T>A specialized checker forSetcollections, providing fluent assertion methods for validating set properties and contents.Methods in com.luchersol.core.specialized_checkers.collection that return CheckerSetModifier and TypeMethodDescriptionChecks if all elements in the set match the given predicate.Checks if any element in the set matches the given predicate.static <T> CheckerSet<T> Creates a CheckerSet for the given set with a default name.static <T> CheckerSet<T> Creates a CheckerSet for the given set and assigns a custom name.CheckerSet.isEmpty()Checks if the set is empty.CheckerSet.isSubset(Collection<T> collection) Checks if the set is a subset of the given collection.CheckerSet.isSufficientPercentage(Predicate<T> matching, double percentage) Checks if at least the specified percentage of elements in the set match the given predicate.CheckerSet.isSuperset(Collection<T> collection) Checks if the set is a superset of the given collection.protected CheckerSet<T> CheckerSet.self()Returns this instance (for fluent API). -
Uses of CheckerSet in com.luchersol.core.util
Methods in com.luchersol.core.util that return CheckerSetModifier and TypeMethodDescriptionCheckerSet<?> Checker.isSet()Checks if the object is a Set and returns a CheckerSet for further validation.<C> CheckerSet<C> Checks if the object is a Set whose elements are all instances of the given class.