webmozarts/assert

Features

• Data Type Validation - Verifies that values match specific types or class instances and throws exceptions upon failure.
• Input Validation - Provides comprehensive logic for validating that method arguments and return values meet specific correctness criteria.
• Bulk Element Validation - Provides utilities to apply a single assertion logic across every element within arrays or iterable collections.
• PHP Validation Libraries - Provides a comprehensive set of runtime validation and assertion tools specifically for the PHP runtime.
• Runtime Data Validation - Verifies data types, numeric ranges, and string patterns during execution to prevent invalid application states.
• Array Schema Validation - Includes checks to verify array keys, element counts, and whether collections are sequential or associative.
• Defensive Programming Toolkits - Implements defensive programming workflows by validating types and numeric ranges before data processing.
• Regex Pattern Validators - Provides utilities that use regular expressions to validate string formats such as emails and UUIDs.
• Static Analysis Annotations - Provides type hints and annotations that improve the accuracy of external static analysis tools for formal verification.
• Numeric Range Assertions - Provides assertions to confirm that integers fall within specific bounds, including positive and negative ranges.
• Collection Condition Assertions - Enables running a single validation predicate against every individual element within an array or iterable collection.
• Value Property Assertions - Provides a set of checks to verify conditions such as equality, nullability, and numeric range boundaries.
• String Format Validators - Verifies that strings match standard formats like emails and UUIDs using regular expressions.
• Object Inspection Tools - Confirms the existence of specific classes, interfaces, methods, or properties within an object definition.
• Static Analysis Helpers - Offers assertions and annotations that provide accurate type hinting for static analysis tools.
• Assertion Hierarchies - Uses a base assertion class hierarchy to provide reusable validation logic across various data types.
• Validation Execution Guards - Provides execution guards that skip validation checks when inputs are null to support optional data fields.
• Static Type Assertions - Provides type hints and assertions that assist static analysis tools in detecting type mismatches during development.
• Runtime Contract Enforcement - Provides runtime verification to ensure incoming data structures and object properties match expected API formats.
• Class Property Validation - Verifies the existence of specific methods or properties and checks if class properties have been initialized.
• Bulk Element Validation - Includes a utility for applying the same validation logic to every element within an array or iterable collection.
• Path Permission Validation - Ensures a filesystem path exists and possesses specific permissions, such as being a readable file or writable directory.
• Optional Field Guards - Allows validation checks to be executed only when a provided value is not null, supporting optional fields.
• Validation Error Customizations - Provides mechanisms for developers to define custom logic for reporting specific failure details during validation.
• Custom Assertions - Allows the creation of specialized validation rules by extending the base assertion class.
• Type Inference Support - Passes type inference and annotations to external tools to improve code safety and formal verification.

Star-Verlauf