Group: Visionary Contrax
2.Contrax Annotations3 usages
software.visionary.contrax » annotations GPL
Visionary Software Solutions Contrax: Design by Contract annotations (@Contract, @PreCondition, @PostCondition) and the Enforcement SPI
Last Release on May 23, 2026
3.Contrax Enforcements1 usages
software.visionary.contrax » enforcements GPL
Visionary Software Solutions Contrax: Built-in contract enforcements (IsNotNull and others)
Last Release on May 23, 2026
4.Contrax Processor
software.visionary.contrax » processor GPL
Visionary Software Solutions Contrax: Annotation processor that enforces Design by Contract constraints at compile time
Last Release on May 23, 2026
5.Contrax Range Check
software.visionary.contrax » range-check GPL
Visionary Software Solutions Contrax: third-party @RangeBounds parameterized enforcement plugin demonstrating meta-annotation dispatch
Last Release on May 23, 2026