9 dépôts
Checks if a value is explicitly null and rejects all other types.
Distinct from Runtime Value Validation: Focuses on verifying the presence of a null value rather than general runtime validation or database-specific cleaning.
Explore 9 awesome GitHub repositories matching software engineering & architecture · Null Value Validation. Refine with filters or upvote what's useful.
Lombok is a Java annotation processor and boilerplate reduction library designed to automatically generate repetitive source code. It intercepts the compilation process to inject methods and fields directly into Java classes, acting as a source code generator that eliminates the need to manually write common class patterns. The project distinguishes itself through deep integration with the Java compiler and various integrated development environments. It provides IDE plugins that allow editors to recognize and navigate generated methods, preventing false compilation errors and maintaining syn
Injects null checks into methods to trigger exceptions immediately when null values are encountered.
Valibot is a modular, type-safe schema library for validating and parsing structural data in TypeScript environments.
Provides a specific schema check to ensure a value is explicitly null.
RIBs is a mobile architecture framework that structures applications around isolated, lifecycle-managed units of business logic called RIBs. Each RIB separates routing, business logic, and construction into distinct classes through the Router-Interactor-Builder pattern, with hierarchical dependency injection scoping dependencies per node and static analysis enforcing architectural rules at build time. The framework enforces automatic disposal of Rx subscriptions scoped to interactor lifecycles, blocking compilation when subscriptions lack proper disposal to prevent memory leaks. It supports v
Verifies null safety at build time by checking that nullable values are handled before use, preventing null-pointer exceptions.
MapStruct is an annotation processor and Java bean mapping framework that automatically generates high-performance data transfer code during the compilation process. It serves as a type-safe data mapper for converting information between different object types, specifically targeting Java beans and records. The project replaces manual boilerplate code by using Java interfaces as blueprints to generate concrete implementation classes. This approach ensures type safety and minimizes manual getter and setter calls by producing direct method calls during compilation. The framework handles data t
Inserts guards and assigns default values by analyzing nullness annotations during data mapping.
yaml-cpp is a C++ library for parsing and emitting YAML 1.2 documents. It provides a complete YAML processing pipeline, from reading YAML content into a traversable node tree to writing in-memory data structures back as YAML text. The library represents parsed YAML as a mutable tree of typed nodes, supporting scalars, sequences, maps, and aliases. It uses a recursive-descent parser to build this node tree, and a stream-based emitter to generate YAML output incrementally. Template-based type conversion enables compile-time serialization between YAML nodes and C++ types, including support for c
Provides null-safe node access that returns default values for missing keys during YAML traversal.
Unity est un framework de test unitaire léger pour C, fournissant la bibliothèque d'assertions, le lanceur de tests et les mécanismes de reporting nécessaires pour vérifier l'exactitude du code. Il fonctionne comme une infrastructure de test de base pour organiser et exécuter des tests unitaires dans des environnements C. Le framework est conçu pour la validation de logiciels système et embarqués, avec des capacités spécifiques pour vérifier le firmware et les pilotes matériels. Il se concentre sur l'intégrité de la mémoire et la validité des pointeurs, permettant la validation des états des pointeurs et l'inspection des blocs de mémoire bruts. L'ensemble d'outils couvre un large éventail de types de comparaison, y compris la vérification numérique pour les entiers, les modèles de bits et les valeurs à virgule flottante. Il fournit également des utilitaires pour valider les chaînes terminées par null, le contenu des tableaux et la logique booléenne, tout en prenant en charge des messages d'échec personnalisés pour fournir du contexte lors du débogage.
Verifies whether a memory pointer is null or non-null to ensure reference validity.
NullAway is a Java static analysis tool and build-time detector designed to identify null pointer risks. It functions as a nullability checker that uses annotations to verify that references are not null before they are dereferenced, preventing runtime crashes. The analyzer implements the JSpecify standard to ensure consistent nullability annotations across different Java libraries. It distinguishes itself through the use of a service provider interface to model the nullability behavior of third-party libraries that lack source annotations and by providing specialized support for Lombok-gener
Provides a compiler-integrated check that identifies null pointer risks in Java projects during the build phase.
ozzo-validation is a programmable data validation library for Go that verifies structs, maps, and primitive types using a declarative, rule-based approach. It functions as an interface-based validator, allowing for the recursive checking of nested data structures and custom types without the use of struct tags. The framework distinguishes itself as a context-aware validation engine, supporting the propagation of request-scoped data to rules that depend on external state. It provides extensive extensibility through custom rule definitions and the ability to override default failure text with l
Verifies that interfaces, pointers, slices, and maps are not nil.
TUnit is a comprehensive C# testing framework, mocking library, and fluent assertion tool. It utilizes source generation for test discovery and mock creation, ensuring compatibility with Native AOT and IL trimming by eliminating the need for runtime reflection and proxies. The framework provides specialized capabilities for integration testing, including the management of distributed application lifecycles, isolated database schemas, and the correlation of telemetry and logs across process boundaries via OTLP. It also includes an HTTP testing utility to intercept network exchanges and mock AP
Ships comprehensive assertions to validate whether values are null or not null.