All Packages

Package Summary

Package	Description
com.luchersol.cli	Command-line interface implementation for the Checker framework.
com.luchersol.cli.command	Command implementations for the CLI interface.
com.luchersol.core	Core validation framework for the Checker project.
com.luchersol.core.specialized_checkers	Specialized checker implementations for various data types and structures.
com.luchersol.core.specialized_checkers.collection	Specialized checkers for Java collection types.
com.luchersol.core.specialized_checkers.io	Specialized checkers for I/O and file system operations.
com.luchersol.core.specialized_checkers.lambda	Lambda expression and functional programming checkers.
com.luchersol.core.specialized_checkers.math	Specialized checkers for mathematical and array-based operations.
com.luchersol.core.specialized_checkers.math.numbers	Specialized checkers for numeric types and operations.
com.luchersol.core.specialized_checkers.math.numbers.bigTypes	Specialized checkers for arbitrary precision numeric types.
com.luchersol.core.specialized_checkers.math.numbers.decimalTypes	Specialized checkers for floating-point numeric types.
com.luchersol.core.specialized_checkers.math.numbers.integerTypes	Specialized checkers for integer numeric types.
com.luchersol.core.specialized_checkers.time	Specialized checkers for temporal and time-related operations.
com.luchersol.core.specialized_checkers.time.temporal	Specialized checkers for Java 8+ temporal types.
com.luchersol.core.util	Core utility classes and base abstractions for the Checker framework.
com.luchersol.core.util.collection	Utility classes for collection operations.